标记缺省逻辑.pdfVIP

标记缺省逻辑 林作铨 北京大学　信息科学系，中国北京　 100871 摘要：在 Reiter 的缺省逻辑中，一个缺省理论可以有0 个或多个扩张，并且有包含一切的平 凡扩张。扩张的这些性质表明了缺省逻辑不能用来处理缺省理论中所含有的不协调和冲突。本 文提出了解决缺省逻辑扩张的这些问题的新方法。我们通过 16 值双格提出了一种标记逻辑。 我们基于该标记逻辑，引进了标记缺省逻辑，其中结论是由不同层次的不确定性来标记，并且 对于缺省理论的合理解释被标记并包含在扩张中。标记缺省逻辑是 Reiter 的缺省逻辑的延伸， 这体现在：在一致的情况下，两者的扩张相同；带标记的扩张可以转化为经典扩张。此外，标 记缺省逻辑还有其它好的性质，比如半单调性。我们提出标记缺省逻辑，关键的目标是同时保 证扩张的存在性和唯一性。 关键词：缺省逻辑，标记逻辑，双格，超协调性 中图分类号：TP182 Annotated Default Logic Zuoquan Lin Department of Information Science, Peking University, Beijing 100871, China Abstract: In Reiter’s default logic, a default theory can have none or multiple extensions, and also a trivial extension which contains everything. These properties of the extension indicate that the default logic can not deal with inconsistencies and conflicts involved in a default theory. In this paper, we provide a novel approach to tackle these problems of the extension of default logic. We propose an annotated logic by the sixteen valued bilatice. We introduce the annotated default logic based on the annotated logic, in which the conclusions are annotated by different levels of uncertainty, and the justifications of the default theory are annotated and included in the extension as well. The annotated default logic is an extension of Reiter’s default logic in the sense that both extensions are the same in the presence of consistency and an annotated extension can be transformed into classical one. Besides, the annotated default logic has other nice properties such as semi-monotonicity. The key goal of the motivation of the annotated default logic is the guarantee of both the existence and uniqueness of the extension. Key words: Default Logic, Annotated Logic, Bilattice, Paraconsistency 基金项目：Supported by NSFC u