• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1990

Résumé en langue originale

L'objet de ce travail est l'étude d'une logique possédant trois valeurs de vérité vrai, faux, indéterminé et un connecteur d'implication non monotone en vue de son application à la programmation logique avec négation. Les chapitres 2, 3, 4 constituent une étude théorique de cette logique dépassant le cadre de la programmation logique avec négation. Le chapitre 2 introduit un formalisme plus général que celui des interprétations de herbrand. Le chapitre 3 étudie l'expressivité des différents connecteurs de cette logique en calcul propositionnel et le chapitre 4 fournit trois théorèmes de complétude pour cette logique trivaluée. Les chapitres 5 et 6 en sont l'application directe à la programmation logique avec négation. Le chapitre 5 généralise, grâce à la troisième valeur de vérité indéterminé et le connecteur d'implication non monotone, les propriétes obtenues en programmation logique sans négation. Dans ce chapitre, on introduit un opérateur conséquence associé à un programme sans négation dont le plus petit point fixe fournit une première sémantique dénotationnelle des programmes avec négation. On y étudie aussi les liens avec la théorie de fitting dont on retrouve les résultats dans leur intégralité. L'introduction d'une troisième valeur de vérité indéterminé fournit une autre sémantique dénotationnelle d'un programme avec négation: le modèle optimal, explicite dans le chapitre 6