| 结合优先级和可信度的非单调真值维护系统 |
| |
| 引用本文： | 杨杰,陆正刚,施鹏飞.结合优先级和可信度的非单调真值维护系统[J].上海交通大学学报,1998(4). |
| |
| 作者姓名： | 杨杰 陆正刚 施鹏飞 |
| |
| 摘 要： | 不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性，将论据的优先级和可信度引入ＡＴＭＳ，提出了结合优先级和可信度的非单调真值维护系统，并给出其算法．它能有效地处理不完全领域知识下的推理，结合不精确推理和非单调推理的优点，克服两者的局限性．
|
| 关 键 词： | 人工智能 非单调推理 不精确推理 非单调真值维护 |
Nonmonotonic Truth Maintenance System by Combining Priorities and Belief Degrees |
| |
| Abstract: | This paper analyzes the characteristics and limitations of approximate reasoning (based on probability) and nonmonotonic reasoning (based on truth maintenance system). By introducing priorities and belief degrees of justifications into ATMS, we present a nonmonotonic truth maintenance system combining priorities and belief degrees and its algorithm is given. It can deal with the reasoning in an incomplete domain theory effectively and combine the advantages of approximate reasoning and nonmonotonic reasoning to overcome their limitations. |
| |
| Keywords: | artificial intelligence nonmonotonic reasoning approximate reasoning nonmonotonic truth maintenance |
|
