Localisation des connaissances dans les systèmes de production: approches multiples pour différents types de connaissance
2000
7-8 juin
31-50
La gestion des connaissances s'instancie de manière extrèmement
variée au sein des entreprises et elle mobilise des disciplines tout aussi variées.
Les connaissances considérées par les différentes approches peuvent être très
différentes. On peut se demander si cet état de fait est dû aux approches mises
en oeuvre ou exigé par la variété des applications englobées par la gestion de
connaissance. On considère un ensemble de projets pouvant être considérés comme
relevant de la gestion de connaissance restreinte au cadre des systèmes de
productions. On observe tout d'abord qu'ils s'attachent à résoudre des problèmes
différents par des méthodes différentes. De plus, la corrélation semble faible
entre les disciplines et les connaissances d'une part et entre les problèmes et
les disciplines d'autre part.
Knowledge management/Gestion de connaissance
ardeco
Lattice approach to classifications
34-44
2000
We present a translation of J. Barwise and J. Seligman's
"Information Flow Theory" into a lattice and Galois connection based
formalism. We show how to transform the different structures of the
theory into this formalism and show that this translation extends the
expressivity of the theory.
Transformations
Classifications et treillis
2000
29-38
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.
Représentation des connaissances
Compilation et approximation de connaissances
Transformations
Terminology extraction techniques for improving traceability from formal models to textual requirements
2000
This article deals with traceability in sotfware engineering. More
precisely, we concentrate on the role of terminological knowledge in
the mapping between (informal) textual requirements and (formal)
object models. We show that terminological knowledge facilitates the
production of traceability links, provided that language processing
technologies allow to elaborate semi-automatically the required
terminological resources. The presented system is one step towards
incremental formalization from textual knowledge.
XML
terminology
knowledge extraction
troeps
genieII
Texts/Textes
Knowledge management/Gestion de connaissance
Integrating textual knowledge and formal knowledge for improving traceability
10-16
2000
This article deals with traceability in knowledge repositories. More
precisely, we concentrate on the role of terminological knowledge in
the mapping between (informal) textual requirements and (formal)
object models. We show that terminological knowledge facilitates the
production of traceability links, provided that language processing
technologies allow to elaborate semi-automatically the required
terminological resources. The presented system is one step towards
incremental formalization from textual knowledge. As such,
it is a valuable tool for building knowledge repositories.
XML
terminology
knowledge extraction
troeps
genieII
Texts/Textes
Knowledge management/Gestion de connaissance
Integrating textual knowledge and forml knowledge for improving traceability
1937
3-540-41119-4
296-303
2000
Knowledge engineering often concerns the translation of
informal knowledge into a formal representation. This translation
process requires support for itself and for its traceability.
We pretend that inserting a terminological structure between informal
textual documents and their formalization serves both of these goals.
Modern terminology extraction tools support the formalization
process where the terms are a first sketch of formalized concepts.
Moreover, the terms can be used for linking the concepts and the
pieces of texts. This is exemplified through the presentation of an
implemented system.
XML
terminology
knowledge extraction
troeps
genieII
Texts/Textes
Knowledge management/Gestion de connaissance
XML est-il le langage de représentation de connaissance de l'an 2000 ?
59-74
2000
De nombreuses applications (représentation du contenu,
définition de vocabulaire) utilisent XML pour transcrire la connaissance
et la communiquer telle quelle ou dans des contextes plus larges. Le
langage XML est considéré comme un langage universel et sa similarité avec
les systèmes à objets a été remarquée. XML va-t-il donc remplacer les
langages de représentation de connaissance ? Un exemple concret permet de
présenter quelques questions et problèmes posés par la transcription d'un
formalisme de représentation de connaissance par objets en XML. Les
solutions possibles de ces problèmes sont comparées. L'avantage et la
lacune principale d'XML étant son absence de sémantique, une solution à ce
problème est ébauchée.
XML
sémantique
représentation de connaissance par objets
troeps
genieIIescrire
Objects/Objets
XML
Problèmes d'intelligibilité et solutions autour de XML
2000
16-17 mars
Les problèmes d'intelligibilité et d'interopérabilité que pose et que
résout le langage XML sont examinés en explorant progressivement les
travaux destinés à les résoudre: XML en tant que langage universel, permet
théoriquement l'interopérabilité. Mais XML, métalangage sans sémantique,
n'offre aucune possibilité d'intelligibilité pour qui (humain ou
programme) ne connaît pas le contenu. XML-Schéma n'améliore que
l'interopérabilité en définissant très précisément les types de données
(et parfois leurs unités). RDF, langage de description de ressources, est
destiné à « ajouter de la sémantique » mais n'en dispose pas lui-même. Il
sera donc très difficile (lire impossible) pour un programme de
l'interpréter. Plusieurs initiatives indépendantes du W3C s'attachent à
produire des langages de descriptions de contenu cette fois-ci dotés d'une
sémantique rigoureuse. Ce faisant, ces langages réduisent drastiquement
leurs champs d'utilisation et par conséquent les possibilités
d'interopérabilité des documents les utilisant. Si le temps est suffisant,
on pourra présenter brièvement (a) une proposition de langage de
description de la sémantique destiné à préserver l'interopérabilité en
améliorant l'intelligibilité ainsi que (b) un projet, actuellement en
cours, de comparaison de plusieurs formalismes de représentation de
connaissance pour la représentation du contenu.
XML
RDF
Schéma
DSD
Représentation de connaissance par objets
Sémantique
Computational semiotics/Sémiologie informatique
XML
Semantics/Sémantique
escrire
Towards formal knowledge intelligibility at the semiotic level
2000
59-61
Exchange of formalised knowledge through computers is developing fast.
It is assumed that using knowledge will increase the efficiency of the systems by
providing a better understanding of exchanged information. However, intelligibility
is by no way ensured by the use of a semantically defined language. This statement
of interest explains why and calls for the involvement of the semioticians for
tackling this problem.
Semantics
Interoperability
Intelligibility
Computational semiotics
Computational semiotics/Sémiologie informatique
Les représentations de connaissances par objets
19
1-3
387-394
2000
La finalité des systèmes de représentation des connaissances par objets
est de représenter des connaissances autour de la notion centrale d'objet.
Cet article décrit l'origine et l'évolution de ces systèmes, ainsi que la
place et l'avenir qui leurs sont réservés.
Représentation des connaissances par objets
raisonnement
système classificatoire
logique de descriptions
gestion des connaissances
objet
inférence
classification
Objects/Objets
DEA d'informatique
Intégration texte-représentation formelle pour la gestion de documents XML
2000
Actuellement, le Web contient d'importantes quantités d'informations couvrant
tous les sujets imaginables. Le problème qui était avant de savoir si une information, même très spécifique, était disponible sur le Web, est mainte nant devenu comment retrouver cette information. Apporter du sens intelligible et exploitable par des machines aux documents devrait leur permettre d'utiliser l'information présente, d'améliorer les techniques de recherche, et donc de faire du Web une gigantesque base de connaissance. Les langages de représentation de connaissance sont de bons candidats si l'on souhaite décrire le contenu de documents. L'action Escrire a d'ailleurs pour objectif d'en comparer trois. Parmi eux, la représentation de connaissances à objets apparaît particulièrement adaptée lorsqu'il s'agit de représenter des connaissances complexes sur un domaine en cours d'étude. On pourra alors manipuler plus efficacement une base de documents en les indexant par leur contenu (ou leur sens). Les documents pertinents seront ramenés à partir de requêtes structurées tirant parti du formalisme de représentation de connaissance (hiérarchie de classes, mécanismes de classification...).
Nous avons d'abord observé le lien étroit existant entre la nature de la connaissance à représenter et le type du document. Nous avons aussi pu voir que plus que le contenu, c'est l'application résultante qui va décider des éléments à représenter. Nous avons donc essayé d'imaginer quels types de requêtes un utilisateur est susceptible de poser, ce qui nous a conduit à proposer un langage de requêtes. Un corpus de travail a été utilisé pour mettre en oeuvre les choix effectués. Il concerne les interactions géniques chez la drosophile pendant son processus de segmentation. Le système de représentation de connaissances à objets Troeps gère les connaissances contenues dans les documents. Un évaluateur de requêtes a été intégré à ce système pour permettre de l'interroger.
Représentation de connaissance
Représentation du contenu
Sémantique
XML
Recherche d'information
Annotations
Ontologies
Objets
Formal content representation/Représentation formelle de contenu
Magistère d'informatique
Intégration texte-représentation formelle pour la gestion de documents XML
2000
Représentation de connaissance
Représentation du contenu
Sémantique
XML
Recherche d'information
Annotations
Ontologies
Objets
Formal content representation/Représentation formelle de contenu
troeps
escrire