Experiences and directions for Abduction and Induction using Constraint Handling Rules

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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.
    Original languageEnglish
    Title of host publicationProc. of Workshop on Integration of Abduction and Induction in AI : Position paper
    EditorsOliver Ray, Antonis Kakas, Peter Flach
    PublisherDepartment of Computing, Imperial College London
    Publication date2005
    Publication statusPublished - 2005
    EventInternational Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05) - Edinburgh, United Kingdom
    Duration: 29 Jul 200529 Jul 2005
    Conference number: 4

    Conference

    ConferenceInternational Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05)
    Number4
    Country/TerritoryUnited Kingdom
    CityEdinburgh
    Period29/07/200529/07/2005

    Cite this