TY - JOUR
T1 - Representing first-order causal theories by logic programs
AU - Ferraris, Paolo
AU - Lee, Joohyung
AU - Lierler, Yuliya
AU - Lifschitz, Vladimir
AU - Yang, Fangkai
N1 - Funding Information:
We are grateful to the anonymous referees for useful comments. Joohyung Lee was partially supported by the National Science Foundation under grant IIS-0916116 and by the Office of the Director of National Intelligence (ODNI), Intelligence Advanced Research Projects Activity (IARPA) through the US Army. Yuliya Lierler was supported by a 2010 Computing Innovation Fellowship. Vladimir Lifschitz and Fangkai Yang were supported by the National Science Foundation under grant IIS-0712113. All statements of fact, opinion, or conclusions contained herein are those of the authors and should not be construed as representing the official views or policies of IARPA, the ODNI, or the US Government.
PY - 2012/5
Y1 - 2012/5
N2 - Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460"465) became the basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal logic.
AB - Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460"465) became the basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal logic.
KW - answer set programming
KW - nonmonotonic causal logic
KW - reasoning about actions
UR - http://www.scopus.com/inward/record.url?scp=84861395393&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84861395393&partnerID=8YFLogxK
U2 - 10.1017/S1471068411000081
DO - 10.1017/S1471068411000081
M3 - Article
AN - SCOPUS:84861395393
SN - 1471-0684
VL - 12
SP - 383
EP - 412
JO - Theory and Practice of Logic Programming
JF - Theory and Practice of Logic Programming
IS - 3
ER -