Abstract
We present a logic-based method for reasoning about action and change. In contrast to most of the other approaches aimed at this kind of inference, our proposal admits actions with abnormal effects. More specifically, with each action A we associate a pair of specifications, S 1 and S 2, representing respectively normal and abnormal performance of A. The intention is that each action is performed according to its normal specification unless the contrary follows from observations.
To represent effects of actions, we use Dijkstra's formalism, originally developed for reasoning about programs. To distinguish between normal and abnormal performances of actions, Dijkstra's approach is combined here with Reiter's default logic.
The author was supported by the ESPRIT Basic Research Action No. 6156 — DRUMS II and KBN grant 3 P406 01 06.
The author was supported by MEDICIS CHRXCT 920054 Project.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Baker, A. B., “Nonmonotonic Reasoning in the Framework of Situation Calculus”, Artificial Intelligence, 49, 1991, 5–23.
Dijkstra E. W., “A Discipline of Programming”, Prentice Hall, 1976.
Dijkstra E. W., Scholten C. S., “Predicate Calculus and Program Semantics”, Springer-Verlag, 1990.
Hanks, S., McDermott, D., “Nonmonotonic Logic and Temporal Projection”, Artificial Intelligence, 33, 1987, 379–412.
Kautz, H. A., “The Logic of Persistence”, in: Proc. AAAI-86, 1986, 401–405.
Łukaszewicz, 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.
Łukaszewicz, W., Madalińska-Bugaj, E., “Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report”, to appear in Proc. IJCAI-95, 1995.
Radzikowska, A., “Circumscribing features and fluents: Reasoning about Action with Default Effects”. To appear in Proc. ECSQARU-95.
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. University, Sweden.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Łukaszewicz, W., Madalińska-Bugaj, E. (1995). Reasoning about action and change: Actions with abnormal 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_38
Download citation
DOI: https://doi.org/10.1007/3-540-60343-3_38
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