Abstract
In this paper, we shall provide a translation of a class of causal theories in (Lin [3]) to Gelfond and Lifschitz’s disjunctive logic programs with classical negation [1]. We found this translation interesting for at least the following two reasons: it provides a basis on which a wide class of causal theories in ([3]) can be computed; and it sheds some new lights on the nature of the causal theories in [3]. Our translation is in many ways similar to the one given in [9,2]. Our main result is a theorem that shows how action precondition and fully instantiated successor state axioms can be computed from the answer sets of the translated logic program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Gelfond, V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991.
V. Lifschitz. Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, Springer Verlag, 1999.
F. Lin. Embracing causality in specifying the indirect effects of actions. In: Proc.IJCAI’95, pages 1985–1991, 1995.
F. Lin. Embracing causality in specifying the indeterminate effects of actions. In:Proc. AAAI’96, pages 670–676, 1996.
N. Leone, G. Pfeifer and W. Faber. The dlv project: A disjunctive datalog system, http://www.dbai.tuwien.ac.at/proj/dlv/
I. Niemelä, P. Simons. Efficient implementation of the well-founded model and stable model semantics. In: Proc. JICLP’96, pages 289–303, 1996.
R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 418–420. Academic Press, San Diego, CA, 1991.
H. Turner. Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming, 31(1-3): 245–298, 1997.
H. Turner. A logic of universal causation. Artificial Intelligence, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, F., Wang, K. (1999). From Causal Theories to Logic Programs (Sometimes). In: Gelfond, M., Leone, N., Pfeifer, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1999. Lecture Notes in Computer Science(), vol 1730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46767-X_9
Download citation
DOI: https://doi.org/10.1007/3-540-46767-X_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66749-0
Online ISBN: 978-3-540-46767-0
eBook Packages: Springer Book Archive