Contribution de la logique lineaire au probleme de la negation par echec

par Serenella Cerrito

Thèse de doctorat en Sciences appliquées

Sous la direction de Nicolas Spyratos.

Soutenue en 1990

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans ce travail, nous etudions la semantique des programmes logiques a l'aide de la logique lineaire. Le premier probleme que nous etudions est celui de la semantique declarative des programmes avec negation dans le corps des clauses, en faisant abstraction de toute strategie de recherche; la methode d'evaluation consideree est sldnf. Nous proposons une theorie logique lineaire, une modification de la completion de clark, comme semantique des programmes autorises allowed. Nous prouvons la correction et la completude de sldnf par rapport a cette semantique. Le deuxieme probleme que nous considerons concerne l'implantation de la methode sldnf specifique a prolog: evaluation des litteraux de la gauche vers la droite, recherche des derivations en profondeur d'abord. Ici, la question de la signification logique de l'operateur not est liee a la question de l'axiomatisation logique du controle. Nous proposons des elements de solution a ce probleme en fournissant une facon d'axiomatiser via la logique lineaire tout programme propositionnel

  • Titre traduit

    Contribution of linear logic to the negation as failure problem


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 28 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-010004
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.