Représentations de connaissance: de l'approximation à la confrontation - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 1999

Knowledge representation: from approximation to confrontation

Représentations de connaissance: de l'approximation à la confrontation

Jérôme Euzenat

Résumé

A knowledge representation formalism aims at modelling a precise domain. There are several such formalisms and, within one of them, there can be numerous models of the same domain. The present report is devoted to the study of the relationships between multiple representations of the same situation. It describes the work of the author between 1992 and 1998 progressing from the approximation relation to the confrontation of the representations. First, the notion of an approximation between object-based representations is developed mainly with regard to the taxonomy-based mechanisms (classification, categorisation, clustering). A classification scheme allows to consider these mechanisms in a homogeneous way and puts forward the approximation relation between the initial representation and the final one. It is shown how to build a knowledge representation system according to the principles of classification schemes. The second chapter introduces the advantages and problems of providing alternative taxonomies (organising the same set of objects) in a knowledge representation system. It considers some choices that can be made in implementing multiple taxonomies. These taxonomies are rephrased in terms of classification schemes. Granularity is the topic of the third chapter. Contrary to the other chapters, the representation formalism is an algebra of binary relations enabling to express the relations (in time or space for instance) between objects. The relationship between representations is constrained since the representations are ordered by the level of detail they consider. The rules governing such representations are presented. Last, the fourth chapter aims at confronting the various representations in order to take advantage of them (i.e. building a consistent and consensus representation). The goal of the presented works is the implementation of a system for co-operatively building consensus knowledge bases in which the users build a common knowledge base from the content of their individual ones. Two particular problems are considered: the design of a revision mechanism for object-based knowledge representation formalisms allowing the users to deal with inconsistency and the design of a knowledge submission protocol ensuring the gathering of consensus knowledge. Although limited, this insight into possible studies of the relationships between representations reveals the non-imperative character of the developed solutions, which are well suited to the interaction between the user and the representation system.
Un formalisme de représentation de connaissance a pour but de permettre la modélisation d'un domaine particulier. Bien entendu, il existe divers langages de ce type et, au sein d'un même langage, divers modèles peuvent représenter un même domaine. Ce mémoire est consacré à l'étude des rapports entre de multiples représentations de la même situation. Il présente les travaux de l'auteur entre 1992 et 1998 en progressant de la notion d'approximation, qui fonde la représentation, vers la confrontationentre les diverses représentations. Tout d'abord la notion d'approximation au sein des représentations de
connaissance par objets est mise en avant, en particulier en ce qui concerne mécanismes tirant parti de la structure taxonomique (classification, catégorisation, inférence de taxonomie). À partir de la notion de système classificatoire qui permet de rendre compte de ces mécanismes de manière unique on montre comment un système de représentation de connaissance peut être construit. Le second chapitre introduit la possibilité de tirer parti de multiples taxonomies (sur le même ensemble d'objets) dans un système de représentation de connaissance. La multiplicité des représentations taxonomiques est alors introduite en tant que telle et justifiée. Ces multiples taxonomies sont replacées dans le cadre des systèmes classificatoires présentés auparavant. La notion de granularité, qui fait l'objet du troisième chapitre, concerne la comparaison de représentations diverses de la même situation sachant qu'elles ont un rapport très particulier entre elles puisqu'elles représentent la même situation sous différentes granularités. À la différence des autres chapitres, celui-ci n'est pas situé dans le cadre des représentations de connaissance par objets mais dans celui des algèbres de relations binaires utilisées pour représenter le temps et l'espace. Le quatrième chapitre, enfin, va vers la confrontation des différentes représentations de manière à en tirer le meilleur parti (obtenir une représentation consensuelle ou tout simplement une représentation consistante). Le but des travaux qui y sont présentés est de développer un système d'aide à la construction collaborative de bases de connaissance consensuelles. À cette fin, les utilisateurs veulent mettre dans une base commune (qui doit être consistante et consensuelle) le contenu de leurs bases de connaissance individuelles. Pour cela, deux problèmes particuliers sont traités : la conception d'un mécanisme de révision, pour les représentations de connaissance par objets, permettant aux utilisateurs de traiter les problèmes d'inconsistance et la conception d'un protocole de soumission de connaissance garantissant l'obtention d'une base commune consensuelle. Cet aperçu partiel des travaux possibles dans l'étude des relations entre représentations est limité, mais il met en évidence le caractère non impératif des solutions proposées qui s'appliquenle système de représentation.
Fichier principal
Vignette du fichier
hdr-euzenat.pdf (1.17 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00340958 , version 1 (24-11-2008)

Identifiants

  • HAL Id : tel-00340958 , version 1

Citer

Jérôme Euzenat. Représentations de connaissance: de l'approximation à la confrontation. Intelligence artificielle [cs.AI]. Université Joseph-Fourier - Grenoble I, 1999. ⟨tel-00340958⟩

Collections

INRIA UJF INRIA2
387 Consultations
489 Téléchargements

Partager

Gmail Facebook X LinkedIn More