Treffer: Explications conviviales pour la programmation par contraintes / Friendly explanations in constraint programming
Title:
Explications conviviales pour la programmation par contraintes / Friendly explanations in constraint programming
Authors:
Source:
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :105-118
Publisher Information:
Paris: Hermès Sciences Publications, 2002.
Publication Year:
2002
Physical Description:
print, 12 ref
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Explication, Explanation, Implémentation, Implementation, Ejecución, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Structure hiérarchisée, Hierarchized structure, Estructura jerarquizada, Système PALM
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
French
Author Affiliations:
École des Mines de Nantes, 4 rue Alfred Kastler - BP 20722, 44307 Nantes, France
ILOG, 1681, route des Dolines, 06560 Valbonne, France
ILOG, 1681, route des Dolines, 06560 Valbonne, France
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14195174
Database:
PASCAL Archive
Weitere Informationen
Dans cet article, nous présentons un ensemble d'outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L'idée est de représenter les contraintes d'un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications classiques (les ensembles de contraintes du système) doivent juste être projetées sur cette représentation pour être compréhensibles par n'importe quel utilisateur. Nous présentons ici les intérêts principaux de cette idée.