Work

Representing first-order causal theories by logic programs

Year: 2011

Type: article

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.

Source: Theory and Practice of Logic Programming

DOI: 10.1017/s1471068411000081

Authors: PAOLO FERRARIS, JOOHYUNG LEE, YULIYA LIERLER, VLADIMIR LIFSCHITZ, FANGKAI YANG

Institutions: Google (United States), Arizona State University, University of Kentucky, The University of Texas at Austin

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2120202058

FWCI: 0.588

Cites: 17

Cited by: 4

Related to: