Thèse soutenue

Gestion de la dynamicité et énumération d'impliquants premiers : une approche fondée sur les Diagrammes de Décision Binaire
FR
Accès à la thèse
Auteur / Autrice : Fabrice Bouquet
Direction : Philippe Jégou
Type : Thèse de doctorat
Discipline(s) : Sciences
Date : Soutenance en 1999
Etablissement(s) : Aix-Marseille 1

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Cette these aborde, d'un point de vue algorithmique, le probleme lie aux calculs et a la representation des modeles d'une formule de la logique propositionnelle. Notre approche est fondee sur les diagrammes de decision binaire (bdd). Ils permettent de representer facilement l'ensemble des modeles et d'y gerer l'incrementalite. Le premier travail propose dans ce memoire est une etude sur des ordres pour l'insertion de formules particulieres de la logique propositionnelle dans un bdd. Pour cela, nous proposons deux actions complementaires, la premiere pour reduire la taille du bdd (ordre sur les variables de la formule) et la seconde pour reduire le temps de calcul (strategie pour l'insertion). Ceci nous a permis de determiner certaines limites pour l'utilisation des bdd. Dans un second temps, nous proposons d'etendre le formalisme des formules a traiter afin de pouvoir prendre en compte la dynamicite dans les bdd. L'ajout de formules ne posant pas de probleme grace aux bdd, notre extension porte sur le maintien de la coherence lors de l'ajout ou de la suppression de formules. Nous proposons de resoudre le probleme a l'aide d'un codage judicieux et presentons comment appliquer ces travaux dans le cadre des problemes de satisfaction de contraintes dynamiques. Un impliquant premier peut etre vu comme la representation d'un ensemble de modeles. Une extension naturelle de nos travaux, nous a conduit a elaborer un algorithme de calcul et de gestion des impliquants premiers. Nous montrons ici, comment l'effectuer avec un couplage entre un algorithme enumeratif et un bdd. Des experimentations sont presentees pour illustrer et comparer les differentes approches proposees dans cette these.