Abstract
Logics of action and change were originally conceived for the design of intelligent agents, as McCarthy proposed the situation calculus as the logic to be used by a logic-based “advice taker”. In more recent research one can distinguish two motives for these logics, namely, for what is now called cognitive robotics and for common-sense reasoning. The difference is that in cognitive robotics, the logic must also account for an incoming flow of sensory data and for the actuation of actions by the robot, whereas common-sense reasoning is oriented towards natural-language communication of the premises and the conclusions of the reasoning process.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Erik Sandewall. Relating high-level and low-level action descriptions in a logic of actions and change. Oded Maler (ed): Hybrid and Real-Time Systems, 1997, pp. 3–17. Springer Verlag.
Erik Sandewall. Logic Based Modelling of Goal-Directed Behavior. Proc. International Conference on Knowledge Representation and Reasoning, 1998, pp. 304–315.
Erik Sandewall. Towards the validation of high-level action descriptions from their low-level definitions. AI Communications, vol. 9 (1996), pp. 214–224.
Erik Sandewall. Logic-Based Modelling of Goal-Directed Behavior. Electronic Transactions on Artificial Intelligence, vol. 1, pp. 105–128. http://www.ep.liu.se/ea/cis/1997/019/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sandewall, E. (1998). The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary. In: Dix, J., del Cerro, L.F., Furbach, U. (eds) Logics in Artificial Intelligence. JELIA 1998. Lecture Notes in Computer Science(), vol 1489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49545-2_26
Download citation
DOI: https://doi.org/10.1007/3-540-49545-2_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65141-3
Online ISBN: 978-3-540-49545-1
eBook Packages: Springer Book Archive