Experiences and directions for Abduction and Induction using Constraint Handling Rules

Henning Christiansen

Experiences and directions for Abduction and Induction using Constraint Handling Rules

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer 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.

Originalsprog	Engelsk
Titel	Proc. of Workshop on Integration of Abduction and Induction in AI : Position paper
Redaktører	Oliver Ray, Antonis Kakas, Peter Flach
Forlag	Department of Computing, Imperial College London
Publikationsdato	2005
Status	Udgivet - 2005
Begivenhed	International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05) - Edinburgh, Storbritannien Varighed: 29 jul. 2005 → 29 jul. 2005 Konferencens nummer: 4

Konference

Konference	International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05)
Nummer	4
Land/Område	Storbritannien
By	Edinburgh
Periode	29/07/2005 → 29/07/2005

Bibliografisk note

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

Link til dokument

http://akira.ruc.dk/~henning/publications/AIAI2005HenningREV.pdf

Citer dette

@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/; International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05) ; Conference date: 29-07-2005 Through 29-07-2005",

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. <http://akira.ruc.dk/~henning/publications/AIAI2005HenningREV.pdf>

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/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

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

AU - Christiansen, Henning

N1 - Conference code: 4

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

T2 - International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI'05)

Y2 - 29 July 2005 through 29 July 2005

ER -