A model of contingent planning for agent programming languages

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2008, Pages 470-477

  Lespérance, Yves ^a   De Giacomo, Giuseppe ^b   Ozgovde, Atalay Nafi ^c  

^a YORK UNIVERSITY   (Canada)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

Agent programming languages; Contingent planning

Indexed keywords

APL (PROGRAMMING LANGUAGE); AUTONOMOUS AGENTS; CONCURRENCY CONTROL; MULTI AGENT SYSTEMS; SEMANTICS;

AGENT PROGRAMMING LANGUAGES; CONCURRENT PROGRAM; CONDITIONAL PLANS; ENVIRONMENT PROGRAM; KNOWN ENVIRONMENTS; PLANNING AGENTS; SITUATION CALCULUS; TRANSITION SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 84899908432     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. J. Baier and S. Mcllraith. On planning with programs that sense. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06), pages 492-502, Lake District, UK. June 2006.
2. J. A. Baier, C. Fritz, and S. A. Mcllraith. Exploiting procedural domain control knowledge in state-of-the-art planners. In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), Providence, Rhode Island, USA, September 22-26 2007.
3. A. Bouguerra and L. Karlsson. PC-SHOP: A probabilistic-conditional hierarchical task planner. Intelligenza Artificiale, 2(4):44-50, 2005.
4. G. De Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
5. G. De Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. In H. J. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 86-102. Springer-Ver lag, 1999.
6. G. De Giacomo, S. Sardina, Y. Lespérance, and H. J. Levesque. On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations. In Working Notes of the 1st Int. Workshop on Programming Multiagent Systems (PROMAS-2003), Melbourne, July 2003.
7. A. Farinelli, A. Finzi, and T. Lukasiewicz. Team programming in Golog under partial observability. In M. M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pages 2097-2102, 2007.
8. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. J. C. Meyer. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2:357-401, 1999.
9. H. J. Levesque, R. Reiter, Y. Lespérance. F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(59-84), 1997.
10. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark, 1981.
11. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. V. Velde and J. W. Perram, editors, Agents Breaking Away (LNAI), volume 1038, pages 42-55. Springer-Verlag, 1996.
12. S. Sardina, G. De Giacomo, Y. Lespérance, and H. Levesque. On the semantics of deliberation in IndiGolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299.
13. S. Sardina, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On the limits of planning over belief states under strict uncertainty. In P. Doherty, J. Mylopoulos, and C. A. Welty, editors, Principles of Knowledge Representation and Reasoning, Proc. of the 10th Int. Confi (KR2006), pages 463-471, Windemere, UK, June 2006. AAAI Press.
14. S. Sardina, L. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of the 5th Int. Joint Conf, on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 1001-1008, Hakodate. Japan, May 2006. ACM Press.
15. S. Sardina and L. Padgham. Goals in the context of BDI plan failure and planning. In Proc. of the 6th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS'07), pages 16-24, Honolulu, HI, May 2007. Research Publishing Services.
16. S. Sardina and S. Vassos. The Wumpus World in IndiGolog: A preliminary report. In Working Notes of the 6th Workshop on Nonmonotonic Reasoning, Action, and Change (at IJCAI-05), Edinburgh, 2005.