Goal Representation for BDI Agent Systems

Agent-oriented system development aims to simplify the construction of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed of autonomous interacting actors. One main advantage of the agent metaphor is that an agent can be described similar to the characteristics of the human mind consisting of several interrelated concepts which constitute the internal agent structure. General consensus exists that the Belief-Desire-Intention (BDI) model is well suited for describing an agent's mental state. The desires (goals) of an agent represent its motivational stance and are the main source for the agent's actions. Therefore, the representation and handling of goals play a central role in goal-oriented requirements analysis and modelling techniques. Nevertheless, currently available BDI agent platforms mostly abstract from goals and do not represent them explicitly. This leads to a gap between design and implementation with respect to the available concepts. In this paper a generic representation of goal types, properties, and lifecycles is developed in consideration of existing goal-oriented requirements engineering and modelling techniques. The objective of this proposal is to bridge the gap between agent specification and implementation of goals and is backed by experiences gained from developing a generic agent framework.

[1]  W. W. Bledsoe,et al.  Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

[2]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[3]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[4]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[5]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[6]  R. Cummins,et al.  Philosophy and AI: Essays at the Interface , 1991 .

[7]  R. James Firby.  An Architecture for a Synthetic Vacuum Cleaner , 1991 .

[8]  Martha E. Pollack,et al.  The Uses of Plans , 1992, Artif. Intell..

[9]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[10]  Derek Long,et al.  Goal Creation in Motivated Agents , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[12]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[13]  Peter Norvig,et al.  A modern, agent-oriented approach to introductory artificial intelligence , 1995, SGAR.

[14]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[15]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[16]  Frank Dignum,et al.  Intentional Agents and Goal Formation , 1997, ATAL.

[17]  Michael Luck,et al.  Motivated Behaviour for Goal Adoption , 1998 .

[18]  Michael Luck,et al.  Motivated Behavior for Goal Adoption , 1998, DAI.

[19]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[20]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[21]  Paolo Busetta,et al.  Structuring BDI Agents in Functional Clusters , 1999, ATAL.

[22]  Nicholas R. Jennings,et al.  Intelligent Agents VI , 2000 .

[23]  Andrew Lucas,et al.  JACK Intelligent Agents – Summary of an Agent Infrastructure , 2001 .

[24]  A. van Lamsweerde.  Goal-oriented requirements engineering: a guided tour , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[25]  M. Winikoff,et al.  Declarative & Procedural Goals in Intelligent Agent Systems , 2002, KR.

[26]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[27]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[28]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[29]  Michael Winikoff,et al.  Linking Agent Concepts and Methodology with CAN , 2002 .

[30]  M. Somacher,et al.  Goal Delegation in Multiagent System , 2002 .

[31]  Fausto Giunchiglia,et al.  The tropos software development methodology: processes, models and diagrams , 2002, AAMAS '02.

[32]  Michael Winikoff,et al.  Detecting & exploiting positive goal interaction in intelligent agents , 2003, AAMAS '03.

[33]  Frank Dignum,et al.  Programming agent deliberation: an approach illustrated using the 3APL language , 2003, AAMAS '03.

[34]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[35]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[36]  Álvaro F. Moreira,et al.  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.

[37]  M. Winikoff,et al.  Detecting & Avoiding Interference Between Goals in Intelligent Agents , 2003, IJCAI.

[38]  Giovanni Rimassa,et al.  A FIPA Compliant Goal Delegation Protocol , 2003, Communication in Multiagent Systems.

[39]  Michael Wooldridge,et al.  Verifiable Multi-agent Programs , 2003, PROMAS.

[40]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[41]  Winfried Lamersdorf,et al.  Jadex: A Short Overview , 2004 .