Prioritized Abduction with CHR

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

Abstrakt

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