Experiences and directions for Abduction and Induction using Constraint Handling Rules

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

    Resumé

    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.
    Christiansen, Henning. / Experiences and directions for Abduction and Induction using Constraint Handling Rules. Proc. of Workshop on Integration of Abduction and Induction in AI: Position paper. red. / Oliver Ray ; Antonis Kakas ; Peter Flach. Department of Computing, Imperial College London, 2005.
    @inproceedings{66b756e06b6211dbb485000ea68e967b,
    title = "Experiences and directions for Abduction and Induction using Constraint Handling Rules",
    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.",
    author = "Henning Christiansen",
    note = "Electronic proceedings Workshop site: http://www.doc.ic.ac.uk/~or/AIAI05/",
    year = "2005",
    language = "English",
    editor = "Oliver Ray and Antonis Kakas and Peter Flach",
    booktitle = "Proc. of Workshop on Integration of Abduction and Induction in AI",
    publisher = "Department of Computing, Imperial College London",

    }

    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, International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05), Edinburgh, Storbritannien, 29/07/2005.

    Experiences and directions for Abduction and Induction using Constraint Handling Rules. / Christiansen, Henning.

    Proc. of Workshop on Integration of Abduction and Induction in AI: Position paper. red. / Oliver Ray; Antonis Kakas; Peter Flach. Department of Computing, Imperial College London, 2005.

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

    TY - GEN

    T1 - Experiences and directions for Abduction and Induction using Constraint Handling Rules

    AU - Christiansen, Henning

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

    PY - 2005

    Y1 - 2005

    N2 - 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.

    AB - 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.

    M3 - Article in proceedings

    BT - Proc. of Workshop on Integration of Abduction and Induction in AI

    A2 - Ray, Oliver

    A2 - Kakas, Antonis

    A2 - Flach, Peter

    PB - Department of Computing, Imperial College London

    ER -

    Christiansen H. Experiences and directions for Abduction and Induction using Constraint Handling Rules. I Ray O, Kakas A, Flach P, red., Proc. of Workshop on Integration of Abduction and Induction in AI: Position paper. Department of Computing, Imperial College London. 2005