cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 476-482

  Grosskreutz, Henrik ^a   Lakemeyer, Gerhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; ROBOTS;

CONGOLOG; EVENT-DRIVEN; LOGIC BASED CONTROL; REALISTIC DOMAINS; ROBOT CONTROLLER; ROBOTS CONTROL; SITUATION CALCULUS; VOLTAGE LEVELS;

COMPUTER CIRCUITS;

EID: 31144461144     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bacchus, F.; Halpern, J.; and Levesque, H. 1995. Reasoning about noisy sensors in the situation calculus. In IJCAI'95.
2. Beetz, M., and Grosskreutz, H. 1998. Causal models of mobile service robot behavior. In AIPS'98.
3. Burns, A., and Wellings, A. 1991. Real-time systems and their programming languages. Addison-Wesley.
4. de Giacomo, G., and Levesque, H. 1999. An incremental interpreter for high-level programs with sensing. In Levesque, H., and Pirri, F., eds., Logical Foundations for Cognitive Agents. Springer. 86-102.
5. de Giacomo, G.; Lesperance, Y.; and Levesque, H. J. 1997. Reasoning about concurrent execution, prioritized interrupts, and ex-ogeneous actions in the situation calculus. In IJCAI'97.
6. Firby, J. 1987. An investigation into reactive planning in complex domains. In Proc. of AAAI-87, 202-206.
7. Galton, A. 1990. A critical examination of Allen's theory of action and time. Artificial Intelligence 42:159-188.
8. Giacomo, G. D.; Lesperance, Y.; and Levesque, H. J. 1999. Con-golog, a concurrent programming language based on the situation calculus: foundations. Technical report, University of Toronto, http://www.cs.toronto.edu/cogrobo/.
9. Grosskreutz, H., and Lakemeyer, G. 2000. Turning high-level plans into robot programs in uncertain domains. In Submitted. http://www-i5.informatik.rwth-aachenbonn.de/kbsg/publications/.
10. Konolige, K. 1997. Colbert: A language for reactive control in sapphira. In KI'97, volume 1303 of LNAI.
11. Levesque, H. J.; Reiter, R.; Lesprance, Y.; Lin, F.; and Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:59-84.
12. Levesque, H.; Pirri, F.; and Reiter, R. 1998. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science Vol. 3(1998): nr 018. URL: http://www.ep.liu.se/ea/cis/1998/018/.
13. McCarthy, J. 1963. Situations, actions and causal laws. Technical report, Stanford University. Reprinted 1968 in Semantic Information Processing (M.Minske ed.), MIT Press.
14. McDermott, D. 1992. Robot planning. AI Magazine 13(2):55-79.
15. McDermott, D. 1994. An algorithm for probabilistic, totally-ordered temporal projection. Research Report YALEU/DCS/RR-1014, Yale University, www.cs.yale.edu/AI/Planning/xfrm.html.
16. Miller, R. 1996. A case study in reasoning about actions and continuous change. In ECAI'96.
17. Pinto, J. 1997. Integrating discrete and continuous change in a logical framework. Computational Intelligence, 14(1).
18. Reiter, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Proc. KR'96, 2-13.
19. Reiter, R. 1998. Sequential, temporal golog. In Proc. KR'98.
20. Sandewall, E. 1989. Combining logic and differential equations for describing real-world systems. In KR'89, 412-420.
21. Shanahan, M. 1990. Representing continuous change in the event calculus. In ECAI'90.
22. Thrun, S.; Bennewitz, M.; Burgard, W.; Dellaert, F.; Fox, D.; Haehnel, D.; Rosenberg, C.; Roy, N.; Schulte, J.; and Schulz, D. 1999. Minerva: A second-generation museum tour-guide robot. In ICRA'99.