Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis
Résumé
Certains travaux en cours sur les solveurs de contraintes dans les domaines finis concernent l'implantation d'une trace XML du calcul, selon la DTD OADymPPaC (par exemple en GNU-Prolog, PaLM, CHIP). A cause de la grande taille des traces, même pour de petits exemples jouets, on a besoin d'outils pour comprendre cette trace. Des explications de retrait de valeurs (ou nogoods) pendant la réduction de domaine sont utilisées par certains solveurs en programmation par contraintes dans l es domaines finis. Dans ce papier, nous utilisons une formalisation des explications par des arbres de preuve dans un cadre point fixe basé sur l'itération d'opérateurs monotones de consistance locale. Les arbres de preuve donnent une vue déclarative des calculs par propagation de contrainte. Nous montrons comment des explications peuvent être extraites de façon naturelle du format de trace OADymPPaC. Les explications permettent une meilleure compréhension des réductions de domaine dans la trace.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...