| 一个实用的非单调推理系统 |
| |
| 引用本文： | 朱福喜,周祥和.一个实用的非单调推理系统[J].计算机应用与软件,1993,10(2):7-12. |
| |
| 作者姓名： | 朱福喜 周祥和 |
| |
| 作者单位： | 武汉大学，武汉大学 |
| |
| 摘 要： |
|
| 关 键 词： | 非单调推理 谓词完备化 相容性 |
A USABLE NONMONOTONIC REASONING SYSTEM |
| |
| ZHU FUXI ZHOU XIANGHE.A USABLE NONMONOTONIC REASONING SYSTEM[J].Computer Applications and Software,1993,10(2):7-12. |
| |
| Authors: | ZHU FUXI ZHOU XIANGHE |
| |
| Affiliation: | Wuhan University |
| |
| Abstract: | In this paper,we describe a basic process of using pridicate completionto do nonmonotonic reasoning.The process includes the normalization,the orderedchecking,the completion,the consistence checking and the reasoning.Theimplementation of the process is also presented.We have explored the ordered andconsistence checking in detail and proposed several propositions. |
| |
| Keywords: | Nonmonotonic reasoning predicate completion consistence ordered |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
