Analyse de conflits dans le cadre de la recherche locale

Gilles Audemard (1) , Jean-Marie Lagniez (1) , Bertrand Mazure (1) , Lakhdar Saïs (1)

1 CRIL - Centre de Recherche en Informatique de Lens

Dans cet article, nous présentons une nouvelle approche pour sortir des minimums locaux dans le cadre de la recherche locale. Cette approche est basée sur le principe d'analyse de conflits utilisé dans les solveurs SAT modernes. Nous proposons une extension du graphe d'implications au cadre de la recherche locale où plusieurs conflits sont présents pour une interprétation donnée. Nous présentons ensuite une méthode basée sur la propagation unitaire, permettant de construire et d'exploiter de tels graphes. Enfin, nous étendons le schéma classique de WSAT pour y intégrer notre analyse de conflits. Les résultats expérimentaux montrent que l'intégration de notre système d'analyse de conflits améliore sensiblement les performances de WSAT sur les problèmes structurés. De plus, cette méthode isolant des sous-problèmes inconsistants, est capable de montrer que l'instance n'admet pas de modèle.

Domaines: Intelligence artificielle [cs.AI]

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs. Analyse de conflits dans le cadre de la recherche locale. Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.215-225. ⟨hal-00390909⟩