Correctness of Constraint Retraction Algorithms - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Correctness of Constraint Retraction Algorithms

Résumé

In this paper, we present a general scheme for incremental constraint retraction algorithms that encompasses all existing algorithms. Moreover, we introduce some necessary conditions to ensure the correctness of any incremental constraint retraction algorithms. This rather theoretical work is based on the notion of explanation for constraint programming and is exemplified within the PALM system: a constraint solver allowing dynamic constraint retractions.
Fichier principal
Vignette du fichier
flairs2003.pdf (124.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00085555 , version 1 (02-09-2010)

Identifiants

  • HAL Id : hal-00085555 , version 1

Citer

Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, et al.. Correctness of Constraint Retraction Algorithms. FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 2003, United States. pp.172-176. ⟨hal-00085555⟩
257 Consultations
262 Téléchargements

Partager

Gmail Facebook X LinkedIn More