Prioritized Abduction with CHR

Henning Christiansen

Prioritized Abduction with CHR

Programmering, logik og intelligente systemer

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

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.

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

Link til dokument

http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf

Citer dette

@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",

series = "RISC-Linz Report Series",

publisher = "Johannes Kepler University",

pages = "159--173",

editor = "Tom SCHRIJVERS and Frank RAISER and Thom FR{\"U}HWIRTH",

booktitle = "CHR 2008, The 5th Workshop on Constraint Handling Rules",

note = "null ; Conference date: 14-07-2008 Through 14-07-2008",

}

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. <http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf>

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 (RISC-Linz Report Series, Bind 08-10).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Prioritized Abduction with CHR

AU - Christiansen, Henning

N1 - Conference code: 5

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

T3 - RISC-Linz Report Series

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

Y2 - 14 July 2008 through 14 July 2008

ER -