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