TY - JOUR
T1 - From answer set logic programming to circumscription via logic of GK
AU - Lin, Fangzhen
AU - Zhou, Yi
PY - 2011
Y1 - 2011
N2 - We first embed Pearce’s equilibrium logic and Ferraris’s propositional general logic programs in Lin and Shoham’s logic of GK, 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 embedding, we obtain a mapping from Ferraris’s propositional general logic programs to circumscription, and show that this mapping can be used to check the strong equivalence between two propositional logic programs in classical logic. We also show that Ferraris’s propositional general logic programs can be extended to the first-order case, and our mapping from Ferraris’s propositional general logic programs to circumscription can be extended to the first-order case as well to provide a semantics for these first-order general logic programs.
AB - We first embed Pearce’s equilibrium logic and Ferraris’s propositional general logic programs in Lin and Shoham’s logic of GK, 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 embedding, we obtain a mapping from Ferraris’s propositional general logic programs to circumscription, and show that this mapping can be used to check the strong equivalence between two propositional logic programs in classical logic. We also show that Ferraris’s propositional general logic programs can be extended to the first-order case, and our mapping from Ferraris’s propositional general logic programs to circumscription can be extended to the first-order case as well to provide a semantics for these first-order general logic programs.
UR - http://handle.uws.edu.au:8081/1959.7/536589
U2 - 10.1016/j.artint.2010.04.001
DO - 10.1016/j.artint.2010.04.001
M3 - Article
SN - 0004-3702
VL - 175
SP - 264
EP - 277
JO - Artificial Intelligence
JF - Artificial Intelligence
IS - 1
ER -