GOLEX m bridging the gap between logic (GOLOG) and a real robot

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

Volumn 1504, Issue , 1998, Pages 165-176

  Häihnel, Dirk ^a   Burgard, Wolfram ^a   Lakemeyer, Gerhard ^b  

^a UNIVERSITY OF BONN   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; INTELLIGENT ROBOTS; MOBILE ROBOTS; NAVIGATION SYSTEMS; RECONFIGURABLE HARDWARE; ROBOT APPLICATIONS;

CONTROL SOFTWARE; LOW LEVEL ROBOT CONTROL; LOW-LEVEL COMMANDS; MONITORING SYSTEM; PRIMITIVE ACTIONS; ROBOT CONTROL SYSTEMS; SYMBOLIC TECHNIQUES; UNSTRUCTURED ENVIRONMENTS;

ROBOTS;

EID: 84957711879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0095437     Document Type: Conference Paper

References (21)

1. M. Beetz and D. McDermott. Improving robot plans during their execution. In Kris Hammond, editor, Second International Conference on AI Planning Systems, pages 312, Morgan Kaufmann, 1994.
2. W. Bibel. Let's plan it deductively. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, volume 2, pages 1549-1562, August 1997.
3. J. Buhmann, W. Burgard, A.B. Cremers, D. Fox, T. Hofmann, F. Schneider, J. Strikos, and S. Thrun. The mobile robot RHINO. AI Magazine, 16(2):31-38, Summer 1995.
4. W. Burgard, Armin B. Cremers, D. Fox, D. Hahnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. The interactive museum tour-guide robot. In Proc. of the Sixteenth National Conference on Artificial Intelligence (AAAI-98), 1998. To appear.
5. W. Burgard, D. Fox, D. Hennig, and T. Schmidt. Estimating the absolute position of a mobile robot using position probability grids. In Proc. of the Fourteenth National Conference on Artificial Intelligence, pages 896-901, 1996.
6. J. G. Carbonell, C. A. Knoblock, and S. Minton. Prodigy: An integrated architecture for planning and learning. In K. Van Lehn, editor, Architectures for Intelligence. Erlbaum, 1990.
7. C. Fedor. TCX. An interprocess communication system for building robotic architectures. Programmer's guide to version lO.xx. Carnegie Mellon University, Pittsburgh, PA 15213, 12 1993.
8. D. Fox, W. Burgard, and S. Thrun. The dynamic window approach to collision avoidance. IEEE Robotics and Automation Magazine, 1997.
9. G. de Giacamo, Y. Lesperance, and H.J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, volume 2, pages 1221-1226, 1997.
10. G. de Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Technical report, University of Toronto, 1998.
11. G. de Giacomo, R. Reiter, and M. M. Soutchanski. Execution monitoring of high-level robot programs. In Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), 1998. To appear.
12. K. Z. Haigh and M. M. Veloso. High-level planning and low-level execution: towards a complete robotic agent. In Proceedings of the First International Conference on Autonomous Agents, Marina del Rey, CA, February 1997.
13. K. Konolige. Colbert: A language for reactive control in saphira. In KI-97: Advances in Artificial Intelligence, pages 31-52. LNAI Series, Springer Verlag, 1997.
14. G. Lakemeyer. On sensing and off-line interpreting in golog. Technical report, RWTH Aachen, 1998.
15. H.J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
16. F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, special issue on actions and processes, 4:665-678, 1994.
17. J. McCarthy. Situations, actions and causal laws. In Semantic Information Processing, pages 410-417. MIT Press, 1968.
18. Nils J. Nilsson. SHAKEY the robot. Technical report, SRI International, 1984.
19. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifshitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359-380. Academic Press, 1991.
20. R. Reiter. Sequential, temporal golog. In Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), 1998. To appear.
21. S. Thrun, A. Bucken, W. Burgard, D. Fox, T. Frohlinghaus, D. Hennig, T. Hofmann, M. Krell, and T. Schimdt. Map learning and high-speed navigation in RHINO. In D. Ko-rtenkamp, R.P. Bonasso, and R. Murphy, editors, Al-based Mobile Robots: Case studies of successful robot systems. MIT Press, Cambridge, MA, 1998.