The Belief-Desire-Intention Model of Agency

Within the ATAL community, the belief-desire-intention (BDI) model has come to be possibly the best known and best studied model of practical reasoning agents. There are several reasons for its success, but perhaps the most compelling are that the BDI model combines a respectable philosophical model of human practical reasoning, (originally developed by Michael Bratman [1]), a number of implementations (in the IRMA architecture [2] and the various PRS-like systems currently available [7]), several successful applications (including the now-famous fault diagnosis system for the space shuttle, as well as factory process control systems and business process management [8]), and finally, an elegant abstract logical semantics, which have been taken up and elaborated upon widely within the agent research community [14, 16].

[1]  H. Simon,et al.  A Behavioral Model of Rational Choice , 1955 .

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

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

[4]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[5]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[6]  Michael P. Georgeff,et al.  Commitment and Effectiveness of Situated Agents , 1991, IJCAI.

[7]  Sarit Kraus,et al.  Collaborative Plans for Group Activities , 1993, IJCAI.

[8]  Devika Subramanian,et al.  Provably Bounded Optimal Agents , 1993, IJCAI.

[9]  Innes A. Ferguson.  Integrated Control and Coordinated Behaviour: A Case for Agent Models , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Eithan Ephrati,et al.  Deriving Multi-Agent Coordination through Filtering Strategies , 1995, IJCAI.

[11]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .

[12]  Anand S. Rao,et al.  A profile of the Australian Artificial Intelligence Institute [World Impact] , 1996, IEEE Expert.

[13]  Qiang Yang,et al.  Intelligent planning - a decomposition and abstraction based approach , 1997, Artificial intelligence.

[14]  M. Carrier,et al.  Mindscapes : philosophy, science, and the mind , 1997 .

[15]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[16]  M. Pollack,et al.  Evaluating options in a context , 1998 .

[17]  Klaus Schild.  On the Relationship Between BDI Logics and Standard Logics of Concurrency , 1998, ATAL.