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


Anand S. Rao

Walter Van de Velde, John W. Perram (eds.)
Agents Breaking Away, pages 42–55
Lecture Notes in Computer Science 1038
Springer
January 1996

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.

Tags: AgentSpeak BDI

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Anand S. Rao

— editors

Walter Van de Velde, John W. Perram

— status

published

— sort

paper in proceedings

— publication date

January 1996

— volume

Agents Breaking Away

— series

Lecture Notes in Computer Science

— volume

1038

— pages

42–55

URLs

original page

identifiers

— 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

notes

— note

7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Eindhoven, The Netherlands, 22-25 January 1996, Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY