La logique de la circonscription par les tableaux analytiques

par Pascale Kuhna

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Camilla Schwind.

    mots clés mots clés


  • Résumé

    L'objet de cette these est l'application d'une methode de demonstration classique connue sous le nom de tableaux analytiques a une logique non monotone, la logique de la circonscription. Ce travail nous amene, d'abord, a poursuivre une etude detaillee des tableaux analytiques. Nous definissons des operations sur l'ensemble des tableaux et nous identifions la structure de cet ensemble muni de ces operations: il s'agit d'une algebre de boole. Nous montrons ainsi en quoi l'ensemble des tableaux forme un langage simple et puissant de description et de manipulation d'ensembles de formules. Dans un second temps, cette methode des tableaux analytiques est adaptee pour traiter de la logique de la circonscription. C'est par l'intermediaire de la semantique preferentielle de la circonscription que s'etablit le lien entre ce demonstrateur et cette logique. Nous montrons comment calculer, a partir du tableau d'une theorie, le tableau minimal de cette theorie caracterisant l'ensemble des modeles minimaux de la theorie. L'organisation de ce travail suit toujours le meme schema directeur: les resultats acquis en logique propositionnelle sont etendus, par la suite, a la logique du premier ordre


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (237 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : f. 232-237

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 25954
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.