基于极限理论的ATMS研究

ATMS ON SET-THEORETIC LIMIT THEORY

本文首先基于极限理论给出了ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而用可能世界的方法刻画出ＡＴＭＳ的环境类．

In this paper, a calculation of ATMS label is obtained by using settheoretic limit theory. It can be proved that the label calculated here is consistent,sound, complete and minimal, therefore it is equivalent to de Kleer's label. The second part of this paper offers an efficient approach to the ATMS label by translating the propositional ATMS into modal-theoretic one.