1
Abstract:
This paper presents a structural operational semantics for AgentSpeak (L), a logic-based, agent-oriented programming language that is grounded on the BDI model for cognitive agents. This language was rst presented by Rao in 1996 in a paper where he dened loosely an interpreter for it, and also sketched its operational semantics. Further formalisation was given by d'Inverno and Luck using the Z formal speci cation language. A semantic description for AgentSpeak(L) following traditional approaches|which would allow further formal work on it, such as comparison with other languages as well as facilitating the proof of some of its properties|was still missing. This paper makes up for that missing formal semantics using a standard notation in the eld of programming languages, and points out to future directions of theoretical research contributing to the incipient paradigm of agent oriented programming languages.
Citations
| 147 | ConGolog, a concurrent programming language based on the situation calculus – Giacomo, Lespérance, et al. |
| 47 | Engineering agentspeak(l) a formal computational model – d’Inverno, Luck - 1998 |
| 19 | A Formal Embedding of AgentSpeak(L) in 3APL – Meyer - 1998 |
| 18 | Control structures of rule-based agent languages – Meyer - 1999 |
| 8 | AgentSpeak(XL): Ecient intention selection in BDI agents via decision-theoretic task scheduling – Bordini, Bazzan, et al. - 2002 |
