Resumé
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.
| Originalsprog | Engelsk |
|---|---|
| Titel | CHR 2008, The 5th Workshop on Constraint Handling Rules |
| Redaktører | Tom SCHRIJVERS, Frank RAISER, Thom FRÜHWIRTH |
| Vol/bind | 08-10 |
| Forlag | Johannes Kepler University |
| Publikationsdato | 2008 |
| Sider | 159-173 |
| Status | Udgivet - 2008 |
| Begivenhed | CHR 2008, The 5th Workshop on Constraint Handling Rules - Linz, Østrig Varighed: 14 jul. 2008 → 14 jul. 2008 Konferencens nummer: 5 |
Konference
| Konference | CHR 2008, The 5th Workshop on Constraint Handling Rules |
|---|---|
| Nummer | 5 |
| Land | Østrig |
| By | Linz |
| Periode | 14/07/2008 → 14/07/2008 |
| Navn | RISC-Linz Report Series |
|---|---|
| Vol/bind | 08-10 |
Citer dette
}
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/rapport › Konferencebidrag i proceedings › Forskning › peer 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 -