Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintes
Résumé
Dans ce papier, nous introduisons une nouvelle technique de filtrage pour les réseaux de contraintes. Elle est basée sur une propriété appelée cohérence structurelle. Il s'agit d'une cohérence paramétrable que nous noterons w-SC. Cette cohérence est basée sur une approche significativement différente de celles en usage. Alors que les cohérences classiques s'appuient généralement sur des propriétés locales étendues à l'ensemble du réseau, cette cohérence partielle considère à l'opposé la cohérence globale sur des sous-problèmes. Ces sous-problèmes sont définis par des graphes de contraintes partiels dont la largeur arborescente est bornée par une constante w, qui correspond au paramètre associé à la cohérence. Nous introduisons un algorithme de filtrage qui réalise un filtrage permettant d'obtenir la w-SC cohérence. Cette cohérence est ensuite analysée pour la positionner par rapport aux cohérences classiquement utilisées dans les CSP. Cette étude montre que cette nouvelle cohérence est généralement incomparable avec celles figurant dans la littérature. Enfin, nous présentons des résultats expérimentaux préliminaires pour évaluer l'utilité de cette approche.
Domaines
Intelligence artificielle [cs.AI]
Origine : Accord explicite pour ce dépôt
Loading...