Decision model for BDI-based intelligent agents

The very challenging issue for intelligent agents is “do what they should do”. The BDI architecture is presented to solve this challenge. The main difficult for this architecture is the formalizing problem. In this paper, we discuss the procedure descriptive framework, which presents a method for formalizing BDI architecture. We a present decision model for intelligent agents in this procedure descriptive framework. This research shows how an agent to generate beliefs and make decisions by using its current beliefs.

[1]  Joseph Y. Halpern,et al.  Modeling Belief in Dynamic Systems, Part I: Foundations , 1997, Artif. Intell..

[2]  Anand S. Rao,et al.  Deliberation and its Role in the Formation of Intentions , 1991, UAI.

[3]  Ronen I. Brafman,et al.  Modeling Agents as Qualitative Decision Makers , 1997, Artif. Intell..

[4]  Yuefeng Li,et al.  Making decisions for intelligent agents in procedure descriptive framework , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[5]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[6]  Philippe Smets,et al.  The Transferable Belief Model , 1994, Artif. Intell..

[7]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[8]  Richmond H. Thomason.  Towards a Logical Theory of Practical Reasoning , 1993 .

[9]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[10]  David M. Kreps.  Notes On The Theory Of Choice , 1988 .

[11]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[12]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..