Result: Representation of soft constraints by hard constraints

Title:
Representation of soft constraints by hard constraints
Authors:
REGIN, Jean-Charles, PUGET, Jean-Francois, PETIT, Thierry
Source:
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :181-197
Publisher Information:
Paris: Hermès Sciences Publications, 2002.
Publication Year:
2002
Physical Description:
print, 7 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, Intelligence artificielle, Artificial intelligence, Résolution de problèmes, jeux, Problem solving, game playing, Filtrage, Filtering, Filtrado, Performance algorithme, Algorithm performance, Resultado algoritmo, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Satisfaction contrainte, Constraint satisfaction, Satisfaccion restricción, Satisfaisabilité, Satisfiability, Satisfactoriabilidad, Sémantique, Semantics, Semántica, Algorithme filtrage, Contrainte molle, Problème surcontraint
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
ILOG, 1681, route des Dolines, 06560 Valbonne, France
ILOG, 9, rue de Verdun, BP 85, 94253 Gentilly, France
LIRMM (UMR 5506 CNRS), 161, rue Ada, 34392 Montpellier, France
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=14195211
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
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14195211
Database:
PASCAL Archive

Further Information

La plupart des algorithmes dédiés à la résolution de problèmes sur-contraints, tel que PFC-MRDAC, sont basés sur la recherche d'un support pour chaque valeur de chaque variable. La sémantique des contraintes molles est utilisée seulement pour accélérer la recherche d'un tel support, mais pas globalement pour prouver l'existence ou l'absence de tel support. Ces algorithmes n'utilisent pas les algorithmes de filtrage associés avec ces contraintes. Dans ce papier nous présentons un schéma original où une contrainte molle est représentée par une contrainte dure dans le but de bénéficier automatiquement des performances de l'algorithme de filtrage associé à cette contrainte, et des mécanismes d'incrémentalité fournis par les solvers existants. L'algorithme PFC-MRDAC (via la contrainte de satisfaisabilité d'une somme de contraintes) et celui de recherche d'ensembles de conflits disjoints sont adaptés à ce nouveau schéma.