research-article

Goals in the context of BDI plan failure and planning

Authors:

Sebastian Sardina,

Lin PadghamAuthors Info & Claims

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Article No.: 7, Pages 1 - 8

https://doi.org/10.1145/1329125.1329134

Published: 14 May 2007 Publication History

Abstract

We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure handling present in many BDI systems and a novel account of hierarchical lookahead planning. The work builds incrementally on two existing languages and accommodates three type of goals: classical BDI-style event goals, declarative goals, and planning goals. We mainly focus on the dynamics of these type of goals and, in particular, on a kind of commitment scheme that brings the new language closer to the solid existing work in agent theory. To that end, we develop a semantics that recognises the usual hierarchical structure of active goals as well as their declarative aspects. In contrast with previous languages, the new language prevents an agent from blindly persisting with a (blocked) subsidiary goal when an alternative strategy for achieving a higher-level motivating goal exists. In addition, the new semantics ensures watchfulness by the agent to ensure that goals that succeed or are deemed impossible are immediately dropped, thus conforming to the requirements of basic rational commitment strategy. Finally, a mechanism for the proactive adoption of new goals, other than the mere reaction to events, and a formal account of interaction with the external environment are provided. We believe that the new language is an important step towards turning practical BDI programming languages more compatible with the established results in the area of agent theory.

References

[1]

R. H. Bordini and J. F. Hübner. BDI agent programming in AgentSpeak using Jason. In Proc. of CLIMA, pages 143--164, 2006.

Digital Library

[2]

R. H. Bordini and Á. F. Moreira. Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence, 42(1--3):197--226, 2004.

Digital Library

[3]

M. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.

[4]

J. Broersen, M. Dastani, J. Hulstijn, Z. Huang, and L. der van Torre. The BOID architecture: Conflicts between beliefs, obligations, intentions and desires. In Proc. of AGENTS, pages 9--16, 2001.

Digital Library

[5]

P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents: Components for intelligent agents in Java. AgentLink News Letter, Jan 1999. AOS Pty. Ltd.

[6]

B. J. Clement and E. H. Durfee. Theory for coordinating concurrent hierarchical planning agents using summary information. In Proc. of AAAI, pages 495--502, 1999.

Digital Library

[7]

P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213--261, 1990.

Digital Library

[8]

M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer. Goal types in agent programming. In Proc. of AAMAS, pages 1285--1287, 2006.

Digital Library

[9]

D. Dennett. The Intentional Stance. MIT Press, 1987.

[10]

J. Dix, H. Muñoz-Avila, D. S. Nau, and L. Zhang. IMPACTing SHOP: Putting an ai planner into a multi-agent environment. Annals of Mathematics and Artificial Intelligence, 37(4):381--407, 2003.

Digital Library

[11]

J. R. Firby. An investigation into reactive planning in complex domains. In Proc. of AAAI, pages 202--206, 1987.

[12]

M. Georgeff and F. Ingrand. Decision Making in an Embedded Reasoning System. In Proc. of IJCAI, pages 972--978, 1989.

[13]

M. Georgeff and A. Rao. The semantics of intention maintenance for rational agents. In Proc. of IJCAI, pages 704--710, 1995.

Digital Library

[14]

J. Thangarajah, D. Morley, N. Yorke-Smith, and J. Harland. Aborting tasks and plans in BDI agents. In Proc. of AAMAS, 2007. To appear.

Digital Library

[15]

K. Hindriks, F. de Boer, W. van der Hoek, and J. Meyer. Agent programming with declarative goals. In Proc. of ATAL, 2001.

Digital Library

[16]

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

[17]

M. J. Huber. JAM: a BDI-theoretic mobile agent architecture. In Proc. of AGENTS, pages 236--243, New York, NY, USA, 1999.

Digital Library

[18]

J. Hubner, R. Bordini, and M. Wooldridge. Programming declarative goals using plan patterns. In Proc. of DALT, pages 65--81, 2006.

Digital Library

[19]

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

[20]

Á. Moreira, R. Vieira, and R. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Proc. of DALT, 2003.

[21]

T. J. Norman and D. Long. Goal creation in motivated agents. In Proc. of ATAL, pages 277--290, 1994.

Digital Library

[22]

L. Padgham and P. Lambrix. Formalisations of capabilities for bdi-agents. Autonomous Agents and Multi-Agent Systems, 10(3):249--271, May 2005.

Digital Library

[23]

G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Dept. of Computer Science, Aarhus University, Denmark, 1981.

[24]

A. Rao and M. Georgeff. Modeling rational agents within a BDI-architecture. In Proc. of KR, pages 473--484, 1991.

[25]

A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away, volume 1038 of LNAI, pages 42--55. 1996.

Digital Library

[26]

A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In Proc. of KR, pages 438--449, 1992.

[27]

S. Sardina, L. P. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of AAMAS, pages 1001--1008, 2006.

Digital Library

[28]

S. Sardina and S. Shapiro. Rational action in agent programs with prioritized goals. In Proc. of AAMAS, pages 417--424, 2003.

Digital Library

[29]

S. Shapiro, Y. Lespérance, and H. J. Levesque. Goal change. In Proc. of IJCAI, pages 582--588, 2005.

Digital Library

[30]

J. Thangarajah, L. Padgham, and M. Winikoff. Detecting & Exploiting Positive Goal Interaction in Intelligent Agents. In Proc. of AAMAS, pages 401--408, 2003.

Digital Library

[31]

B. van Riemsdijk, M. Dastani, F. Dignum, and J.-J. C. Meyer. Dynamics of declarative goals in agent programming. In Proc. of DALT, LNCS, pages 1--18. 2005.

Digital Library

[32]

M. B. van Riemsdijk, M. Dastani, and J.-J. C. Meyer. Semantics of Declarative Goals in Agent Programming. In Proc. of AAMAS, 2005.

Digital Library

[33]

M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative & Procedural Goals in Intelligent Agent Systems. In Proc. of KR, pages 470--481, 2002.

Cited By

Archibald BCalder MSevegnani MXu M(2021)Probabilistic BDI Agents: Actions, Plans, and IntentionsSoftware Engineering and Formal Methods10.1007/978-3-030-92124-8_15(262-281)Online publication date: 3-Dec-2021
https://doi.org/10.1007/978-3-030-92124-8_15
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
Xu MBauters KMcAreavey KLiu W(2018)A Formal Approach to Embedding First-Principles Planning in BDI Agent SystemsScalable Uncertainty Management10.1007/978-3-030-00461-3_23(333-347)Online publication date: 11-Sep-2018
https://doi.org/10.1007/978-3-030-00461-3_23
Show More Cited By

Index Terms

Goals in the context of BDI plan failure and planning
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence

Recommendations

Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

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 ...
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 ...
Aborting, suspending, and resuming goals and plans in BDI agents

Intelligent agents designed to work in complex, dynamic environments such as e-commerce must respond robustly and flexibly to environmental and circumstantial changes, including the actions of other agents. An agent must have the capability to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

May 2007

1585 pages

ISBN:9788190426275

DOI:10.1145/1329125

Conference Chairs:
Edmund Durfee
University of Michigan
,
Makoto Yokoo
Kyushu University
,
Program Chairs:
Michael Huhns
University of South Carolina
,
Onn Shehory
IBM Haifa Research Lab, Israel

Copyright © 2007 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

IFAAMAS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Australian Research Council

Conference

AAMAS07

Sponsor:

AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems

May 14 - 18, 2007

Hawaii, Honolulu

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
393
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Archibald BCalder MSevegnani MXu M(2021)Probabilistic BDI Agents: Actions, Plans, and IntentionsSoftware Engineering and Formal Methods10.1007/978-3-030-92124-8_15(262-281)Online publication date: 3-Dec-2021
https://doi.org/10.1007/978-3-030-92124-8_15
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
Xu MBauters KMcAreavey KLiu W(2018)A Formal Approach to Embedding First-Principles Planning in BDI Agent SystemsScalable Uncertainty Management10.1007/978-3-030-00461-3_23(333-347)Online publication date: 11-Sep-2018
https://doi.org/10.1007/978-3-030-00461-3_23
Boukharrou RIlié JSaidouni D(2017)Time and Space Reasoning for Ambient SystemsInternational Journal of Ambient Computing and Intelligence10.5555/3146610.31466138:3(38-57)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.5555/3146610.3146613
Harland JMorley DThangarajah JYorke-Smith N(2017)Aborting, suspending, and resuming goals and plans in BDI agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-015-9322-431:2(288-331)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s10458-015-9322-4
Chen M(2015)A BDI Agents Programming Language Based Fuzzy BeliefsProceedings of the 2015 7th International Conference on Intelligent Human-Machine Systems and Cybernetics - Volume 0110.1109/IHMSC.2015.170(334-336)Online publication date: 26-Aug-2015
https://dl.acm.org/doi/10.1109/IHMSC.2015.170
Boukharrou RChaouche AEl Fallah Seghrouchni AIlié JSaïdouni D(2015)Dealing with temporal failure in ambient systems: a dynamic revision of plansJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-015-0266-y6:3(325-336)Online publication date: 25-Mar-2015
https://doi.org/10.1007/s12652-015-0266-y
Logan B(2015)A Future for Agent ProgrammingRevised, Selected, and Invited Papers of the Third International Workshop on Engineering Multi-Agent Systems - Volume 931810.1007/978-3-319-26184-3_1(3-17)Online publication date: 5-May-2015
https://dl.acm.org/doi/10.1007/978-3-319-26184-3_1
Duff SThangarajah JHarland J(2014)MAINTENANCE GOALS IN INTELLIGENT AGENTSComputational Intelligence10.1111/coin.1200030:1(71-114)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1111/coin.12000
Harland JMorley DThangarajah JYorke-Smith N(2014)An operational semantics for the goal life-cycle in BDI agentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-013-9238-928:4(682-719)Online publication date: 1-Jul-2014
https://dl.acm.org/doi/10.1007/s10458-013-9238-9
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