Dennis, Louise A ORCID: 0000-0003-1426-1896, Farwer, Berndt, Bordini, Rafael H, Fisher, Michael and Wooldridge, Michael
(2008)
A common semantic basis for BDI languages.
In: Programming Multi-Agent Systems, Honolulu, USA.
Text
promas07.pdf - Author Accepted Manuscript Download (162kB) |
Abstract
We describe the design of an intermediate language (AIL) for BDI-style programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages. © 2008 Springer-Verlag Berlin Heidelberg.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Additional Information: | ## TULIP Type: Conference Proceedings (contribution) ## |
Uncontrolled Keywords: | programming languages, BDI, AIL, Agent Infrastructure Layer, multi-agent systems, semantics, model checking |
Subjects: | ?? QA75 ?? |
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 21 Sep 2011 16:07 |
Last Modified: | 16 Dec 2022 04:36 |
DOI: | 10.1007/978-3-540-79043-3_8 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3573 |