Rafael H. Bordini
Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L)
Bordini, Rafael H.; Moreira, Alvaro F.
Authors
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. |
Public URL | https://durham-repository.worktribe.com/output/1564393 |
Publisher URL | http://www.springerlink.com/openurl.asp?genre=article&eissn=1573-7470&volume=42&issue=1&spage=197 |
You might also like
Verifying multi-agent programs by model checking
(2006)
Journal Article
Jason and the Golden Fleece of agent-oriented programming
(2005)
Book Chapter
State-space reduction techniques in agent verification
(2004)
Presentation / Conference Contribution
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search