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.
Proc. of Workshop on Integration of Abduction and Induction in Ai: Position Paper, 2005
Main Research Area:
International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05), 2005