Article

Hierarchical planning in BDI agent programming languages: a formal approach

Authors:

Sebastian Sardina,

Lavindra de Silva, and

Lin PadghamAuthors Info & Claims

AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

May 2006

Pages 1001 - 1008

https://doi.org/10.1145/1160633.1160813

Published: 08 May 2006 Publication History

Abstract

This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of the most widely used approaches to implementing intelligent behaviour in complex dynamic domains, in addition to which they have a strong theoretical background. However, these systems either do not include any built-in capacity for "lookahead" type of planning or they do it only at the implementation level without any precise defined semantics. In some situations, the ability to plan ahead is clearly desirable or even mandatory for ensuring success. Also, a precise definition of how planning can be integrated into a BDI system is highly desirable. By building on the underlying similarities between BDI systems and Hierarchical Task Network (HTN) planners, we present a formal semantics for a BDI agent programming language which cleanly incorporates HTN-style planning as a built-in feature. We argue that the resulting integrated agent programming language combines the advantages of both BDI agent systems and hierarchical offline planners.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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 Proc. of European Conference on Planning, pages 278--293, 1999.

Digital Library

[11]

K. Erol, J. Hendler, and D. S. Nau. HTN Planning: Complexity and Expressivity. In Proc. of AAAI-94, pages 1123--1228, 1994.

Digital Library

[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.

Digital Library

[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.

Digital Library

[14]

C. A. Knoblock. Planning, Executing, Sensing, and Replanning for Information Gathering. In Proc. of IJCAI-95, pages 1686--1693, 1995.

Digital Library

[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.

Digital Library

[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 IJCAI-01, pages 425--430, 2001.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Cited By

Xu MRivoalen TArchibald BSevegnani M(2023)CAN-verify: A Verification Tool For BDI AgentsiFM 202310.1007/978-3-031-47705-8_19(364-373)Online publication date: 6-Nov-2023
https://doi.org/10.1007/978-3-031-47705-8_19
Roos N(2022)Extending dynamic logic with refinements of abstract actionsJournal of Logic and Computation10.1093/logcom/exac003Online publication date: 21-Feb-2022
https://doi.org/10.1093/logcom/exac003
Yao YAlechina NLogan BThangarajah JDignum FLomuscio AEndriss UNowé A(2021)Intention Progression using Quantitative Summary InformationProceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3463952.3464115(1416-1424)Online publication date: 3-May-2021
https://dl.acm.org/doi/10.5555/3463952.3464115
Show More Cited By

Index Terms

Hierarchical planning in BDI agent programming languages: a formal approach
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents

Recommendations

A BDI agent programming language with failure handling, declarative goals, and planning

Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief-Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to ...
Read More
BDI Agent Reasoning with Guidance from HTN Recipes
AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems

Belief-Desire-Intention (BDI) agent systems and Hierarchical Task Network (HTN) planning systems are two popular approaches to acting and planning, both of which are based on hierarchical and context-based expansion of subgoals. Over the past three ...
Read More
Planning with time limits in BDI agent programming languages
CATS '07: Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65

This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the most popular architectures for developing agents for complex and dynamic ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

May 2006

1631 pages

ISBN:1595933034

DOI:10.1145/1160633

General Chairs:
Hideyuki Nakashima
Future University - Hakodate, Japan
,
Michael Wellman
University of Michigan
,
Program Chairs:
Gerhard Weiss
Technical University Munich, Germany
,
Peter Stone
The University of Texas at Austin

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

IFMAS: The International Foundation for Multiagent Systems
SIGAI: ACM Special Interest Group on Artificial Intelligence
ATAL: The International Workshop on Agent Theories, Architectures, and Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS06

Sponsor:

IFMAS
SIGAI
ATAL

AAMAS06: AAMAS '06 - 5th International Joint Conference on Autonomous Agents and Multi-agent Systems 2006

May 8 - 12, 2006

Japan, Hakodate

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

89
Total Citations
View Citations
952
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)4

Other Metrics

View Author Metrics

Citations

Cited By

Xu MRivoalen TArchibald BSevegnani M(2023)CAN-verify: A Verification Tool For BDI AgentsiFM 202310.1007/978-3-031-47705-8_19(364-373)Online publication date: 6-Nov-2023
https://doi.org/10.1007/978-3-031-47705-8_19
Roos N(2022)Extending dynamic logic with refinements of abstract actionsJournal of Logic and Computation10.1093/logcom/exac003Online publication date: 21-Feb-2022
https://doi.org/10.1093/logcom/exac003
Yao YAlechina NLogan BThangarajah JDignum FLomuscio AEndriss UNowé A(2021)Intention Progression using Quantitative Summary InformationProceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3463952.3464115(1416-1424)Online publication date: 3-May-2021
https://dl.acm.org/doi/10.5555/3463952.3464115
Archibald BCalder MSevegnani MXu M(2021)Modelling and Verifying BDI Agents with BigraphsScience of Computer Programming10.1016/j.scico.2021.102760(102760)Online publication date: Dec-2021
https://doi.org/10.1016/j.scico.2021.102760
Patra SMason JGhallab MNau DTraverso P(2021)Deliberative Acting, Planning and Learning with Hierarchical Operational ModelsArtificial Intelligence10.1016/j.artint.2021.103523(103523)Online publication date: May-2021
https://doi.org/10.1016/j.artint.2021.103523
Dann MThangarajah JYao YLogan BEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Intention-Aware Multiagent SchedulingProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398799(285-293)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398799
Mercuur RDignum VJonker C(2020)Integrating Social Practice Theory in Agent-Based Models: A Review of Theories and AgentsIEEE Transactions on Computational Social Systems10.1109/TCSS.2020.30079307:5(1131-1145)Online publication date: Oct-2020
https://doi.org/10.1109/TCSS.2020.3007930
Bordini REl Fallah Seghrouchni AHindriks KLogan BRicci A(2020)Agent programming in the cognitive eraAutonomous Agents and Multi-Agent Systems10.1007/s10458-020-09453-y34:2Online publication date: 12-May-2020
https://doi.org/10.1007/s10458-020-09453-y
Barkan MKaminka GElkind EVeloso MAgmon NTaylor M(2019)Towards Predictive Execution Monitoring in BDI RecipesProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331926(1808-1810)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331926
Damiano RLombardo VPizzo A(2019)The ontology of dramaApplied Ontology10.3233/AO-190204(1-40)Online publication date: 1-Feb-2019
https://doi.org/10.3233/AO-190204
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents