Integration of abductive reasoning and constrained optimization

What is it about?

Previous works integrated constraint logic programming(CLP) with abductive logic programming (ALP), obtaining Abductive Constraint Logic Programming. However, while optimization is recognized as an important feature in CLP, the previous proposals considered only optimization on top of abduction, without the possibility to have recursion through optimization in abductive reasoning.

Featured Image

Why is it important?

This is the first work in which abductive logic programming and constrained optimization are integrated allowing for recursion through optimization meta-predicates