Contributions de la théorie des catégories à la représentation des connaissances

par Pascal Boldini

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Barthélemy.

Soutenue en 1995

à Rennes 1 .

    mots clés mots clés


  • Résumé

    La theorie des categories est un formalisme adequat pour la representation des connaissances. En particulier, la theorie des topoi permet de construire des modeles avec un contenu logique intrinseque. Les notions de fibration d'une categorie au dessus d'une categorie et de fibration de grothendieck d'un foncteur formalisent des modeles hierarchiques de representation des connaissances avec heritage des proprietes, ou sont prises en compte des relations a priori au niveau descriptif. On peut alors internaliser les implications logiques entre concepts

  • Titre traduit

    Contributions of category theory to knowledge representation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (185 p.)
  • Annexes : Bibliogr. p. 179-185

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 1995/71

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-1995-BOL
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.