A common semantic basis for BDI languages

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

*Awdur cyfatebol y gwaith hwn

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i gynhadleddadolygiad gan gymheiriaid

    Crynodeb

    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.

    Iaith wreiddiolSaesneg
    TeitlProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
    GolygyddionM Dastani, AEF Seghrouchni, A Ricci, M Winikoff
    CyhoeddwrSpringer
    Tudalennau124-139
    Nifer y tudalennau16
    ISBN (Argraffiad)978-3-540-79042-6
    StatwsCyhoeddwyd - 15 Mai 2007
    Digwyddiad5th International Workshop on Programming Multi-Agent Systems - Honolulu
    Hyd: 15 May 2007 → …

    Cyfres gyhoeddiadau

    EnwLecture Notes in Artificial Intelligence
    CyhoeddwrSPRINGER-VERLAG BERLIN
    Cyfrol4908
    ISSN (Argraffiad)0302-9743

    Cynhadledd

    Cynhadledd5th International Workshop on Programming Multi-Agent Systems
    DinasHonolulu
    Cyfnod15/05/07 → …

    Ôl bys

    Gweld gwybodaeth am bynciau ymchwil 'A common semantic basis for BDI languages'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

    Dyfynnu hyn