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.
|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:||http://dx.doi.org/10.1023/B:AMAI.0000034527.45635.e5|
|Record Created:||23 Apr 2008|
|Last Modified:||06 Jan 2010 16:31|
|Social bookmarking:||Export: EndNote, Zotero | BibTex|
|Usage statistics||Look up in GoogleScholar | Find in a UK Library|