Abstract
In this paper we consider domains of actions involving causal chains of actions and default actions. In order to represent these domains, we define a language (ie540-01) that extends the language (ie540-02) introduced by Gelfond and Lifschitz. We provide a translation from (ie540-03) into circumscriptive theories and show that this translation is sound and complete relative to the semantics of (ie540-04). Our approach is related to Sandewall's PMON logic and the occlusion concept. The analysis assumes a discrete linear model of time.
This paper has been supported by the KBN Grant 3 P406 019 06.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. Baral, M. Gelfond: Representing Concurrent Actions in Extended Logic Programming, in Proc JJCAI-93, Chambery, France, 1993, pp. 866–871.
P. Doherty: Reasoning about Action and Change using Occlusion, in Proc. of ECAI-94, Amsterdam, 1994, pp. 401–405.
B. Dunin-Keplicz, A. Radzikowska: Epistemnic Approach to Actions with Typical Effects, in Proc. of ECSQARU-95, Fribourg, Switzerland, 1995, pp. 180–189.
M. Gelfond, V. Lifschitz: Representing Action and Change by Logic Programs, The Journal of Logic Programming, 17, 1993, pp. 301–322.
E. Giunghilia, G. N. Kartha, V. Lifschitz: Actions with Indirect Effects, in Working Notes of the AAAI Spring Symposium on Extending Theories of Action, 1994.
E. Giunghilia, V. Lifschitz: Dependent Fluents, in Proc. of IJCAI-95, Montreal, Canada, 1995, pp. 1964–1969.
G. N. Kartha: Soundness and Completeness Theorems for Three Formalizations of Actions, in Proc. of IJCAI-93, Chambery, France, 1993, pp. 724–729.
G. N. Kartha, V. Lifschitz: Actions with Indirect Effects, in Proc. of 4th KR-94, Bonn, Germany, 1994, pp. 341–350.
V. Lifschitz: Restricted monotonicity, in Proc. of AAAI-93, 1993, pp. 432–437.
V. Lifschitz: Nested Abnormality Theories, Artificial Intelligence 74, 1995, pp. 351–365.
V. Lifschitz: Two Components of An Action Language, in Proc. of Third Symposium of Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
F. Lin, Y. Shoham: Provably correct theories of actions (preliminary report), in Proc. AAAI-91, 1991, pp. 349–354.
N. McCain, H. Turner: A Causal Theory of Ramifications and Qualifications, in Proc. of IJCAI-95, Montreal, Canada, 1995, pp. 1978–1984.
A. Radzikowska: Circumscribing Features and Fluents: Reasoning about Action with Default Effects, in Proc. of ECSQARU-95, Fribourg, 1995, pp. 344–352.
A. Radzikowska: Reasoning about Action with Typical and Atypical Effects, in Proc. of 19th German Annual Conference on AI, Bielefeld, 1995, pp. 197–209.
E. Sandewall: Features and fluents: A systematic approach to the representation of knowledge about dynamical systems, Oxford University Press, 1994.
S. E. Bornscheuer, M. Thielscher: Representing Concurrent Actions and Solving Conflicts, in Proc. of 18th German Annual Conference on AI, Saarbrücken, 1994, pp. 16–27.
H. Turner: Representing Actions in Default Logic: A Situation Calculus Approach in Proc. of Third Symposium of Logical Formalizations of Commonsense Reasoning, Stanford University, USA, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radzikowska, A. (1996). Formalization of reasoning about default action (preliminary report). In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_99
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_99
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive