Hierarchical planning in BDI agent programming languages: A formal approach

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 1001-1008

  Sardina, Sebastian ^a   De Silva, Lavindra ^a   Padgham, Lin ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

BDI agent oriented programming; HTN planning

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

BDI AGENT ORIENTED PROGRAMMING; BDI AGENT PROGRAMMING LANGUAGES; BELIEF DESIRE INTENTION (BDI); HTN PLANNING;

AUTONOMOUS AGENTS;

EID: 34247261593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160813     Document Type: Conference Paper

References (24)

1. J. Ambros-Ingerson. IPEM: Integrated Planning, Execution, and Monitoring. PhD thesis, Dept. of Computer Science, University of Essex, U.K., 1987.
2. M. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
3. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents - Components for Intelligent Agents in Java, AgentLink News Letter, Agent Oriented Software Pty. Ltd., Melbourne, January 1999.
4. B. J. Clement and E. H. Durfee. Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. In Proc. of AAAI-99, pages 495-502, 1999.
5. G. De Giacomo, Y. Lespérance, and H. Levesque. ConGolog, A Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence, 121(1-2): 109-169, 2000.
6. G. De Giacomo and H. Levesque. An Incremental Interpreter for High-Level Programs with Sensing. In H. Levesque and F. Pirri, editors, Logical Foundation for Cognitive Agents: contr. in honor of Ray Reiter, pages 86-102. Springer, 1999.
7. L. P. de Silva and L. Padgham. A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning. In Proc. of Australian Joint Conference on AI, pages 1167-1173, 2004.
8. L. P. de Silva and L. Padgham. Planning on Demand in BDI Systems. In Proc. of ICAPS-05 (Poster), 2005.
9. D. Dennett. The Intentional Stance. MIT Press, 1987.
10. O. Despouys and F. F. Ingrand. Propice-Plan: Toward a Unified Framework for Planning and Execution. In P roc. of European Conference on Planning, pages 278-293, 1999.
11. K. Erol, J. Hendler, and D. S. Nau. HTN Planning: Complexity and Expressivity. In Proc. of AAAI-94, pages 1123-1228, 1994.
12. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
13. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An Architecture for Real-Time Reasoning and System Control. IEEE Expert: Intelligent Systems and Their Applications, 7(6):34-44, 1992.
14. C. A. Knoblock. Planning, Executing, Sensing, and Replanning for Information Gathering. In Proc. of IJCAI-95, pages 1686-1693, 1995.
15. D. S. Nau, Y. Cao, A. Lotem, and H. Muñoz-Avila. SHOP: Simple Hierarchical Ordered Planner. In Proc. of IJCAI-99, pages 968-973, 1999.
16. D. S. Nau, H. Muñoz-Avila, Y. Cao, A. Lotem, and S. Mitchell. Total-Order Planning with Partially Ordered Subtasks. In Proc. of IJCAl-01, pages 425-430, 2001.
17. P. Paolucci, O. Shehory, K. P. Sycara, K. P. Kalp, and A. Pannu. A Planning Component for RETSINA Agents. In Proc. of ATAL-99, pages 147-161, 1999.
18. G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Dept. of Computer Science Department, Aarhus University, Denmark, 1981.
19. 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 of LNAI, pages 42-55. Springer-Verlag, 1996.
20. J. Thangarajah, L. Padgham, and M. Winikoff. Detecting & Exploiting Positive Goal Interaction in Intelligent Agents. In Proc. of AAMAS-03, pages 401-408, 2003.
21. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Semantics of Declarative Goals in Agent Programming. In Proc. of AAMAS-05, pages 133-140, 2005.
22. D. E. Wilkins and K. L. Myers. A Common Knowledge Representation for Plan Generation and Reactive Execution. Journal. of Logic and Computation, 5(6):731-761, 1995.
23. D. E. Wilkins and K. L. Myers. A Multiagent Planning Architecture. In Proc. of AIPS-98, pages 154-162, 1998.
24. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative & Procedural Goals in Intelligent Agent Systems. In Proc. of KR-02, pages 470-481, 2002.