Prioritized Abduction with CHR

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

Resumé

A class of Prioritized Abductive Logic Programs (PrioALPs) is introduced
and an implementation is developed in CHR for solving
abductive problems, providing minimal explanations with best-first search.
Priorities may represent probabilities or a cost function to be optimized.

Compared with other weighted and probabilistic versions of
abductive logic programming, the approach is characterized by
higher generality and a flexible and adaptable
architecture which incorporates integrity constraints and interaction
with external constraint solvers.

A PrioALP is translated in a systematic way into a CHR program which serves
as a query interpreter, and the resulting CHR code describes in a highly
concise way, the strategies applied in the search for explanations.


OriginalsprogEngelsk
TitelCHR 2008, The 5th Workshop on Constraint Handling Rules
RedaktørerTom SCHRIJVERS, Frank RAISER, Thom FRÜHWIRTH
Vol/bind08-10
ForlagJohannes Kepler University
Publikationsdato2008
Sider159-173
StatusUdgivet - 2008
BegivenhedCHR 2008, The 5th Workshop on Constraint Handling Rules - Linz, Østrig
Varighed: 14 jul. 200814 jul. 2008
Konferencens nummer: 5

Konference

KonferenceCHR 2008, The 5th Workshop on Constraint Handling Rules
Nummer5
LandØstrig
ByLinz
Periode14/07/200814/07/2008
NavnRISC-Linz Report Series
Vol/bind08-10

Citer dette

Christiansen, H. (2008). Prioritized Abduction with CHR. I T. SCHRIJVERS, F. RAISER, & T. FRÜHWIRTH (red.), CHR 2008, The 5th Workshop on Constraint Handling Rules (Bind 08-10, s. 159-173). Johannes Kepler University. RISC-Linz Report Series, Bind. 08-10
Christiansen, Henning. / Prioritized Abduction with CHR. CHR 2008, The 5th Workshop on Constraint Handling Rules. red. / Tom SCHRIJVERS ; Frank RAISER ; Thom FRÜHWIRTH. Bind 08-10 Johannes Kepler University, 2008. s. 159-173 (RISC-Linz Report Series, Bind 08-10).
@inproceedings{6a8afee0e3db11dda5ae000ea68e967b,
title = "Prioritized Abduction with CHR",
abstract = "A class of Prioritized Abductive Logic Programs (PrioALPs) is introducedand an implementation is developed in CHR for solvingabductive problems, providing minimal explanations with best-first search.Priorities may represent probabilities or a cost function to be optimized.Compared with other weighted and probabilistic versions ofabductive logic programming, the approach is characterized byhigher generality and a flexible and adaptablearchitecture which incorporates integrity constraints and interactionwith external constraint solvers.A PrioALP is translated in a systematic way into a CHR program which servesas a query interpreter, and the resulting CHR code describes in a highlyconcise way, the strategies applied in the search for explanations.",
author = "Henning Christiansen",
year = "2008",
language = "English",
volume = "08-10",
pages = "159--173",
editor = "Tom SCHRIJVERS and Frank RAISER and Thom FR{\"U}HWIRTH",
booktitle = "CHR 2008, The 5th Workshop on Constraint Handling Rules",
publisher = "Johannes Kepler University",

}

Christiansen, H 2008, Prioritized Abduction with CHR. i T SCHRIJVERS, F RAISER & T FRÜHWIRTH (red), CHR 2008, The 5th Workshop on Constraint Handling Rules. bind 08-10, Johannes Kepler University, RISC-Linz Report Series, bind 08-10, s. 159-173, CHR 2008, The 5th Workshop on Constraint Handling Rules, Linz, Østrig, 14/07/2008.

Prioritized Abduction with CHR. / Christiansen, Henning.

CHR 2008, The 5th Workshop on Constraint Handling Rules. red. / Tom SCHRIJVERS; Frank RAISER; Thom FRÜHWIRTH. Bind 08-10 Johannes Kepler University, 2008. s. 159-173.

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

TY - GEN

T1 - Prioritized Abduction with CHR

AU - Christiansen, Henning

PY - 2008

Y1 - 2008

N2 - A class of Prioritized Abductive Logic Programs (PrioALPs) is introducedand an implementation is developed in CHR for solvingabductive problems, providing minimal explanations with best-first search.Priorities may represent probabilities or a cost function to be optimized.Compared with other weighted and probabilistic versions ofabductive logic programming, the approach is characterized byhigher generality and a flexible and adaptablearchitecture which incorporates integrity constraints and interactionwith external constraint solvers.A PrioALP is translated in a systematic way into a CHR program which servesas a query interpreter, and the resulting CHR code describes in a highlyconcise way, the strategies applied in the search for explanations.

AB - A class of Prioritized Abductive Logic Programs (PrioALPs) is introducedand an implementation is developed in CHR for solvingabductive problems, providing minimal explanations with best-first search.Priorities may represent probabilities or a cost function to be optimized.Compared with other weighted and probabilistic versions ofabductive logic programming, the approach is characterized byhigher generality and a flexible and adaptablearchitecture which incorporates integrity constraints and interactionwith external constraint solvers.A PrioALP is translated in a systematic way into a CHR program which servesas a query interpreter, and the resulting CHR code describes in a highlyconcise way, the strategies applied in the search for explanations.

M3 - Article in proceedings

VL - 08-10

SP - 159

EP - 173

BT - CHR 2008, The 5th Workshop on Constraint Handling Rules

A2 - SCHRIJVERS, Tom

A2 - RAISER, Frank

A2 - FRÜHWIRTH, Thom

PB - Johannes Kepler University

ER -

Christiansen H. Prioritized Abduction with CHR. I SCHRIJVERS T, RAISER F, FRÜHWIRTH T, red., CHR 2008, The 5th Workshop on Constraint Handling Rules. Bind 08-10. Johannes Kepler University. 2008. s. 159-173. (RISC-Linz Report Series, Bind 08-10).