Skip to Main content Skip to Navigation
Reports

Deux variations sur le thème de la consistance d'arcs : maintien et renforcement

Pierre Berlandier 1
1 SECOIA - Expert Systems and Design of Tools for Artificial Intelligence
CERMICS - Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : établir un niveau de consistance partielle au sein d'un problème de satisfaction de contraintes est une étape importante, sinon nécessaire, de son processus de résolution. Ce rapport présente deux variations sur le thème de la consistance d'arcs qui reste aujourd'hui le niveau de consistance le plus souvent sollicité en pratique. La première variation est une extension de la consistance d'arcs classique au cadre des problèmes de contraintes dynamiques. Ces problèmes possèdent un cycle de vie dù à des interactions avec l'utilisateur qui peut ajouter et retirer des contraintes à tout moment. Le problème principal est alors de maintenir la consistance d'arcs à travers le retrait de contraintes. La seconde variation traite d'un léger renforcement de la condition qui caractérise la consistance d'arcs afin d'offrir une meilleure capacité de filtrage des domaines. Le niveau de consistance partiel obtenu se situe entre la consistance d'arcs et la consistance de chemins, conserve les bonnes propriétés de la première et reste bien moins coùteuse que la seconde.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074249
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:51:27 PM
Last modification on : Saturday, January 27, 2018 - 1:31:04 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 4:16:56 PM

Identifiers

  • HAL Id : inria-00074249, version 1

Collections

Citation

Pierre Berlandier. Deux variations sur le thème de la consistance d'arcs : maintien et renforcement. [Rapport de recherche] RR-2426, INRIA. 1994. ⟨inria-00074249⟩

Share

Metrics

Record views

334

Files downloads

110