| 信值修正系统及其实现 |
| |
| 引用本文： | 黄国兴. 信值修正系统及其实现[J]. 华东师范大学学报(自然科学版), 1996, 0(3): 33-39 |
| |
| 作者姓名： | 黄国兴 |
| |
| 作者单位： | 华东师范大学计算机科学系 |
| |
| 摘 要： | 在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。
|
| 关 键 词： | 非单调逻辑 非单调系统 信值修正系统 |
Truth Maintenance Systems and Its Implementation |
| |
| Huang Guoxing. Truth Maintenance Systems and Its Implementation[J]. Journal of East China Normal University(Natural Science), 1996, 0(3): 33-39 |
| |
| Authors: | Huang Guoxing |
| |
| Abstract: | In most Knowledge-based problem solving systems, the contradictions would be detected as reasoning made, the ability of how to change the old beliefs and maintain the system consistency is very important. Truth maintenance systems is one of the methods that allow the problem solver to make nonmonotonic inference. In this paper, a brief introduction deals with the concepts of truth maintenance systems and three of typical TMS systems. Mainly method of how to implement De Kleer's assumption-based truth maintenance system is given in this paper. |
| |
| Keywords: | nonmonotonic logic nonmonotonic system belief revision KBS TMS PROLOG |
| 本文献已被 CNKI 维普 等数据库收录！ |
