Controlling autonomous robots with GOLOG

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1342, Issue , 1997, Pages 1-12

  Tam, K ^a   Lloyd, J ^b   Lesperance Y ^a   Levesque, H ^b   Lin, F ^b   Marcu, D ^b   Reiter, R ^b   Jenkin, M ^a  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ROBOTICS;

COMPLEX NAVIGATION; HARDWARE INDEPENDENT; HIGH-LEVEL PROGRAM; LEVEL OF ABSTRACTION; MOBILE ROBOTIC SYSTEMS; REASONING TASKS; ROBOT HARDWARE; ROBOTIC PLATFORMS;

ROBOTS;

EID: 84961389773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63797-4_53     Document Type: Conference Paper

References (7)

1. J. Buhmann, W. Burgard, A. B. Cremers, D. Fox, T. Hofmann, F. Schneider, J. Strikos, and S. Thrun. The mobile robot Rhino. Technical Report IAI-TR-95-2, Intitut für Informatik III, University of Bonn, January 1995.
2. M. Jenkin, N. Bains, J. Bruce, T. Campbell, B. Down, P. Jasiobedzki, A. Jepson, B. Majarais, E. Milios, B. Nickerson, J. Service, D. Terzopoulos, J. Tsotsos, and D. Wilkes. ARK: Autonomous mobile robot for an industrial environment. In Proc. IEEE/RSJ IROS, Munich, 1994.
3. Hector J. Levesque, Raymond Reiter, Yves Lesperance, Fangzhen Lin, and Richard B. Scherl. Golog: A logic programming language for dynamic domains. To appear in Journal of Logic Programming. Special issue on Reasoning about Action and Change, 1997.
4. R. C. Moore, Reasoning about knowledge and action. Technical report, AI Center, SRI International, Menlo Park, CA, 1980. Technical Report 191.
5. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
6. M. Robinson and M. Jenkin. Reactive low level control for the ARK. In Proc. VI '94, pages 41-47, 1994.
7. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689-695, Washington, DC, July 1993.