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.
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/Område | Østrig |
By | Linz |
Periode | 14/07/2008 → 14/07/2008 |
Navn | RISC-Linz Report Series |
---|---|
Vol/bind | 08-10 |