Representing first-order causal theories by logic programs

Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Research output: Contribution to journalArticle

7 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)383-412
Number of pages30
JournalTheory and Practice of Logic Programming
Volume12
Issue number3
DOIs
StatePublished - May 1 2012

Keywords

  • answer set programming
  • nonmonotonic causal logic
  • reasoning about actions

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Representing first-order causal theories by logic programs'. Together they form a unique fingerprint.

  • Cite this