Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Gamba, Emilio"'
We build on a recently proposed method for stepwise explaining solutions of Constraint Satisfaction Problems (CSP) in a human-understandable way. An explanation here is a sequence of simple inference steps where simplicity is quantified using a cost
Externí odkaz:
http://arxiv.org/abs/2303.11712
We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplicity of an inference step is measured by the number and types of constra
Externí odkaz:
http://arxiv.org/abs/2105.11763
We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of explaining the inference steps that one can take during propagation, in a
Externí odkaz:
http://arxiv.org/abs/2006.06343
Publikováno v:
In Artificial Intelligence November 2021 300
Debugging unsatisfiable constraint models can be a tedious task. Current tools allow a user to extract a subset of constraints that render the problem unsatisfiable (MUS). However, in some cases, this MUS can be very large or too difficult to underst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::9f9dedec822b8c6c5906ea58717d64dd
https://lirias.kuleuven.be/handle/20.500.12942/722435
https://lirias.kuleuven.be/handle/20.500.12942/722435
Publikováno v:
Journal of Artificial Intelligence Research; 2023, Vol. 78, p709-746, 38p