Précédent : Fouille de données - Application Remonter : Représentation des connaissances et raisonnement Suivant : Modèles connexionnistes neuromimétiques

Algorithmes de calcul de premiers implicants/impliqués

 

Les concepts duaux de premiers implicants et de premiers impliqués jouent un rôle important en IA. Ils interviennent notamment en diagnostic de pannes, raisonnement abductif, compilation de bases de connaissances et dans les systèmes de maintien de vérité. Nous avons étudié les différentes approches existantes pour le calcul de premiers implicants/impliqués, de façon à dégager les différentes heuristiques utilisées. Ceci nous a permis d'apporter des améliorations et de compléter certaines de ces approches. Cette étude nous a conduit àproposer un nouvel algorithme de calcul de premiers impliqués pour la compilation des bases de connaissances. Nous avons montré expérimentalement que cet algorithme est plus performant que les autres techniques de calcul existantes [63].