Belief update in the pGOLOG framework

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

Volumn 2174, Issue , 2001, Pages 213-228

  Grosskreutz, Henrik ^a   Lakemeyer, Gerhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ARTIFICIAL INTELLIGENCE;

HIGH LEVEL CONTROLLERS; HIGH-LEVEL PROGRAMMING LANGUAGE; NOISY SENSORS; PROBABILISTIC BELIEF; REASONING TASKS;

HIGH LEVEL LANGUAGES;

EID: 84868874490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45422-5_16     Document Type: Conference Paper

References (15)

1. W. Burgard, A.B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artificial Intelligence, 114(1-2), 2000.
2. F. Bacchus, J.Y. Halpern, and H. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence 111(1-2), 1999.
3. C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In AAAI’2000, 2000.
4. G. de Giacomo and H.J. Levesque. Anincremental interpreter for high-level programs with sensing. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 86-102. Springer, 1999.
5. D. Draper, S. Hanks, and D. Weld. Probabilistic planning with information gathering and contingent execution. In Proc. of AIPS’94, 1994.
6. H. Grosskreutz and G. Lakemeyer. Turning high-level plans into robot programs in uncertain domains. In ECAI’2000, 2000.
7. H. Grosskreutz and G. Lakemeyer. Online-execution of ccgolog plans. In IJCAI, 2001.
8. Guiseppe De Giacomo, Yves Lesperance, and Hector J Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
9. N. Kushmerick, S. Hanks, and D. Weld. An algorithm for probabilistic planning. Artificial Intelligence, 76:239-286, 1995.
10. L. P. Kaelbling, M. L. Littman, and A. R. Cassandra. Planning and acting in partially observable stochastic domains. Artificial Intelligence 101(1-2), 1998.
11. H. J. Levesque. What is planning in the presence of sensing. In AAAI’96, 1996.
12. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science, 3(18), 1998. URL: http://www.ep.liu.se/ea/cis/1998/018/.
13. J. McCarthy. Situations, actions and causal laws. Technical report, Stanford University. Reprinted 1968 in Semantic Information Processing, MIT Press, 1963.
14. David Poole. Decision theory, the situation calculus and conditional plans. Linköping Electronic Articles in Computer and Information Science, 3(8), 1998. URL: http://www.ep.liu.se/ea/cis/1998/008/.
15. R. Reiter. On knowledge-based programming with sensing in the situation calculus. In Second International Cognitive Robotics Workshop, 2000.