| 利用格论研究缺省推理 |
| |
| 引用本文： | 姜云飞. 利用格论研究缺省推理[J]. 计算机学报, 1993, 16(2): 81-88 |
| |
| 作者姓名： | 姜云飞 |
| |
| 作者单位： | 吉林大学计算机科学系 长春 |
| |
| 摘 要： | 本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.
|
| 关 键 词： | 非单调逻辑 缺省推理 格 人工智能 |
STUDY DEFAULT REASONING USING LATTICE THEORY |
| |
| Jiang -YunfeiDept. of Computer Science,Jilin University,Changchun. STUDY DEFAULT REASONING USING LATTICE THEORY[J]. Chinese Journal of Computers, 1993, 16(2): 81-88 |
| |
| Authors: | Jiang -YunfeiDept. of Computer Science Jilin University Changchun |
| |
| Affiliation: | Jiang -YunfeiDept. of Computer Science,Jilin University,Changchun 130021 |
| |
| Abstract: | 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. |
| |
| Keywords: | Nonmonotonic logic default reasoning lattice. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
