ConGolog, sin trans: Compiling ConGolog into basic action theories for planning and beyond

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 600-610

  Fritz, Christian ^a   Baier, Jorge A ^a   McIlraith, Sheila A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CALCULATIONS; KNOWLEDGE REPRESENTATION; MACHINERY; PLANNING; PROBLEM ORIENTED LANGUAGES; PROGRAM COMPILERS;

CLASSICAL PLANNING; DOMAIN CONTROLS; HIERARCHICAL TASK NETWORKS; INITIAL SITUATION; MATHEMATICAL FOUNDATIONS; SEARCH CONTROL; SITUATION CALCULUS; STATE OF THE ART;

CONCURRENCY CONTROL;

EID: 67651247934     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Baier, J. A., and McIlraith, S. A. 2006. Planning with firstorder temporally extended goals using heuristic search. In Proc. of the 21st National Conference on Artificial Intelligence (AAAI), 788-795.
2. Baier, J. A.; Fritz, C.; and McIlraith, S. A. 2007. Exploiting procedural domain control knowledge in state-ofthe- art planners. In Proc. of the 17th Int'l Conference on Automated Planning and Scheduling (ICAPS), 26-33.
3. Burgard, W.; Cremers, A. B.; Fox, D.; Ḧahnel, D.; Lakemeyer, G.; Schulz, D.; Steiner, W.; and Thrun, S. 1999. Experiences with an interactive museum tour-guide robot. Artificial Intelligence 114(1-2):3-55.
4. Claßen, J., and Lakemeyer, G. 2008. A logic for nonterminating golog programs. In Proc. of the 11th Int'l Conference on Knowledge Representation and Reasoning (KR).
5. De Giacomo, G.; Lesṕerance, Y.; and Levesque, H. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2):109- 169.
6. Erol, K.; Hendler, J. A.; and Nau, D. S. 1994. HTN planning: Complexity and expressivity. In Proc. of the 12th National Conference on Artificial Intelligence (AAAI), 1123- 1128.
7. Ferrein, A.; Fritz, C.; and Lakemeyer, G. 2004. Online decision-theoretic Golog for unpredictable domains. In Proc. of the 4th Int'l Cognitive Robotics Workshop, at ECAI-2004.
8. Fox, M., and Long, D. 2003. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research 20:61-124.
9. Fritz, C., and McIlraith, S. A. 2007. Monitoring plan optimality during execution. In Proc. of the 17th Int'l Conference on Automated Planning and Scheduling (ICAPS), 144-151.
10. Fritz, C.; Baier, J. A.; and McIlraith, S. A. 2008. Con- Golog, Sin Trans: compiling ConGolog into basic action theories for planning and beyond (extended version). Technical Report CSRG-576, University of Toronto.
11. Funge, J. 1998. Making Them Behave: Cognitive Models for Computer Animation. Ph.D. Dissertation, University of Toronto, Toronto, Canada.
12. Gabaldon, A. 2002. Programming hierarchical task networks in the situation calculus. In AIPS'02 Workshop on On-line Planning and Scheduling.
13. Ghallab, M.; Nau, D.; and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann.
14. Kuter, U.; Sirin, E.; Nau, D. S.; Parsia, B.; and Hendler, J. A. 2004. Information gathering during planning for web service composition. In Proc. of the 3rd Int'l Semantic Web Conferece (ISWC), 335-349.
15. Lekav́y, M., and Ńavrat, P. 2007. Expressivity of STRIPSlike and HTN-like planning. In Proc. of Agent and Multi- Agent Systems: Technologies and Applications, First KES International Symposium (KES-AMSTA), 121-130.
16. Liu, Y. 2002. A hoare-style proof system for robot programs. In Proc. of the 18th National Conference on Artificial Intelligence (AAAI), 74-79.
17. McDermott, D. V. 1998. PDDL - The Planning Domain Definition Language. Technical Report TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
18. McIlraith, S., and Son, T. 2002. Adapting golog for composition of semantic web services. In Proc. of the 8th Int'l Conference on Knowledge Representation and Reasoning (KR), 482-493.
19. Nau, D. S.; Au, T.-C.; Ilghami, O.; Kuter, U.; Murdock, J.W.;Wu, D.; and Yaman, F. 2003. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20:379-404.
20. Owre, S.; Rushby, J. M.; and Shankar, N. 1992. PVS: A prototype verification system. In Proc. of the 11th Int'l Conference on Automated Deduction (CADE), 748-752.
21. Reiter, R. 1993. Proving properties of states in the situation calculus. Artificial Intelligence 64(2):337-351.
22. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: MIT Press.
23. Shapiro, S.; Lesṕerance, Y.; and Levesque, H. J. 2002. The cognitive agents specification language and verification environment for multiagent systems. In Proc. of the 1st Int'l Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS), 19-26.