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.
Integrating Abduction and Constraint Optimization in Constraint Handling Rules
GAVANELLI, Marco;ALBERTI, Marco;LAMMA, Evelina
2008
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.