Abstract
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical formulae describing the agent’s relationship to its environment. Two such programs for a mobile robot are described — one for navigation and one for map building — that share much of their code. The map building program incorporates a rudimentary approach to the formalisation of epistemic fluents, knowledge goals, and knowledge producing actions.
This is a preview of subscription content, log in via an institution to check access.
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
C.Baral and S.C. Tran, Relating Theories of Actions and Reactive Control, Linköping Electronic Articles in Computer and Information Science, vol. 3 (1998), no. 9.
G. De Giacomo, Y. Lespérance, and H. Levesque, Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus, Proceedings 1997 International Joint Conference on Artificial Intelligence (IJCAI 97), Morgan Kaufmann, pp. 1221–1226.
K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J-J.Ch. Meyer, Agent Programming with Declarative Goals, this volume.
R.A. Kowalski, Using Meta-Logic to Reconcile Reactive with Rational Agents, in Meta-Logics and Logic Programming, ed. K.R. Apt and F. Turini, MIT Press (1995), pp. 227–242.
Y. Lespérance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl, A Logical Approach to High-Level Robot Programming: A Progress Report, in Control of the Physical World by Intelligent Systems: Papers from the 1994 AAAI Fall Symposium, ed. B. Kuipers, New Orleans (1994), pp. 79–85.
H. Levesque, What Is Planning in the Presence of Sensing? Proceedings AAAI 96, pp. 1139–1146.
N.J. Nilsson, ed., Shakey the Robot, SRI Technical Note no. 323 (1984), SRI, Menlo Park, California.
M.P. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press (1997).
M.P. Shanahan, Noise, Non-Determinism and Spatial Uncertainty, Proceedings AAAI 97, pp. 153–158.
M.P. Shanahan, What Sort of Computation Mediates Best Between Perception and Action?, in Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, eds. H.J. Levesque & F. Pirri, Springer-Verlag (1999), pages 352–368.
M.P. Shanahan, An Abductive Event Calculus Planner, The Journal of Logic Programming, vol. 44 (2000), pp. 207–239.
M.P. Shanahan, Reinventing Shakey, in Logic Based Artificial Intelligence, ed. J. Minker, Kluwer, to appear.
S. Shapiro and Y. Lespérance, Modeling Multiagent Systems with CASL — A Feature Interaction Resolution Application, this volume.
S. Zimmerbaum and R. Scherl, Sensing Actions, Time, and Concurrency in the Situation Calculus, this volume.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shanahan, M., Witkowski, M. (2001). High-Level Robot Control through Logic. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_8
Download citation
DOI: https://doi.org/10.1007/3-540-44631-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42422-2
Online ISBN: 978-3-540-44631-6
eBook Packages: Springer Book Archive