Sciweavers

Share
IJCAI
2007

From Answer Set Logic Programming to Circumscription via Logic of GK

8 years 7 months ago
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.
Fangzhen Lin, Yi Zhou
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IJCAI
Authors Fangzhen Lin, Yi Zhou
Comments (0)
books