HAL : hal-00085555, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, États-Unis (2003)

Correctness of Constraint Retraction Algorithms

Romuald Debruyne 1, Gérard Ferrand 2, Narendra Jussien 1, Willy Lesaint 2, Samir Ouis 1, Alexandre Tessier 2

(2003)

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.

1 :	École nationale supérieure des Mines de Nantes
	École Nationale Supérieure des Mines - Nantes – Groupe des Écoles des Mines (GEM)
2 :	Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
	Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges

Domaine

:

Informatique/Intelligence artificielle

hal-00085555, version 1

http://hal.archives-ouvertes.fr/hal-00085555

oai:hal.archives-ouvertes.fr:hal-00085555

Contributeur : Willy Lesaint <>

Soumis le : Jeudi 2 Septembre 2010, 15:59:00

Dernière modification le : Jeudi 2 Septembre 2010, 17:30:55