| 可变谓词限定与良基理论 |
| |
| 引用本文： | 文获和,李永礼. 可变谓词限定与良基理论[J]. 兰州大学学报(自然科学版), 1991, 0(4) |
| |
| 作者姓名： | 文获和 李永礼 |
| |
| 作者单位： | 兰州大学计算机科学系，兰州大学计算机科学系 兰州，730000，兰州，730000 |
| |
| 摘 要： | 限定是McCarthy为了形式化人工智能中的常识推理的非单调性而提出的一种非单调推理形式。在本文中,我们首先提出了原来McCarthy的谓词限定和并行限定的一种推广形式——可变谓词限定,并描述了它的极小模型语义。然后,在此基础上建立了关于可变谓词限定的正确性、完备性以及相容性的各种结果,分析了可变谓词限定应用于良基理论时推测出新信息的能力。最后,我们为了进一步推广各种限定形式而提出了基于偏序关系的可变谓词限定。
|
| 关 键 词： | 可变谓词限定 良基理论 限定推理 极小模型 极小后承 |
Variable Predicate Circumscription and Well--Founded Theories |
| |
| Wen Huohe,Li Yongli. Variable Predicate Circumscription and Well--Founded Theories[J]. Journal of Lanzhou University(Natural Science), 1991, 0(4) |
| |
| Authors: | Wen Huohe Li Yongli |
| |
| Affiliation: | Wen Huohe,Li Yongli Department of Computer Science,Lanzhou University,Lanzhou,730000 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
