Classifications et treillisReport as inadecuate




Classifications et treillis - Download this document for free, or read online. Document in PDF available to download.

1 EXMO - Computer mediated exchange of structured knowledge Inria Grenoble - Rhône-Alpes

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.

Mots-clés : Représentation des connaissances Compilation et approximation de connaissances





Author: Olivier Brunet -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents