不协调知识的缺省推理

林作铨韩庆

北京大学;

摘要：

提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.

关键词：缺省逻辑、超协调逻辑、四值逻辑、双缺省理论

所属期刊栏目：15

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金69925203,60373002

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1030-1041