AgentSpeak(L): BDI agents speak out in a logical computable language

Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical speciication perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or model-checking in these expressive speci-cation logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In this paper, we provide an alternative formalization of BDI agents by providing an operational and proof-theoretic semantics of a language AgentSpeak(L). This language can be viewed as an abstraction of one of the implemented BDI systems (i.e., PRS) and allows agent programs to be written and interpreted in a manner similar to that of horn-clause logic programs. We show how to perform derivations in this logic using a simple example. These derivations can then be used to prove the properties satissed by BDI agents.

[1]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

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

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

[4]  John-Jules Ch. Meyer,et al.  A Logic of Capabilities , 1994, LFCS.

[5]  Nicholas R. Jennings,et al.  Specification and Implementation of a Belief Desire-Joint_intention Architecture for Cooperative Problem Solving , 1993, Int. J. Cooperative Inf. Syst..

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

[7]  Anand S. Rao,et al.  Design of a Concurrent Agent-Oriented Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

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

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

[10]  Jörg P. Müller,et al.  Modelling Reactive Behaviour in Vertically Layered Agent Architectures , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11]  Nicholas R. Jennings,et al.  How Agents Do It in Stream Logic Programming , 1995, ICMAS.

[12]  Michael Wooldridge,et al.  A Decision Procedure for a Temporal Belief Logic , 1994, ICTL.

[13]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

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

[15]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

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

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

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

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

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