Abstract
The formalization of reasoning about action and change is one of the central problems in the theory of knowledge representation. Strangely enough, no much interest has been attracted to investigate scenario problems involving actions with default effects. In everyday life people often undertake actions which have expected, yet not necessarily certain results. Modelling a behaviour of intelligent agents, it seems quite natural to study such action scenarios.
In this paper we consider action scenarios where some actions have typical and/or atypical effects. We propose a preferential strategy adequate for reasoning about such actions. This method, intuitively motivated, is provided in terms of circumscription. We employ the occlusion concept introduced by Sandewall. The analysis is based on a three-sorted FOPC with temporal terms and a linear discrete model of time.
This work was supported by the KBN Grant 3 P406 019 06.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Baker, A., A Simple Solution to the Yale Shooting Problem, in Proc. 1st KR-89, R. J. Brachman, H. J. Levesque, R. Reiter (eds.), Toronto, Canada, 1989, pp. 11–19.
Baker, A., Nonmonotonic Reasoning in the Framework of Situation Calculus, Artificial Intelligence 49, 1991, pp. 5–23.
Doherty, P., Reasoning about Action and Change using Occlusion, in Proc. 11th ECAI-94, Amsterdam, 1994, pp. 401–406.
Doherty, P., Notes on PMON Circumscription, Technical Report LiTH-IDA-R-94-43, Department of Computer and Information Science, Linköping University, Sweden, 1994.
Dunin-Keplicz, B. and Radzikowska, A., Epistemic Approach to Reasoning about Action with Typical Effects, in Proc. ECSQARU-95, Fribourg, 1995.
Etherington, D.W. and Crawford, J.M., Formalizing Reasoning about Change: A Qualitative Reasoning Approach, in Proc. 10th AAAI-92, San Jose, CA, 1992.
Kartha, N., Two Counterexamples Related to Baker's Approach to the Frame Problem, Artificial Intelligence 69, 1994, pp. 379–391.
Lifschitz, V., Computing Circumscription, in Proc. 9th IJCAI-85, Los Angeles, CA, 1985, pp. 121–127.
Łukaszewicz, W. and Madalińska-Bugaj, E., Reasoning about Action and Change: Actions with Abnormal Effects, in Proc. KI-95, Bielefeld, 1995 (in this volume).
McCarthy, J. and Hayes, P.J., Some Philosophical Problems from the Standpoint of Artificial Intelligence, in B. Meltzer and D. Michie (eds.), Machine Intelligence 4, American Elsevier, New York, 1969, pp. 463–502.
Radzikowska, A., Circumscribing Features and Fluents: Reasoning about Action with Default Effects, in Proc. ECSQARU-95, Fribourg, 1995.
Sandewall, E., Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems, Oxford University Press, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radzikowska, A. (1995). Reasoning about action with typical and atypical effects. In: Wachsmuth, I., Rollinger, CR., Brauer, W. (eds) KI-95: Advances in Artificial Intelligence. KI 1995. Lecture Notes in Computer Science, vol 981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60343-3_37
Download citation
DOI: https://doi.org/10.1007/3-540-60343-3_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60343-6
Online ISBN: 978-3-540-44944-7
eBook Packages: Springer Book Archive