Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction

Résumé

Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with chaotic iterations of monotonic operators. To each operator is associated its dual which will be described by a set of rules. For classical consistency notions, there exists a natural such system of rules. They express value removals as consequences of other value removals. The linking of these rules inductively defines proof trees. Such a proof tree clearly explains the removal of a value (the root of the tree). Explanations can be considered as the essence of domain reduction.
Fichier principal
Vignette du fichier
wflp2002.pdf (167.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00459199 , version 1 (23-02-2010)

Identifiants

  • HAL Id : hal-00459199 , version 1

Citer

Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. 11th International Workshop on Functional and (Constraint) Logic Programming, 2002, Grado, Italy. pp.211-224. ⟨hal-00459199⟩
76 Consultations
87 Téléchargements

Partager

Gmail Facebook X LinkedIn More