作　　者： ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《计算机学报》 1993年第2期81-88,共8页

摘　　要： 本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延. This paper presents a set of transformation rules, which can be used to transform defaults into expanding rules. The expanding rules are then used to expand the original set of first-order formulas in a default theory. Based on the expanding rules, the notion of the default lattice is presented. It is proved that the expansions of a default theory correspond to the D-maximums of the consistent set of its default lattice. So default lattice can be used to find out all the extensions of the default thory.

关 键 词： 非单调逻辑 缺省推理 格 人工智能

领　　域： [自动化与计算机技术] [自动化与计算机技术]