基于四值语义的缺省逻辑

• 作者: 岳安步 林作铨
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 缺省逻辑 四值逻辑 非单调逻辑 超协调逻辑 非单调超协调逻辑
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1447-1458
• 页数: 12页
• 分类号: TP301
• 字数: 14711字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2005.09.005

摘要

基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性.为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系.四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林作铨	北京大学信息科学系	25	562	10.0	23.0
2	岳安步	北京大学信息科学系	2	53	2.0	2.0