LogoLogo

Garner Bienvenu, Meghyn. La génération de conséquences en logique modale

Garner Bienvenu, Meghyn (2009) La génération de conséquences en logique modale.

[img]PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
2626Kb

Résumé en francais

La notion clé de la génération de conséquences est celle de l'impliqué premier, qui désigne une clause qui est impliquée par une formule et telle qu'il n'existe pas de clause logiquement plus forte impliquée par la formule. La notion d'impliqué premier s'est montrée très utile en intelligence artificielle, notamment pour la compilation de connaissances et le raisonnement abductif. Dans cette thèse nous étudions comment cette notion, jusqu'à présent étudiée en logique propositionnelle, peut être étendue à la logique modale Kn. Nous commençons par comparer plusieurs definitions plausibles d'impliqués premiers dans Kn, avant d'en selectionner une. Ensuite, nous proposons des algorithmes pour générer et reconnaître des impliqués premiers, et nous étudions la complexité de ces deux tâches. Puis, nous utilisons notre notion d'impliqué premier pour élaborer une forme normale pour Kn qui est dotée de propriétés intéressantes du point de vue de la compilation de connaissances.

Sous la direction du :
Directeur de thèse
Herzig, Andreas
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Modal logic - Automated reasoning - Consequence finding - Knowledge compilation
Sujets :Informatique
Déposé le :29 Nov 2010 16:40