We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

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

Bordini, R. H. and 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). pp. 197-226.


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.

Item Type:Article
Keywords:Distributed artificial intelligence, BDI logics, Agent-oriented programming, Structural operational semantics, Asymmetry thesis principles.
Full text:Full text not available from this repository.
Publisher Web site:
Record Created:23 Apr 2008
Last Modified:06 Jan 2010 16:31

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Look up in GoogleScholar | Find in a UK Library