|
|
Ces remarques ont amené un des acteurs principaux d'INSTIL à concevoir le
système KATE [Manago, 1991] comme une extension de Neddie afin d'être en
mesure de traiter les entités complexes du monde réel. Dans ce système, on
s'appuie sur une représentation à base de schémas (ou frames) [Minsky, 1975],
qui est une représentation par objets structurés dérivée de la logique d'ordre 1
[Nilsson, 1980].
La formalisation de ces objets du point de vue mathématique est décrite au
chapitre 5, leur formalisation informatique au chapitre 6. Ensuite, les extensions
apportées à l'algorithme d'induction utilisant ces connaissances structurées sont
formalisées au chapitre 7.
1.4.2 Des mécanismes d'exploitation adaptés
Un frame ou schémaest une structurede données à trois niveaux frame-
attribut-facette représentant une unité d'information descriptive (un
descripteur) avec une sémantique donnée [Winston, 1977], [Bobrow &
Winograd, 1977], [Masini et al., 1989]. Si le descripteur est un objet, il peut
aussi bien représenter une famille d'objets (une classe) qu'un objet particulier
(une instance de la classe). La distinction entre ces deux types d'objets est
importante du point de vue de l'héritage(qui permet le partage et la réutilisation
des propriétés entre les objets) car la nature des relations qu'ils entretiennent
n'est pas la même :
|
|
|
|
Un frame n'accède qu'à (ne connaît que) l'information dont il dispose "en
propre", c'est à dire à ses propriétés ou champs associés (les slots), et aux
valeurs qu'elles prennent. Chaque champ est nommé et possède un type qui
permet de déterminer soit les caractéristiques locales de l'objet (type attribut),
soit les relations que l'objet entretient avec d'autres objets (type relation).
D'autres types sont également possibles. Certains sont prédéfinis et d'autres
peuvent être introduits par la personne chargée de représenter les connaissances
de l'expert :
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
