不协调知识的缺省推理(英文)  

Default Reasoning with Inconsistent Knowledge

作　　者：韩庆[1] 林作铨[1] 

机构地区：[1]北京大学信息科学系,北京100871

出　　处：《软件学报》2004年第7期1030-1041,共12页Journal of Software

基　　金：国家自然科学基金~~

摘　　要：提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.A novel theory called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of prepositional formulas are defined such that the semantic link between a literal and its negation is split. Most theorems of default logic can be reproduced in the setting of the bi-default logic. It is proven that the bi-default logic is a generalization of the default logic in the presence of inconsistency. A method is provided as an alternative approach for making the reasoning ability of paraconsistent logic as powerful as the classical one.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]