On-line decision-theoretic Golog for unpredictable domains

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

Volumn 3238 LNAI, Issue , 2004, Pages 322-336

  Ferrein, Alexander ^a   Fritz, Christian ^a   Lakemeyer, Gerhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

DECISION-THEORETIC; ONLINE DECISIONS; ROBOCUP; SEARCH SPACES;

ROBOT PROGRAMMING;

EID: 53849147268     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30221-6_25     Document Type: Conference Paper

References (16)

1. M. Beetz, T. Schmitt, R. Hanek, S. Buck, F. Stulp, D. Schröter, and B. Radig. The AGILO 2001 robot soccer team: Experience-based learning and probabilistic reasoning in autonomous robot control. Autonomous Robots, 2004.
2. C. Boutilier, R. Reiter, and B. Price. Symbolic dynamic programming for firstorder MDPs. In IJCAI, pages 690-700, 2001.
3. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, highlevel agent programming in the situation calculus. In Proc. of AAAI-00, pages 355-362. AAAI Press, July 30- 3 2000.
4. G. De Giacomo, Y. Lésperance, and H. J. Levesque. ConGolog, A concurrent programming language based on situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
5. G. De Giacomo and H. Levesque. An incremental interpreter for high-level programs with sensing. In H. J. Levesque and F. Pirri, editors, Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 86-102. Springer, Berlin, 1999.
6. H. Grosskreutz and G. Lakemeyer. On-line execution of cc-Golog plans. In Proc. of IJCAI-01, 2001.
7. A. Großmann, S. Hölldobler, and O. Skvortsova. Symbolic dynamic programming with the Fluent Calculus. In Proc. IASTED (ACI-2002), pages 378-383, 2002.
8. Y. Lespérance and H.-K. Ng. Integrating planning into reactive high-level robot programs. In Proc. 2nd Int. Cognitive Robotics Workshop, pages 49-54, 2000.
9. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
10. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997.
11. J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University, 1963.
12. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94(1-2):7-56, 1997.
13. M. Puterman. Markov Decision Processes: Discrete Dynamic Programming. Wiley, New York, 1994.
14. R. Reiter. Knowledge in Action. MIT Press, 2001.
15. M. Shanahan. The event calculus explained. Lecture Notes in Computer Science, 1600, 1999.
16. M. Soutchanski. An on-line decision-theoretic golog interpreter. In Proc. IJCAI-2001, Seattle, Washington, August 2001.