结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性，将论据的优先级和可信度引入ＡＴＭＳ，提出了结合优先级和可信度的非单调真值维护系统，并给出其算法，它能有效地处理不完全领域知识下的推理，结合不精确推理和非单调推理的优点，克服两者的局限性。