A common semantic basis for BDI languages



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.

[img] 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