论文部分内容阅读
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.
A new default reasoning theory is proposed, which is called double default theory, so that the default logic can deal with uncoordinated knowledge under the four-valued semantic without leading to the triviality of expansion.Therefore, the definition of positive Transform and negative transform in order to separate a text from its negative semantic relationship.Most of the theorems on default logic can be rebuilt in the double default logic to prove that the double default logic is the default logic in the case of uncoordinated A method is provided to allow hyper-coordination logic to obtain inference capabilities similar to classical logic.