BDI Agents: From Theory to Practice

The study of computational agents capable of rational behaviour has received a great deal of attention in recent years. Theoretical formalizations of such agents and their implementations have proceeded in parallel with little or no connection between them. Tkis paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent. The primary aim of this paper is to integrate (a) the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective; (b) the implementations of BDI agents from an ideal theoretical perspective and a more practical perspective; and (c) the building of large-scale applications based on BDI agents. In particular, an air-trafflc management application will be described from both a theoretical and an implementation perspective.

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

[2]  Anand S. Rao,et al.  The Semantics of Intention Maintenance for Rational Agents , 1995, IJCAI.

[3]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[4]  Anand S. Rao,et al.  A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.

[5]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[6]  Y. Shoham.  Agent-Oriented Programming , 1992, Artif. Intell..

[7]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[8]  Kurt Sundermeyer,et al.  Cooperative problem-solving guided by intentions and perception (abstract) , 1992, SIGO.

[9]  Gil Tidhar,et al.  Planned Team Activity , 1992, MAAMAW.

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

[11]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

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

[13]  Munindar P. Singh,et al.  Towards a Formal Theory of Intentions , 1991, JELIA.

[14]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[15]  J. Doyle.  RATIONALITY AND ITS ROLES IN REASONING , 1990, Comput. Intell..

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

[17]  Philip R. Cohen,et al.  Intention = Choice + Commitment , 1987, AAAI.

[18]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[19]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[20]  N. Jennings.  On Being Responsible , 1992 .

[21]  Andrew Lucas,et al.  The Oasis Air Traac Management System , 1992 .

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

[23]  Grattan StreetCarlton,et al.  Commitment and Eeectiveness of Situated Agents , 1991 .

[24]  Jan van Leeuwen.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[25]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .