Propagation de contraintes sur les intervalles pour la planification d’exp´erience en SLAM
Texte intégral
Documents relatifs
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
Aussitôt qu’une in- férence locale (par exemple, correspondant à l’élimination d’une valeur) est effectuée, les conditions pour déclencher de nouvelles inférences
Le probl`eme de satisfaction de contraintes pond´er´e (WCSP) consiste, pour un r´eseau constitu´e de va- riables et de contraintes souples, `a trouver une affecta- tion de valeur
Pour cela il applique des coupes successives dans l’espace des objectifs pour obtenir deux individus disjoints.. Ef- fectuer ces coupes est possible grâce à la propagation
Christophe Finot, Frederic Chaussard, Julien Fatome, Herve Rigneault.. To cite
De plus, si f est monotone dans la boˆıte [V ] par rapport ` a toutes ses variables apparaissant plusieurs fois dans f , alors l’extension par monotonie calcule l’image optimale :..
Maintenant, chacune de ces équations solutions peut être utilisée pour contracter les domaines pour les variables impliquées dans le CSP en utilisant l’arithmétique des
Enfin, si une partie des valeurs de la variable choisie x figurent dans la liste Tabou permanente avec des sous-ensembles de la solution courante, et si le reste des valeurs sont
