Arc-Consistency for Non-Binary Dynamic CSPs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 1992

Arc-Consistency for Non-Binary Dynamic CSPs

Résumé

Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, many filtering techniques have been developed for CSPs. The most used filtering techniques are those achieving arc-consistency. Nevertheless, many reasoning problems in AI need to be expressed in a dynamic environment and almost all the techniques already developed to solve CSPs deal only with static CSPs. So, in this paper, we first recall what we name a dynamic CSP, and then, generalize the incremental algorithm achieving arc-consistency on binary dynamic CSPs to general dynamic CSPs. Like for the binary version of this algorithm, there is an advantage to use our specific algorithm for dynamic CSPs instead of the best static one, GAC4.
Fichier principal
Vignette du fichier
ecai92.pdf (193.04 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-02310588 , version 1 (10-10-2019)

Identifiants

Citer

Christian Bessiere. Arc-Consistency for Non-Binary Dynamic CSPs. ECAI 1992 - 10th European Conference on Artificial Intelligence, Aug 1992, Vienna, Austria. pp.23-27, ⟨10.5555/145448.145487⟩. ⟨lirmm-02310588⟩
53 Consultations
19 Téléchargements

Altmetric

Partager

More