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

31

Le cheminement conceptuel

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 :

[!]

[!]

deux objets de type "classes" sont reliés par la relation d'inclusion entre ensembles avec un lien de type "sorte-de",
un objet de type "instance" est un élément appartenant à un objet de type "classe" et le lien est de type "est-un" [Giarratano & Riley, 1989].

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 :

[!]

les démonssont des messages procéduraux prédéfinis qui permettent d'appliquer des réflexes(activés automatiquement lors de l'accès à la valeur de l'attribut) ou des règles de bon sens sur les objets (appliquées à la demande de l'utilisateur). Ces règles appelées aussi méthodespermettent soit :