Abstract
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of later actions over effects of earlier actions; 2) to develop an argumentation-based computational model for this type of reasoning in logic programming goal-driven style.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Bondarenko, P. M. Dung, R. A. Kowalski, F. Toni. An abstract, argumentation-theoretic framework for default reasoning. AI 93(1-2) 63–101 (1997).
S.-E. Bornscheuer and M. Thielscher. Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. JLP 31(1-3) 119–155, 1997.
M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. ILPS’93, MIT Press.
Y. Dimopoulos and A.C. Kakas. Logic Programming without Negation as Failure. ILPS’95, 369–383, MIT Press.
P. M. Dung. Representing Actions in Logic Programming and its Applications in Database Updates. ICLP’93, 222–238, MIT Press.
P. M. Dung. The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game. AI 77 321–357, 1995.
M. Gelfond and V. Lifschitz. Representing Actions in Extended Logic Programming. JICSLP’92, 560, MIT Press.
M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. JLP, 17 (2,3,4) 301–322, 1993.
A.C. Kakas and R.S. Miller. Reasoning about Actions, Narratives and Ramifications. Journal of Electronic Transactions on Artificial Intelligence 1(4), 1997.
A.C. Kakas and R.S. Miller. A Simple Declarative Language for Describing Narratives with Actions. JLP 31(1-3) (Special Issue on Reasoning about Action and Change) 157–200, 1997.
A. C. Kakas and F. Toni. Computing argumentation in logic programming. To appear in JLC, Oxford University Press, 1999.
R.A. Kowalski and M. Sergot. A Logic-Based Calculus of Events. New Generation Computing 4, 267, 1986.
M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Commonsense Law of Inertia, MIT Press, 1997.
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
Kakas, A., Miller, R., Toni, F. (1999). An Argumentation Framework for Reasoning about Actions and Change. 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_6
Download citation
DOI: https://doi.org/10.1007/3-540-46767-X_6
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