A Logic Program Characterization of Causal Theories
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 366-370.
Abstract
Nonmonotonic causal logic, invented by McCain and Turner, is a formalism well suited for representing knowledge about actions, and the definite fragment of that formalism has been implemented in the reasoning and planning system called CCalc. A 1997 theorem due to McCain shows how to translate definite causal theories into logic programming under the answer set semantics, and thus opens the possibility of using answer set programming for the implementation of such theories. In this paper we propose a generalization of McCain's theorem that extends it in two directions. First, it is applicable to arbitrary causal theories, not only definite. Second, it covers causal theories of a more general kind, which can describe non-Boolean fluents.
@inproceedings{ijcai2007p57,
title = {A Logic Program Characterization of Causal Theories},
author = {Ferraris, Paolo},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {366--370},
year = {2007},
url = {https://ijcai.org/proceedings/2007/57},
}
TY - CPAPER TI - A Logic Program Characterization of Causal Theories AU - Ferraris, Paolo T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 366 EP - 370 UR - https://ijcai.org/proceedings/2007/57 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
