Abstract
When agents like mobile robots make observations while carrying out a course of actions, a formalization of the observed information is needed in order to reason about it. When doing so in the situation calculus, a seemingly straightforward approach turns out to be inappropriate since it leads to unintended results and has an unfortunate sensitivity with respect to different forms of successor state axioms. In this paper we suggest how to properly encode observed information in order to avoid both of these problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
McCarthy, J.: Situations, actions and causal laws. Stanford Artificial Intelligence Project: Memo 2 (1963); Reprinted in: Minsky, M.L., (ed.) Semantic Information Processing. MIT Press, Cambridge (1968)
Levesque, H., Pirri, F., Reiter, R.: Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence 2 (1998)
Reiter, R., Pirri, F.: Some contributions to the metatheory of the situation calculus. Journal of the ACMÂ 46 (1999)
Iwan, G.: History-based diagnosis templates in the framework of the situation calculus. AI Communications 15 (2002)
Burgard, W., Cremers, A., Fox, D., Hähnel, D., Lakemeyer, G., Schulz, D., Steiner, W., Thrun, S.: Experiences with an interactive museum tour-guide robot. Artificial Intelligence 114 (1999)
Iwan, G., Lakemeyer, G.: What observations really tell us. In: Proceedings of the 3rd International Cognitive Robotics Workshop (2002)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4. Edinburgh University Press (1969)
Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, London (1991)
Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31 (1997)
McIlraith, S.: Explanatory diagnosis: Conjecturing actions to explain observations. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (1998)
De Giacomo, G., Levesque, H.: An incremental interpreter for high-level programs with sensing. In: Levesque, H.J., Pirri, F. (eds.) Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter. Springer, Heidelberg (1999)
De Giacomo, G., Levesque, H.: Projection using regression and sensors. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (1999)
McIlraith, S., Scherl, R.: What sensing tells us: Towards a formal theory of testing for dynamical systems. In: Proceedings of the 17th National Conference on Artificial Intelligence (2000)
Pinto, J.: Occurrences and narratives as constraints in the branching structure of the situation calculus. Journal of Logic and Computation 8 (1998)
Miller, R., Shanahan, M.: Narratives in the situation calculus. Journal of Logic and Computation 4 (1994)
Baral, C., McIlraith, S., Son, T.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (2000)
Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming 31 (1997)
Gelfond, M., Lifschitz, V.: Representing actions in extended logic programming. In: Proceedings of the Joint International Conference and Symposium on Logic Programming (1992)
Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17 (1993)
Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence 2 (1998)
Gelfond, M., Watson, R.: Diagnostics with answer sets: Dealing with unobservable fluents. In: Proceedings of the 3rd International Cognitive Robotics Workshop (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iwan, G., Lakemeyer, G. (2003). What Observations Really Tell Us. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-39451-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20059-8
Online ISBN: 978-3-540-39451-8
eBook Packages: Springer Book Archive