Abstract
We address the problem of formally proving high-level effect descriptions of actions from low-level operational definitions. The low-level operational description has a hybrid character, involving both continuous and discrete change; the effect description is wholly or predominantly discrete. Both descriptions are expressed in a logic of actions and change, with extensions for characterizing continuous change, discontinuities, the distinction between true and estimated values of state variables, and the distinction between success and failure of an action. Both descriptions also require the use of nonmonotonicity in the logic in question. The transition from operational definition to effect description furthermore involves the creation of a closure with respect to the set of possible ways that the action can fail.
We outline, by means of an example, how these issues can be addressed as an extension of existing results on logics of actions and change.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects (preliminary report). In International Conference on Knowledge Representation and Reasoning, pages 341–350, 1994.
Vladimir Lifschitz. Nested abnormality theories. Artificial Intelligence, 74:351–365, 1995.
John McCarthy and Patrick Hayes. Some philosophical problems from the view-point of artificial intelligence. In Machine Intelligence, Vol. 4, pages 463–502. Edinburgh University Press, 1969.
Tommy Persson and Lennart Staflin. A causation theory for a logic of continuous change. In European Conference on Artificial Intelligence, pages 497–502, 1990.
Erik Sandewall. Combining logic and differential equations for describing real-world systems. In Proc. International Conference on Knowledge Representation, Toronto, Canada, 1989.
Erik Sandewall. Filter preferential entailment for the logic of action in almost continuous worlds. In International Joint Conference on Artificial Intelligence, pages 894–899, 1989.
Erik Sandewall. The range of applicability of nonmonotonic logics for the inertia problem. In International Joint Conference on Artificial Intelligence, 1993.
Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Volume I. Oxford University Press, 1994.
Erik Sandewall. Assessments of ramification methods that use static domain constraints. In International Conference on Knowledge Representation and Reasoning. Morgan Kaufmann, 1996.
Erik Sandewall and Ralph Rönnquist. A representation of action structures. In National Conference on Artificial Intelligence, pages 89–97, 1986.
Murray Shanahan. Representing continuous change in the event calculus. In European Conference on Artificial Intelligence, pages 598–603, 1990.
Yoav Shoham. Reasoning about Change. MIT Press, 1988.
Michael Thielscher. Computing ramifications by postprocessing. In International Joint Conference on Artificial Intelligence, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sandewall, E. (1997). Relating high-level and low-level action descriptions in a logic of actions and change. In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014709
Download citation
DOI: https://doi.org/10.1007/BFb0014709
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62600-8
Online ISBN: 978-3-540-68330-8
eBook Packages: Springer Book Archive