%0 Journal Article %1 Bordini:2004:amai %A Bordini, Rafael H. %A Moreira, Álvaro F. %D 2004 %J Annals of Mathematics and Artificial Intelligence %K imported thesis %N 1-3 %P 197--226 %R 10.1023/B:AMAI.0000034527.45635.e5 %T Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L) %V 42 %X 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.

@article{Bordini:2004:amai, 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.}, added-at = {2017-03-16T11:50:55.000+0100}, author = {Bordini, Rafael H. and Moreira, \'Alvaro F.}, biburl = {https://www.bibsonomy.org/bibtex/2d73fa9f366e78e0cdd3f951c008eca5b/krevelen}, doi = {10.1023/B:AMAI.0000034527.45635.e5}, interhash = {17f8dc0649df09de56b8fe912452c496}, intrahash = {d73fa9f366e78e0cdd3f951c008eca5b}, journal = {Annals of Mathematics and Artificial Intelligence}, keywords = {imported thesis}, note = {Special Issue on Computational Logic in Multi-Agent Systems}, number = {1-3}, owner = {Rick}, pages = {197--226}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {Proving {BDI} properties of agent-oriented programming languages: {T}he asymmetry thesis principles in {AgentSpeak(L)}}, volume = 42, year = 2004 }