Classifications et treillisReportar como inadecuado




Classifications et treillis - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Olivier Brunet -

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



DESCARGAR PDF




Documentos relacionados