From Answer Set Logic Programming to Circumscription via Logic of GK

We first provide a mapping from Pearce’s equilibrium logic and Ferraris’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.

• Type: Conference
• Year: 2007
• Where: IJCAI
• Authors: Fangzhen Lin, Yi Zhou
• Keywords: Artificial Intelligence, General Logic Programs, IJCAI 2007, Logic, Logic Programs