A common semantic basis for BDI languages

Louise A. Dennis*, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


    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.

    Original languageEnglish
    Title of host publicationProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
    EditorsM Dastani, AEF Seghrouchni, A Ricci, M Winikoff
    Number of pages16
    ISBN (Print)978-3-540-79042-6
    Publication statusPublished - 15 May 2007
    Event5th International Workshop on Programming Multi-Agent Systems - Honolulu
    Duration: 15 May 2007 → …

    Publication series

    NameLecture Notes in Artificial Intelligence
    ISSN (Print)0302-9743


    Conference5th International Workshop on Programming Multi-Agent Systems
    Period15/05/07 → …


    Dive into the research topics of 'A common semantic basis for BDI languages'. Together they form a unique fingerprint.

    Cite this