关于开放逻辑与ATMS的关系研究

Research about the relation of opening logic and ATMS

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

Paople to real world knowledge always incomplete. When they carry on infer, People often must carry on all sorts of suppositi ons, or on part of knowledge which has had taken the hypothesis （namely supposition set）, This kind has the non-monotonous based on the supposition inference characteristic. But ATMS is one kind of accurate maintenance systems based on the supposition proposed by de Kleer in 1986 years. It usually together uses with the question solution, whenever receives a recent information transfered by the question solution, Then it calculates the supposition which each data relies on. Therefore in this article, we studies the opening logic and the ATMS relations.