Skip to main content
Article
Representing First-Order Causal Theories by Logic Programs
Theory and Practice of Logic Programming
  • Paolo Ferrarris, Google, Inc.
  • Joohyung Lee, Arizona State University
  • Yuliya Lierler, University of Nebraska at Omaha
  • Vladimir Lifschitz, University of Kentucky
  • Fangkai Yang, University of Texas at Austin
Document Type
Article
Publication Date
5-1-2012
Disciplines
Abstract

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.

Comments

PAOLO FERRARIS, JOOHYUNG LEE, YULIYA LIERLER, VLADIMIR LIFSCHITZ and FANGKAI YANG (2012). Representing first-order causal theories by logic programs. Theory and Practice of Logic Programming, 12, pp 383-412. doi:10.1017/S1471068411000081. This is a work of the U.S. Government and is not subject to copyright protection in the United States. This journal can be found at http://journals.cambridge.org/action/displayJournal?jid=TLP.

Citation Information
Paolo Ferrarris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, et al.. "Representing First-Order Causal Theories by Logic Programs" Theory and Practice of Logic Programming Vol. 12 Iss. 3 (2012) p. 383 - 412
Available at: http://works.bepress.com/yuliya_lierler/16/