On the Implementation of Global Abduction

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Abstract

    Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic way when changes in the world are observed. A distinct feature of Global Abduction is that in case the agent needs to give up one plan, it may start a new one, or continue a suspended plan, while its beliefs learned about the world in the failed attempts persist. This paper describes an implementation of GA in the high-level language of Constraint Handling Rules (CHR). It appears to be a first attempt to a full implementation of GA, which also confirms CHR as a powerful meta-programming language for advanced reasoning. The construction gives rise to discussing important issues of the semantics and pragmatics of Global Abduction, leading to proposal for a specific procedural semantics and architecture that seem well-suited for real-time application.
    OriginalsprogEngelsk
    TitelComputational logic in Multi-Agent Systems : 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers
    RedaktørerKatsumi Inoue, Ken Satoh, Francesca Toni
    Antal sider16
    Vol/bind4371
    ForlagKluwer Academic Publishers
    Publikationsdato2007
    Sider226-245
    DOI
    StatusUdgivet - 2007
    BegivenhedSeventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII) - Hakodate, Japan
    Varighed: 8 maj 20069 maj 2006
    Konferencens nummer: 7

    Konference

    KonferenceSeventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)
    Nummer7
    LandJapan
    ByHakodate
    Periode08/05/200609/05/2006
    NavnLecture Notes in Computer Science
    Vol/bind4371
    ISSN0302-9743

    Citer dette

    Christiansen, H. (2007). On the Implementation of Global Abduction. I K. Inoue, K. Satoh, & F. Toni (red.), Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers (Bind 4371, s. 226-245). Kluwer Academic Publishers. Lecture Notes in Computer Science, Bind. 4371 https://doi.org/10.1007/978-3-540-69619-3_13