On the relationship between autoepistemic logic and parallel circumscription
Michael Gelfond, Halina Przymusinska · 1986
The purpose of this paper is to investigate the relationship between two approaches to the formalization of non-monotonic reasoning - J. McCarthy's approach based on the notion of Circumscription [Mc] and the Autoepistemic Logic approach of R. Moore [Mr]. Since these two approaches differ considerably in scope, we will limit our attention to the situation where some common ground can be found. Namely, we consider only the propositional case of parallel circumpsription, when all predicates of a formula T are circumscribed simultaneously.