Intériorisation de la négation en programmation logique

par Bernard Gil

Thèse de doctorat en Mathématiques. Informatique

Sous la direction de Georges Blanc.

Soutenue en 1991

à Aix-Marseille 2 , en partenariat avec Université d'Aix-Marseille II. Faculté des sciences (autre partenaire) .


  • Résumé

    Dans cette etude on se propose de fournir une nouvelle facon de considerer la negation dans les programmes logiques. Avec la perspective de programmer de maniere homogene des reponses pour les requetes positives et negatives, on introduit une technique de transformation de programmes qui synthetise la definition d'un nouveau predicat p pour chaque predicat p defini dans le programme. La signification attendue de p est grossierement la negation de p. Jean-paul delahaye a reactualise cette technique introduite par b. Meltzer dans les annees soixante, pour donner une semantique declarative des programmes positifs, qui lui permet une meilleure approche des interpreteurs prolog standard. Dans la continuite de ces travaux, on etend l'operation dite de dedoublement des predicats aux programmes generaux. La semantique declarative que l'on definit alors, appelee extension complete, a des proprietes analogues aux semantiques trivaluees introduites par kunen et fitting, en conservant toutefois l'avantage majeur de rester dans le cadre de la logique classique. On prouve un theoreme de completude forte de la sldnf-resolution pour la classe des programmes permis. La semantique denotationnelle du point fixe associee a cette transformation presente des particularites interessantes, et ameliore les proprietes de celle obtenue par clark

  • Titre traduit

    Interiorization of the negation in logic programming


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 135 f.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.f. 129-133

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 18858

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1991-GIL
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.