AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language


Anand S. Rao

Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification 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 specification 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 satisfied by BDI agents.

Agents Breaking Away, Lecture Notes in Computer Science 1038, pp. 42-55, 22-25 January 1996.
Walter Van de Velde, John W. Perram (a cura di), Springer.
7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Eindhoven, The Netherlands, 22-25 January 1996, Proceedings

@incollection{rao-agentspeak96,
Author = {Rao, Anand S.},
Booktitle = {Agents Breaking Away},
Doi = {10.1007/BFb0031845},
Editor = {Van de Velde, Walter and Perram, John W.},
Isbn = {978-3-540-60852-3},
Isbn-10 = {3-540-60852-4},
Issn = {0302-9743},
Issn-Online = {1611-3349},
Note = {7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Eindhoven, The Netherlands, 22-25~} # jan # {~1996, Proceedings},
Pages = {42--55},
Publisher = {Springer},
Series = {LNCS},
Title = {{AgentSpeak(L)}: {BDI} Agents Speak Out in a Logical Computable Language},
Url = {http://www.springerlink.com/content/5x727q807435264u/},
Volume = 1038,
Year = 1996}
Tags: AgentSpeak BDI

Pubblicazione

— autori/autrici

Anand S. Rao

— a cura di

Walter Van de Velde, John W. Perram

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Agents Breaking Away

— collana

Lecture Notes in Computer Science 1038

— data di pubblicazione

22-25 January 1996

— pagine

42-55

— collana

Lecture Notes in Computer Science 1038

— data di pubblicazione

22-25 January 1996

URL & ID

pagina originale

— DOI

10.1007/BFb0031845

— print ISSN

0302-9743

— online ISSN

1611-3349

— print ISBN

978-3-540-60852-3

— ISBN–10

3-540-60852-4

BibTeX

— BibTeX ID
rao-agentspeak96
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY