| Page précédente | LERIA | Faculté des Sciences | Université d'Angers | |
Le cadre de résolution trivalué que j'ai proposé permet d'unifier la représentation des éléments manipulés par les méthodes exactes et approchées ce qui simplifie leur hybridation [3,2,1 5].
La principale nouveauté de ce cadre de résolution est l'introduction d'une troisième valeur de vérité indéterminée [6]. Elle permet de transformer très facilement et sans perte d'information les éléments utilisés par les méthodes exactes en éléments manipulables par les méthodes approchées. L'ajout de cette valeur a engendré de nouvelles règles d'interprétation logique pour l'évaluation des clauses contenant la valeur indéterminée. La solution retenue réside dans une nouvelle approche appelée approche pessimiste qui cumulée à une fonction d'évaluation trivaluée permet de favoriser la création de variables indéterminées et ainsi de diversifier la recherche.
Dans ce cadre de résolution, les mouvements élémentaires ne sont plus de simples flips transformant la valeur de vérité d'une variable en son opposée mais les mouvements dans l'espace de recherche sont définis comme des combinaisons de transitions. Deux catégories de transitions (les transitions de structure et les transitions d'évaluation) ont été définies et permettent la définition précise des concepts de diversification, d'intensification, d'amélioration et de détérioration [4].
J'ai étendu deux algorithmes bien connus dans des versions trivaluées [7]. Les tests montrent que le cadre de résolution trivalué semble fournir des perspectives intéressantes pour l'hybridation de méthodes exactes et approchées.