Skip to main content

Research Repository

Advanced Search

Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L)

Bordini, Rafael H.; Moreira, Alvaro F.

Authors

Rafael H. Bordini

Alvaro F. Moreira



Abstract

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the grounds for the proofs, we first introduce a rigorous way in which to define the informational, motivational, and deliberative modalities of BDI logics for AgentSpeak(L) agents, according to its structural operational semantics that we introduced in a recent paper. This computationally grounded semantics for the BDI modalities forms the basis of a framework that can be used to further investigate BDI properties of AgentSpeak(L) agents, and contributes towards establishing firm theoretical grounds for a BDI approach to agent-oriented programming.

Citation

Bordini, R. H., & Moreira, A. F. (2004). Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 42(1-3), 197-226. https://doi.org/10.1023/b%3Aamai.0000034527.45635.e5

Journal Article Type Article
Publication Date 2004-09
Deposit Date Apr 23, 2008
Journal Annals of Mathematics and Artificial Intelligence
Print ISSN 1012-2443
Electronic ISSN 1573-7470
Publisher Springer
Peer Reviewed Peer Reviewed
Volume 42
Issue 1-3
Pages 197-226
DOI https://doi.org/10.1023/b%3Aamai.0000034527.45635.e5
Keywords Distributed artificial intelligence, BDI logics, Agent-oriented programming, Structural operational semantics, Asymmetry thesis principles.
Publisher URL http://www.springerlink.com/openurl.asp?genre=article&eissn=1573-7470&volume=42&issue=1&spage=197

You might also like



Downloadable Citations