Etablissement
Ecole Nationale Supérieure d'informatique
Affiliation
Département de Post-Graduation
Auteur
ABDELAZIZ, Abdeljalil
Directeur de thèse
Benhamou Belaid (Maitre de conférence)
Filière
Intelligence Artificielle et Génie Logiciels
Diplôme
Magister
Titre
Etude et implémentation d'une nouvelle sémantique pour la programmation logique sous forme d'un solveur SAT
Mots clés
programmation logique, sémantique des modèles stables, raisonnement non-monotone
Résumé
La finalité du sujet est d'élaborer un nouveau système calculant les modèles stables d'un programme logique basé sur la nouvelle sémantique introduite par Benhamou et Siegel en 2012. Cette sémantique entre autre étend la sémantique des modèles stables de Gelfond et Lifschtz [88] qui est connue comme la sémantique la plus utilisée jusqu'à maintenant. Ils ont à base de cette nouvelle sémantique définie une nouvelle méthode pour le calcul de modèles stables et des modèles étendus. Ils souhaitent dans un premier temps étudier en profondeur les propriétés de cette nouvelle méthode, sa complexité algorithmique et réaliser une implémentation de cette dernière pour pouvoir la comparer par rapport aux méthodes existantes. Ensuite étudier des extensions pour leur sémantique et essayer par la même occasion d'étendre leur méthode de calcul de modèles à de telles extensions.
Statut
Vérifié