Modelling Internal Dynamic Behaviour of BDI Agents

A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE.

[1]  S. Brison.  The Intentional Stance , 1989 .

[2]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[3]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[4]  Jan Treur,et al.  Constructive Default Logic and the Control of defeasible reasoning , 1992, ECAI.

[5]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[6]  Y. Shoham,et al.  Logics of Mental Attitudes in Ai a Very Preliminary Survey , 1994 .

[7]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

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

[9]  Nicholas R. Jennings,et al.  Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions , 1995, Artif. Intell..

[10]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[11]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[12]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[13]  Catholijn M. Jonker,et al.  Formalization of a Cooperation Model Based on Joint Intentions , 1996, ATAL.

[14]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

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

[16]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[17]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[18]  Jan Treur,et al.  Compositional modelling of reflective agents , 1999, Int. J. Hum. Comput. Stud..