Experiences and directions for Abduction and Induction using Constraint Handling Rules

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

    Abstract

    Techniques for doing abduction in a combination of Prolog and Constraint Handling Rules (CHR) are reviewed, and the possible extension to combine with induction is considered. While the indicated implementation for abduction is very efficient, the ideas for induction are at a much more experimental stage. However, experimentation within CHR indicates a logical semantics for the induction mechanisms under consideration and their offset in abductive logic programming.
    OriginalsprogEngelsk
    TitelProc. of Workshop on Integration of Abduction and Induction in AI : Position paper
    RedaktørerOliver Ray, Antonis Kakas, Peter Flach
    ForlagDepartment of Computing, Imperial College London
    Publikationsdato2005
    StatusUdgivet - 2005
    BegivenhedInternational Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05) - Edinburgh, Storbritannien
    Varighed: 29 jul. 200529 jul. 2005
    Konferencens nummer: 4

    Konference

    KonferenceInternational Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05)
    Nummer4
    LandStorbritannien
    ByEdinburgh
    Periode29/07/200529/07/2005

    Bibliografisk note

    Electronic proceedings
    Workshop site: http://www.doc.ic.ac.uk/~or/AIAI05/

    Citer dette

    Christiansen, H. (2005). Experiences and directions for Abduction and Induction using Constraint Handling Rules. I O. Ray, A. Kakas, & P. Flach (red.), Proc. of Workshop on Integration of Abduction and Induction in AI: Position paper Department of Computing, Imperial College London. http://akira.ruc.dk/~henning/publications/AIAI2005HenningREV.pdf