Integrating Abduction and Constraint Optimization in Constraint Handling Rules
Marco Gavanelli, Marco Alberti, Evelina Lamma · Frontiers in artificial intelligence and applications · 2008
ALP and Constraint Logic Programming (CLP) have been merged in works by various authors. However, while almost all CLP languages provide algorithms for finding an optimal solution with respect to some objective function (and not just any solution), the issue has received little attention in ALP. We believe that adding optimisation meta-predicates to abductive proof-procedures would improve research and practical applications of abductive reasoning.