Intériorisation de la négation en programmation logique

Interiorization of the negation in logic programming

• Auteur / Autrice : Bernard Gil
• Direction : Georges Blanc
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques. Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Aix-Marseille 2
• Partenaire(s) de recherche : Autre partenaire : Université d'Aix-Marseille II. Faculté des sciences (1969-2011)

Mots clés

Mots clés contrôlés

Négation (logique)

Prédicat (logique)

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