Prioritized Abduction with CHR

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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.


Original languageEnglish
Title of host publicationCHR 2008, The 5th Workshop on Constraint Handling Rules
EditorsTom SCHRIJVERS, Frank RAISER, Thom FRÜHWIRTH
Volume08-10
PublisherJohannes Kepler University
Publication date2008
Pages159-173
Publication statusPublished - 2008
EventCHR 2008, The 5th Workshop on Constraint Handling Rules - Linz, Austria
Duration: 14 Jul 200814 Jul 2008
Conference number: 5

Conference

ConferenceCHR 2008, The 5th Workshop on Constraint Handling Rules
Number5
Country/TerritoryAustria
CityLinz
Period14/07/200814/07/2008
SeriesRISC-Linz Report Series
Volume08-10

Cite this