Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00906227
Contributor : Jérôme Euzenat <>
Submitted on : Tuesday, November 19, 2013 - 2:34:35 PM
Last modification on : Monday, August 3, 2020 - 11:40:02 AM
Long-term archiving on: : Thursday, February 20, 2014 - 9:21:11 AM

File

brunet2000b.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.29-38. ⟨hal-00906227⟩

Share

Metrics

Record views

173

Files downloads

72