Université Lille1 - Sciences et Technologies Une logique trivaluée appliquée à la programmation logique A three-valued logic and its application to logic programming 005.115 Programmation logique Text Electronic Thesis or Dissertation fr 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 application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1990/50376-1990-11.pdf Thibau Violaine 1900-01-01 029376394 1990LIL10002 1990-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Delahaye Jean-Paul 07922654X ddc:000 ASCII PDF 9999