Classifications et treillis

Résumé : Nous présentons un formalisme de traduction de l'Information Flow Theory, une théorie de représentation des transferts d'information développée par J. Barwise et J. Seligman, vers un formalisme standard de correspondances de Galois. Nous donnons certaines propriétés de cette traduction et montrons que celle-ci est totale et injective mais non surjective, ce qui signifie que cette théorie se traduit exactement sous forme de treillis et de correspondances de Galois mais que l'on peut l'enrichir en utilisant ce formalisme.
Type de document :
Communication dans un congrès
Actes 5e Rencontres nationales sur de jeunes chercheurs en intelligence artificielle (RJCIA), 2000, Lyon, France. No commercial editor., pp.29-38, 2000, Actes 5e Rencontres nationales sur de jeunes chercheurs en intelligence artificielle (RJCIA)
Liste complète des métadonnées

https://hal.inria.fr/hal-00906227
Contributeur : Jérôme Euzenat <>
Soumis le : mardi 19 novembre 2013 - 14:34:35
Dernière modification le : mercredi 11 avril 2018 - 01:56:15
Document(s) archivé(s) le : jeudi 20 février 2014 - 09:21:11

Fichier

brunet2000b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00906227, version 1

Collections

Citation

Olivier Brunet. Classifications et treillis. Actes 5e Rencontres nationales sur de jeunes chercheurs en intelligence artificielle (RJCIA), 2000, Lyon, France. No commercial editor., pp.29-38, 2000, Actes 5e Rencontres nationales sur de jeunes chercheurs en intelligence artificielle (RJCIA). 〈hal-00906227〉

Partager

Métriques

Consultations de la notice

141

Téléchargements de fichiers

57