From Answer Set Logic Programming to Circumscription via Logic of GK

Fangzhen Lin, Yi Zhou

We first provide a mapping from Pearce's equilibrium logic and Ferraris and Lifschitz's general logic programs to Lin and Shoham's logic of knowledge and justified assumptions, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional case and Moore's autoepistemic logic. From this mapping, we obtain a mapping from general logic programs to circumscription, both in the propositional and first-order case. Furthermore, we show that this mapping can be used to check the strong equivalence between two propositional logic programs in classical logic.

Subjects: 3.3 Nonmonotonic Reasoning; 11. Knowledge Representation

Submitted: Oct 9, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.