Representing First-Order Causal Theories by Logic Programs
Artificial Intelligence
2011-06-03 v1 Logic in Computer Science
Abstract
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a 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 first-order causal logic.
Cite
@article{arxiv.1103.4558,
title = {Representing First-Order Causal Theories by Logic Programs},
author = {Paolo Ferraris and Joohyung Lee and Yuliya Lierler and Vladimir Lifschitz and Fangkai Yang},
journal= {arXiv preprint arXiv:1103.4558},
year = {2011}
}
Comments
29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 2011