ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 9/RSTI1 - 2003  - pp.111-124
TITRE
Explications k-relevantes pour la programmation par contraintes

RÉSUMÉ
Cet article présente un ensemble d’outils d’aide au développement d’applications en Programmation par Contraintes. Nous proposons des outils de diagnostic (analyse d’état, analyse des contradictions, analyse de l’impact d’une contrainte), ainsi que des outils interactifs (simulation d’ajout/retrait dynamique de contraintes). Ces outils reposent sur la notion d’explication k-relevante [Bay 96] qui permet de gérer des explications multiples pouvant ainsi conduire à de meilleurs diagnostics. Un exemple est présenté pour, à la fois illustrer les explications k-relevantes, ainsi que les différentes fonctionnalités des outils de diagnostic et des outils interactifs que nous proposons.

ABSTRACT
This paper presents a set of tools based on explanations for Constraint Programming. These tools exploit k-relevant explanations [Bay 96] which enable to use several explanations, which can lead to better diagnosis. k-relevant explanations are introduced and used to provide : diagnosis tools (state analysis, contradiction analysis, constraint impact analysis), and interaction tools (dynamic constraint addition/retraction simulation). An example is given to illustrate k-relevant explanations and to provide concrete situations illustrating the functionalities of our interactive and diagnosis tools.

AUTEUR(S)


MOTS-CLÉS
Programmation par Contraintes, CSP, explications, diagnostic, outils interactifs

KEYWORDS
Constraint Programming, CSP, nogoods, explanations, diagnosis, interactive tools

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (144 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier