| 基于极限理论的ATMS研究 |
| |
| 引用本文： | 怀进鹏 张玉平. 基于极限理论的ATMS研究[J]. 计算机学报, 1995, 18(9): 657-664 |
| |
| 作者姓名： | 怀进鹏 张玉平 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金,国家863高技术基金 |
| |
| 摘 要： | 本文首先基于极限理论给出ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而而用可能世界的方法刻画出ＡＴＭＳ的环境类。
|
| 关 键 词： | 命题逻辑 ATMS 极限理论 人工智能 非单调推理 |
ATMS ON SET-THEORETIC LIMIT THEORY |
| |
| Huai Jinpeng and Zhang Yuping. ATMS ON SET-THEORETIC LIMIT THEORY[J]. Chinese Journal of Computers, 1995, 18(9): 657-664 |
| |
| Authors: | Huai Jinpeng and Zhang Yuping |
| |
| Abstract: | In this paper, a calculation of ATMS label is obtained by using settheoretic limit theory. It can be proved that the label calculated here is consistent,sound, complete and minimal, therefore it is equivalent to de Kleer's label. The second part of this paper offers an efficient approach to the ATMS label by translating the propositional ATMS into modal-theoretic one. |
| |
| Keywords: | Propositional logic modal logic set-theoretic limit ATMS |
| 本文献已被 CNKI 维普 等数据库收录！ |
