论文部分内容阅读
人们对现实世界的知识总是不完备的．当人们进行推理的时候，往往要进行种种假设，或者就把已有的一部分知识作为假说（即假设的集合），这种基于假设的推理具有非单调性的特点。而ATMS是由de Kleer在1986年提出的一种基于假设的正确性维护系统。它通常与问题求懈器一起使用，每当收到问题求懈器的一个新的信息．便增量地计算每个数据所依赖的假设。所以在本文中，我们来研究开放逻辑与ATMS的关系。