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.
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
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