Classifications et treillis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Classifications et treillis

Abstract

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.
Fichier principal
Vignette du fichier
brunet2000b.pdf (376.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00906227 , version 1 (19-11-2013)

Identifiers

  • HAL Id : hal-00906227 , version 1

Cite

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⟩
85 View
41 Download

Share

Gmail Facebook X LinkedIn More