Abstract
We provide a very general framework to reason about action and change. Our approach generalizes existing formalisms aimed at this type of inference in three respects. Firstly, we admit actions with abnormal effects, i.e. actions that may behave abnormally with respect to their intended specifications. Secondly, we admit defeasible observations, i.e. observations that are subject to invalidation. Thirdly, we admit arbitrary priorities between abnormalities, what allows us to prefer some actions and/or observations while resolving conflicts.
To represent actions, we use Dijkstra's methodology, originally developed for reasoning about programs. To deal with abnormalities, Dijkstra's approach is combined with Reiter's version of default logic with priorities.
This research was supported by KBN grant 8 T11C 040 10.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Apt K., Olderog E. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York 1991.
Brewka G. Preferred Subtheories — An Extended Logical Framework for Default Reasoning. In Proc. IJCAI-89, Detroit, 1989.
Dijkstra E. W. A Discipline of Programming. Prentice Hall, 1976.
Dijkstra E. W., Scholten C. S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
Gelfond, M,. Lifschitz, V., Rabinov, A. What Are the Limitations of Situation Calculus? In: Proc. AAAI Symposium of Logical Formalization of Commonsense Reasoning, Stanford, 55–69, 1991.
Lifschitz, V. Formal Theories of Action. In: Readings in Nonmonotonic Reasoning, M. Ginsberg (ed.), Morgan Kaufmann Publishers, Palo Alto, 35–57, 1988.
Lukaszewicz, W., Madalińska-Bugaj, E. Program Verification Techniques as a Tool for Reasoning about Action and Change. In: KI-94: Advances in Artificial Intelligence, Proceedings of 18th German Conference on Artificial Intelligence, Springer-Verlag, Lecture Notes in Artificial Intelligence, 861, 226–236, 1994.
Lukaszewicz, W., Madalińska-Bugaj, E. Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. In: Proc. IJCAI-95, Montreal, Canada, 1950–955, 195.
Lukaszewicz,W., Madalińska-Bugaj, E. Reasoning about Action and Change: Actions with Abnormal Effects. In: KI-95: Advances in Artificial Intelligence, Proceedings of 19th German Conference on Artificial Intelligence, Springer-Verlag, Lecture Notes in Artificial Intelligence, 981, 209–220, 1995.
McCarthy, J., Hayes, P.J. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: B. Meltzer and D. Michie (eds.), Machine Intelligence 4, 1969, 463–502.
Reiter, R. A Logic for Default Reasoning. Artificial Intelligence Journal, 13, 81–132, 1980.
Sandewall, E. Features and Fluents: The Representation of Knowledge about Dynamical Systems. Oxford Logic Guides, 30, Oxford Science Publications, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jabłonowski, J., Lukaszewicz, W., Madalińska-Bugaj, E. (1996). Reasoning about action and change: Defeasible observations and actions with abnormal effects. In: Görz, G., Hölldobler, S. (eds) KI-96: Advances in Artificial Intelligence. KI 1996. Lecture Notes in Computer Science, vol 1137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61708-6_55
Download citation
DOI: https://doi.org/10.1007/3-540-61708-6_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61708-2
Online ISBN: 978-3-540-70669-4
eBook Packages: Springer Book Archive