Abstract
This paper proposes a new language that can be used to build high-level robot controllers with high-level cognitive functions such as plan specification, plan generation, plan execution, perception, goal formulation, communication and collaboration. The proposed language is based on Golog, a language that uses the situation calculus as a formalism to describe actions and deduction as an inference rule to synthesize plans. On the other hand, instead of situation calculus and deduction, the new language uses event calculus and abductive reasoning to synthesize plans. As we can forsee, this change of paradigm allows the agent to reason about partial order plans, making possible a more flexible integration between deliberative and reactive behaviors.
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
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59–83 (1997)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)
Weld, D.S.: An introduction to least commitment planning. AI Magazine 15, 27–61 (1994)
Pereira, S.L.: Abductive Planning in the Event Calculus. Master Thesis, Institute of Mathematics and Statistics - University of Sao Paulo (2002)
Pereira, S.L., Barros, L.N.: Efficiency in abductive planning. In: Proceedings of 2nd Congress of Logic Applied to Technology, Senac, São Paulo, pp. 213–222 (2001)
McCarthy, J.: Situations, actions and causal laws. Technical Report Memo 2 - Stanford University Artificial Intelligence Laboratory (1963)
Peirce, C.S.: Collected Papers of Charles Sanders Peirce. Harvard University Press, Cambridge (1931-1958)
Cox, P.T., Pietrzykowski, T.: Causes for events: their computation and applications. In: Proc. of the 8th international conference on Automated deduction, pp. 608–621. Springer, New York (1986)
Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2, 719–770 (1992)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)
Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
Eshghi, K.: Abductive planning with event calculus. In: Proc.of the 5th International Conference on Logic Programming, pp. 562–579. MIT Press, Cambridge (1988)
MacAllester, D., Rosenblitt, D.: Systematic nonlinear planning. In: Proc. 9th National Conference on Artificial Intelligence, pp. 634–639. MIT Press, Cambridge (1991)
Chapman, D.: Planning for conjunctive goals. Artificial Intelligence 32, 333–377 (1987)
Knoblock, C., Yang, Q.: Evaluating the tradeoffs in partial-order planning algorithms (1994)
Green, C.: Application of theorem proving to problem solving. In: International Joint Conference on Artificial Intelligence, pp. 219–239. Morgan Kaufmann, San Francisco (1969)
Brooks, R.A.: A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2, 14–23 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
do Lago Pereira, S., de Barros, L.N. (2004). High-Level Robot Programming: An Abductive Approach Using Event Calculus. In: Bazzan, A.L.C., Labidi, S. (eds) Advances in Artificial Intelligence – SBIA 2004. SBIA 2004. Lecture Notes in Computer Science(), vol 3171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28645-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-28645-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23237-7
Online ISBN: 978-3-540-28645-5
eBook Packages: Springer Book Archive