Intelligence Artificielle et Systèmes Experts
Intelligence Artificielle et Systèmes Experts
INTELLIGENCE ARTIFICIELLE
ET SYSTEMES EXPERTS:
PRINCIPES ET METHODES
TOME l
CHAPITRES l à VIII
par
Jocelyn Ouellet
Etudiant au doctorat
INRS-EAU
En collaboration avec
Janvier 1987
TABLE DES MATItRES
P,l\GE
1.0 INTRODOCTION.. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. 1
PAGE
RDERCIEK:NT
1.0 INTRODUCTION
L'I.A. prend son origine dans les années '30 et '40 par le rafinement
de la théorie de la logique et des méthodes d'analyse numérique;
l'ordinateur n'était pas encore né, mais celles-ci devaient en dicter
les principes. La logique étant une méthode permettant de démontrer
les théorèmes mathématiques. Les systèmes logico-déductifs ont été
implantés avec succès sur ordinateur, et la conception abstraite de
2.
2.1 REVUE
.!:.'!:n!!.e~b.!.e_d~s_0.E.érale~r.!!.:
manipule la base des données. Par
exemple dans la résolution de théorèmes, les opérateurs sont les
règles d'inférence telles que le modus ponens et le principe de
résolution.
7.
Dans notre exemple du robot, ceux-ci sont les règles pour son dépla-
cement. Quelquefois l'ensemble des opérateurs se résume à quelques
règles générales d'inférence qui génèrent de nouvelles assertions de
celles existantes; habituellement il est plus efficace d'utiliser un
grand nombre d'opérateurs spécialisés qui génèrent de nouvelles
assertions.
2 1 6 l 2 3
4 8 8 4
7 5 3 7 6 5
L'espace des états peut être représenté aussi par un graphe où les
noeuds sont les états et où les arcs sont les opérateurs transformant
un état à un autre. L'état résultant d'une transformation est appelé
successeur.
L'état initial est l'état tel que montré à la figure 2.2.1, l'état
final est celui montré à la figure 2.2.1.
GHDBGBDDHGHDBBGHDBGGHDHDBBGH.
Cette sui te n'est pas nécessairement la plus courte mais en est une
parmi toutes les suites possibles menant à une solution.
2 l 6
Niveau 1 4 8
7 5 3
G HI BI Dl
2 1 6 2 6 2 1 6 2 1 6
Niveau 2 4 8 4 1 8 4 5 8 4 8
7 5 3 7 5 3 7 3 7 5 3
H BI Dl
1 6 2 1 6 2 1 6
Niveau 3 2 4 8 7 4 8 4 8
7 5 3 5 3 7 5 3
D BI
FIGURE 2.2.3
EXEMPLE D'ESPACE D'LTAT OU CASSE-TrTE DE LA TABlETTE ~ HUIT PlAQUETTES
Il.
D B\
l 6 2 l 6
Niveau 4 2 4 B 4 8
7 5 3 7 5 3
B GI DI
l 4 6 l 6 l 6
. Niveau 5 2 B 2 4 B 2 4 B
7 5 3 7 5 3 7 5 3
G HI BI D/
l 4 6 l 6 1 4 6 1 4 6
Niveau 6 2 B 2 4 8 2 5 8 2 8
7 5 3 7 5 3 7 3 7 5 3
B HI D\
l 4 6 4 6 1 4 6
Niveau 7 7 2 B 1 2 8 2 8
5 3 7 5 3 7 5 3
D HI
l 4 6 1 4 6
Niveau 8 7 2 8 2 B
5 3 7 5 3
D HI GI
D
Hl GI
1 4 6 l 4 6 1 4 6
Niveau 9 7 2 8 7 8 7. 2 8
5 3 5 2 3 5 3
H GI
1 4 6 1 4 6
Niveau 10 7 2 7 2 8
5 3 8 5 3
G HI BI
1 4 6 1 4 1 4 6
Niveau 11 7 2 7 2 6 7 2 8
5 3 8 5 3 8 5 3
H BI GI DI
1 6 1 4 6 1 4 6 1 4 6
Niveau 12 7 4 2 7 3 2 7 2 7 2
5 3 8 5 8 5 3 8 5 3 8
D GI BI
1 6 1 6 1 4 6
Niveau 13 7 4 2 7 4 2 7 2
5 3 8 5 3 8 5 3 8
B GI
B GI
l 6 2 1 6
Niveau 14 7 4 7 4 2
5 3 8 5 3 8
B HI GI
1 6 2 1 6 1 6 2
Niveau 15 7 4 B 7 4 2 7 4
5 3 5 3 8 5 3 B
G HI
l 6 2 1 6 2
.
Niveau 16 7 4 B 7 4
5 3 5 3 B
H GI DI
1 6 2 1 6 2 1 6 2
Niveau 17 7 B 7 4 8 7 4 8
5 4 3 5 3 5 3
D HI BI GI
1 6 2 l 2 1 6 2 l 6 2
Niveau 18 7 8 7 6 8 7 4 8 7 B
5 4 3 5 4 3 5 3 5 4 3
B HI GI
FIGURE 2.2.3 (suite)
B HI GI
1 6 2 1 6 1 6 2
Niveau 19 7 8 3 7 8 2 7 8
5 4 5 4 3 5 4 3
G HI
1 6 2 1 6 2
Niveau 20 7 8 3 7 8
5 4 5 4 3
B HI GI
1 6 2 1 6 2 1 6 2
Niveau 21 7 8 3 7 3 7 8 3
5 4 5 8 4 5 4
H Di
1 6 2 1 6 2
Niveau 22 8 3 7 8 3
7 5 4 5 4
0 BI HI
1 6 2 1 6 2 6 2
Niveau 23 8 3 7 8 3 1 8 3
7 5 4 5 4 7 5 4
H BI GI 0\
fIGURE 2.2.3 (suite)
EXEMPLE D'ESPACE D'rTAT DU CASSE-TETE DE LA TABLETTE ~ HUIT PLAQUETTES
15.
H BI G( DI
1 2 1 6 2 1 6 2 1 6 2
Niveau 24 B 6 3 B 5 3 8 3 8 3
7 5 4 7 4 7 5 4 7 5 4
D GI BI
1 2 l 2 l 6 2
Niveau 25 8 6 3 B 6 3 B 3
7 5 4 7 5 4 7 5 4
B GI
l 2 3 l 2
Niveau 26 B 6 8 6 3
7 5 4 7 5 4
B HI GI
l 2 3 l 2 l 2 3
Niveau 27 8 6 4 B 6 3 8 6
7 5 7 5 4 7 5 4
G HI
l 2 3 l 2 3
Niveau 28 B 6 4 B 6
7 5 7 4 5
H GI DI
H GI DI
1 2 3 1 2 3 l 2 3
8 4 8 6 4 8 6 4
7 6 5 7 5 7 5
(TAT FINAL
4- considérons A = (D,
E), 8 = (8) un ensemble sous-problèmes à un
élément, C = (f, G, H). En général, pour chaque noeud représen-
tant un ensemble de deux sous-problèmes ou plus, il y a des arcs
~ orientés du noeud vers chaque sous-problème individuel de l'ensem-
ble. Si un ensemble de sous-problèmes peut être résolu seulement
si chacun des membres doit être résolu, alors les noeuds sous-
problèmes sont appelés noeuds ET.
2- c'est un noeud non terminal, mais dont ses successeurs sont des
noeuds ET, et peuvent être tous résolus;
3- c'est un noeud non terminal, mais dont ses successeurs sont des
noeuds OU, et qu'au moins un peut être résolu.
2- c'est un noeud non terminal dont ses successeurs sont des noeuds
ET, et qu'au moins un n'a pas de solution;
3- c'est un noeud non terminal dont ses successeurs sont des noeuds
OU, et tous n'ont pas de solution.
1 2 3 l 2 3
1--------.1
B
1
C
''------4 D
FIGlfiE 2.2.4
à chaque tour, les règles définissent quels sont les mouvements qui
sont légaux, et les effets que chaque mouvement possible aura sur
l'ensemble du jeu;
Les états terminaux sont ceux représentant un gain, une perte ou une
égali té. Chacun des chemins du noeud racine au noeud terminal
représente une suite de mouvements possibles du jeu.
Cependant dans bien des cas la recherche aveugle n'est pas praticable
à cause de la trop grande dimension de l'espace des états. Dans ces
cas on utilise des techniques de recherche à l'aide d'heuristique.
21.
Les états terminaux sont ceux représentant un gain, une perte ou une
égali té. Chacun des chemins du noeud racine au noeud terminal
représente une suite de mouvements possibles du jeu.
Cependant dans bien des cas la recherche aveugle n'est pas praticable
à cause de la trop grande dimension de l'espace des états. Dans ces
cas on utilise des techniques de recherche à l'aide d'heuristique.
22.
#
1 1
1 ** 1 1 1
~=#i=~#
1 1 1 1 1 1
88 8 8 8 8 88
A A 8 A A 8 A A
~ ~
~W=F #
8
A A
A{-it- Afis A
A 1 1
~
8
~
88 A88 8
if#=
8
A
A
1
A
~I---+---
A B Afis A
A 8
~
B-
~
8 8
8 $F88
8 A 8 A 8 A A
A A A A A
. 1- A gagne
fiGURE 2.2.5
3- la recherche bidirectionnelle
Pour distinguer visuellement les noeuds ET, des noeuds OU, les arcs
dans le graphe sont reliés par une horizontale.
25.
Lorsque l'espace des états est trop grand et/ou pour empêcher.
l'explosion combinatoire, certaines informations pour la résolution
d'un problème (dans un domaine particulier) peuvent être utilisées
pour aider à réduire la recherche. Des informations de ce type sont
appelées des informations heuristiques.
Une généralisation de l' algori thme A* est définie par une fonction
d'évaluation de la forme suivante:
f*(n) = (1 - w) g*(n) + wh*(n), où w = [0, 1].
1- la somme des coOts d'un arbre solution est la somme de tous les
coûts des arcs dans l'arbre;
28.
2- le coût maximum d'un arbre solution est la somme de tous les coûts
des arcs concernant le cheminement le plus coûteux de la racine à
un noeud terminal.
m·1
5- si n est non terminal avec aucun successeur alors h(n) est infini.
29.
Quels sont les types de connaissances qui ont besoin d'être représen-
tés d'une façon intelligente? Pour répondre à cette question consi-
dérons la liste sui vante de types de connaissances qui ont besoin
d'être représentés dans les programmes de I.A.: les objets, les
événements, la performance et les métaconnaissances.
Le~ oble!s: typiquement ce sont des connaissances sur les faits, sur
les objets qui nous entourent tels que: les oiseaux ont des ailes,
la neige est blanche, les hirondelles sont des oiseaux, etc.
33.
le~ év!n~m~ls: ce sont des connaissances qui ont trait aux actions
et événements dans le monde. En plus de pouvoir représenter les
actions, un formalisme de représentation pourra être nécessaire pour
une chronologie lors d'une suite d'événements, ainsi que les rela-
tions de cause à effet.
qui est un
processus de raisonnement naturel pour les humains mais qui n'a pas
trouvé d'application utile en I.A.
Comme illustré auparavant, des' énoncés de cette sorte ont une repré-
sentation naturelle dans des modèles de représentation logique. Un
aspect particulier cependant de la représentation par réseaux séman-
tiques est que des associations importantes peuvent être faites
explici tement et succintement. Des faits pertinents d'un objet ou
d'un concept peuvent être inférés d'un noeud auquel ils sont directe-
ment liés sans chercher à travers la base de connaissances.
Un autre aspect; qui mérite d'être mentionné, est qu'à chaque cadre
on peut attacher des informations telles que:
L' approche est d' utiliser une représentation qui est analogue aux
propriétés de la situation à représenter. La représentation est
utilisée par une observation directe de l' information désirée telle
que la forme, la grandeur, les angles, les contraintes, etc.
C& langage même s'il n'est plus guère utilisé, introduisit un certain
nombre d'idées fondamentales qui maintenant sont incorporées dans
tous les langages de programmation en I.A.
LISP
Les symboles en LISP sont appelés atomes, et chaque atome peut être
associé à plusieurs propriétés.
C'est aux rtats-Unis que LISP est le plus utilisé pour la conception
de systèmes. Plusieurs environnements commerciaux de programmation
ont été créés sur des "machines LISP" et les commandes de programma-
tion sont soit identiques ou similaires à l'usage du LISP.
- .cOMMON LISP,
- GOLDEN COMMON LISP,
- INTERLISP,
- XLISP,
- QLISP,
- MACLISP,
MULTILISP,
- SI-LISP.
44.
PRO LOG
Nom Compagnie
MICRO-PROLOG LPA
PROLOG Expert System International
PROLOG II Prologia (France)
PROLOG-86 Solution Systems
TURBO-PROLOG BORNLAND
AUTRES LANGAGES
LOG LISP et LISLOG ce sont des langages hybrides des langages LISP
et PROLOG.
Une règle, par exemple, peut être un énoncé de la forme "Si cette
condition (ces conditions) est(sont) vérifiable(s) ALORS cette action
est appropriée." La partie SI de la règle énonce les conditions qui
doivent être présentes, parmi les faits établis ou à établir, pour
que la règle soit applicable, et la partie ALORS est l'action
appropriée à prendre. Durant l'exécution du programme, une règle
dont la partie condition est satisfaite est déclenchée, c'est-à-dire
qu'elle peut avoir sa partie action exécutée par le "déclencheur"
51.
(nous reviendrons plus loin sur ces notions). L'action des règles
peut changer la base des faits, ceci a pour effet que certaines
règles qui n'étaient pas déclenchables avant, le deviennent parce
qu'elles ont leurs parties conditions satisfaites.
Le_m,!?de .E!,'in~[Link]~_des_cE.n.!!.ais~a.!!.c~s:
les conventions proposées
pour la formulation des règles sont très variables d'un système
expert à un autre. Cependant un point commun réside, en matière de
langages, c'est la "rédactio.!!.~[Link]" des règles. Par rédaction
associative on entend que l'on veut évoquer les règles par un mode
d'accès associatif: c'est-à-dire que l'information contenue dans une
règle n'est pas lue en donnant une adresse ·précise d'une ceHu le de
la mémoire, mais en donnant une partie du contenu de la cellule qui
contient l'information recherchée.
tion".
une nouvelle règle qui vient d'être déclenchée, et qui n'était pas
apparue précédemment;
lorsque l'ensemble des règles est vide certains moteurs très simples
s'arrêtent; on dit que ces moteurs ont un "ré.9,i,!!!e_de ~ont!.ôle_i!,r!v~
les systèmes experts ont le plus souvent été utilisés pour repré-
senter la conna~ssance des experts à savoir comment un expert exécute
une tâche particulière, comme par exemple, la compréhension du
langage parlé, le diagnostic médical, l'exploration minière, ••• En
psychologie aussi, les systèmes experts sont des outils très popu-
laires pour la modélisation du comportement humain, sans doute par le
caractère stimuli-réponse des règles.
Un autre attribut est l' "uni formi té" lors de la construction des
règles de la base de connaissances. Puisque toute l'information doit
être codée suivant une structure rigide, la compréhension des règles
est plus facile. Il devient facile de mettre au point et de réviser
la base de connaissances.
Les systèmes experts se' différencient les uns des autres plus ou
moins profondément, soi t d'un point de vue externe: selon le type
de langage qu'ils proposent pour capturer la connaissance expert,
soi t d'un point de vue interne: selon les particularités et les
modes de fonctionnement des moteurs d'inférences.
- l'identitité,
- la semi-unification,
- l'unification.
Il faut noter qu'à côté de la théorie des probabilités qui sert dans
certains systèmes comme modèle de l' incerti tude et de l'imprécision
on dispose d'autres modèles plus ou moins empiriques tels que la
théorie des possibilités elles-m~mes issues de la théorie des sous-
ensembles flous. Celle-ci donne à chaque individu d'un ensemble un
degré d'appartenance de l'individu à cet ensemble.
certains systèmes
fonctionnent en "chaînage mixte": une partie des faits de la base
des faits sont considérés comme étant à établir, d'autres sont
considérés comme établis; les conditions des règles peuvent porter
simultanément sur des faits de l'une ou l'autre sorte.
On pourrait aussi avoir que "P implique Q" est certain mais que Pest
imprécis, alors d'un fait Po proche de P on pourra inférer un fait Qo
proche de Q.
Dans CENT AUR on parti tionne les règles. On distingue les classes
suivantes: les "règles de déclenchement", les "règles d'inférences",
les "règles d'affinement", et les "règles de synthèse".
Phase d'évaluation
--~------
Phase exécution
1- D Q, V
2- F, G B, R, M
3- P, R Q, Z, D
4- X, A P, H
5- M B, H, X Base des règles
6- D, B H, V
7- y- C, M, R
B- H Q ë, Z
9- -'
X P, H
10- D, F A
11- M, Q F, X, B
ncmE 5.5.1
Retour-,rrière
Arrêt du moteur
'Fi, B, C, D
règle l cycle l
'Fi, B, C, Q, V ~, g
règle 7 cycle 2
"Fi, B, C, Q, M, R
règle 5 cycle 3
"Fi, B, C, Q, X, R E, g
B, C, X, R, Z 'Fi, B, C, Q, P, R
règle 9 cycle 5 règle 8 cycle 9
B, C, P, "Fi, R, Z B, C, Z, P, R
(le moteur s'arrête)
l'ensemble
de con- cycle 6
fH ts est.
vide
re'tour-
arrière au cycle 7
début du (ensemble de conflits vide)
5e cycle
retour-
arrière au cycle 8
début du
4 e cycle
-----------------~
FIGURE 5.5.2
ENCHAINEHENT DES CYCLES DU MOTEUR
DU MINI-SYSTEME EXPERT
74.
Dans ce cas, le texte est d' abord segmenté en une série de tracés
continus, segments de droite ou arcs de cercle que l'on appelle
"primi ti ves de base". On caractérise ensui te les relations qui
existent entre ces éléments de base (point de rebroussement, change-
ment de carbure) par une seconde série de primitives. Enfin un
troisième niveau de primitives traduit la position relative et les
relations qui existent entre les différentes parties du tracé.
Finalement, un système de classement des primitives qui classifie
chaque fait (droite, courbe, arc de cercles) en classe de longueur et
en classe de courbure.
78.
Les inconvénients:
Le module lexical fait intervenir les informations sur les mots qui
composent la langue. Il faut y. inclure les mots communs, les verbes
et leurs conjugaisons, les noms propres, les mots rares, les mots
techniques, les mots qui se prononcent différemment dépendant des
règles phonologiques. Chacun doit être accompagné d'informations sur
sa catégorie grammaticale (son genre, son nombre, etc.).
Le module sémantique traite du ou des sens des mots tels qu'on peut
les trouver dans un dictionnaire et des relations entre eux.
85.
L'une des approches est par l'utilisation des systèmes experts pour
la lecture des sonogrammes. La connaissance qu'ont les phonéticiens
de la lecture et du décryptage visuel des sonogrammes est difficile à
traduire en une séquence de calculs déterminée. Le concept des
systèmes experts est en revanche capable de prendre en compte ce type
de savoir-faire. Le problème est qu'un phonéticien utilise ses
connaissances en phonétique jusqu'au niveau de la perception visuelle
des éléments pertinents, qui lui permettent de décoder le sono-
gramme. Il faut faire intervenir ce savoir jusque dans la conception
du capteur chargé de lire le sonogramme.
6.4 LA VISION
6.5 l'APPRENTISSAGE
7.2.1 Présentation
- NOM;
- AUTEUR(S);
- REn:RENCE;
- ANNEE DE PREsENTATION;
- APPLICATION;
- NOHBRE DE REGLE S ;
- LANGAGE;
- PERFORMANCES;
Il ne faut pas négliger non plus l'importance des futures usagers qui
correspondent à la troisième catégorie des intervenants. On devra
tenir compte des comportements des usagers pour concevoir des inter-
faces efficaces et adaptées à l'usage prévisible du système expert.
Ainsi le système sera utilisé s'il est plus facile pour des usagers
d'obtenir une connaissance experte, plutôt que d'appeler par télé-
phone le spécialiste pour obtenir une réponse. Il est donc indispen-
sable d'impliquer les usagers t13S tôt dans le projet afin de
s'assurer que les décisions prises au cours de la conception per-
mettront de livrer un produit satisfaisant leurs exigences d'utili-
sation.
Notre point de vue est qu'il ne faudrait pas attendre que des
systèmes experts soient développées par d'autres pour ensui te les
113.
8.4 RECOMMANDATIONS
RrffRENCES
BUCHANAN, B.G., Expert Systems: Working Systems and the Research Literature,
Knowledge Systems Laboratory, Stanford University, December 1985, 55 p.
D.R., "La théorie des graphes", revue Micro-systèmes, nO 38, janvier 1984,
pp. 138-142.
FERBER, J., "Les systèmes-experts (1): raisonner dans un univers réel", revue
Micro-systèmes, nO 41, aVTil 1984, pp. 118-122.
FER BER , J., "Les systèmes-experts (II): un moteur d'inférences PASCAL", revue
Micro-systèmes, nO 42, mai 1984, pp. 132-137.
FER BER , J., "Les systèmes-~xperts (III): des noyaux qui ont la pêche", revue
Micro-systèmes, nO 43, juin 1984, pp. 68-73.
FER BER , J., "Les systèmes-experts (IV): du mythe à la réalité", revue Micro-
systèmes, nO 44, juillet-aoat 1984, pp. 112-114.
FERBER, J., "Les langages obj ets: une affaire de messages", revue t1icro-
systèmes, nO 52, avril 1985, pp. 152-158.
FER BER , J., "La programmation par acteurs (II): langages et méthode", revue
Micro-systèmes, nO 63, avril 1986, pp. 164-171.
GALLA IRE , H., "la représentation des connaissances", revue la Recherche, men-
suel nO 170, octobre 1985, pp. 1240-1251.
GANASC lA, J. -G., "l'apprentissage dans les systèmes experts", revue Micro-
systèmes, nO 5B, novembre 19B5, pp. 146-151.
KASTNER, J.R. et S.J. Hong, "A Review of Expert Systems", European Journal of
Operational Research, 18, 1984, North-Holland, pp. 285-292.
KA YSER , D., "Des machines qui comprennent notre langue", revue La Recherche,
mensuel nO 170, octobre 1985, pp. 1198-1213.
LAR VET, P., "Un moteur d'inférence d'ordre zéro: en BASIC", revue t~icro-
SATHI, A., "AI Based Systems in Project Management Conference", Journée Augus-
tin Frigon: Intelligence Artificielle et Systèmes-experts, 9 novembre
1984, pp. 2-0, 2-1.
UNI VERSITY OF CI\LIFORNII\ I\T lOS I\NGELES, Proceedings of the Ninth Intern-
ational Joint Conference on I\rtificia1 Intelligence (Volume 1), Los
I\ngeles, 1985.
1
r
JII'
l
r- ,.- r- r~-
6!"*,;P'l""<'" 1"~~'''':'- \~4>;o-'""~':
DISCIPLINES INVENTORI(ES
- Accidenta et déveraelleote
- Acquisition de connelaosnces
- Admlnlstratlon
- Agr Icu Hure
- Agronomie
- Archéologie
- 81010gle
- Cartographie
- Chl .. le
- Conception et fabrication aeeletle par ordinateur (Cf AD)
V - ContrÔle de proceaeua
- Droit
- EnaelgneMent aselet' par ordinateur (EAD)
- C1nle
- Géologie
- Infor ... t1que
- Jeux
- Langue neturelle
- H8lhé .... t1~ee
- Hédeclne
DlSCIPUNlS INYENTOIUt:'ES (ruite)
- Hilltalre
- Hultl-expert8
- Hycologle
- Phy8lque
- Productlon aenufacturl~re
- Programmatlon autoMatique
- Ralaonnement
- Reconnal88aoce de la parole
- Répara tlon
- Rloquea
- Robotique
- Syat~.ea-experta
~ Sy8t~me8 généreux
- Syat~mee d'opératlon
- Traductlon autOMatlque
- Zoologle
."
~
...
!
~.
~ ...
!
t.1
..
....
."
z
i!
....<
'"
~
MOTEURS
N{)I AUTEUR(S) Rl'rl'- ANNl'E OIlIGIN[ APPLICATIONS NOIIlRE HOOE OC REP Rl'- LANGAGE PIIASE rONCTlON- PERrORHANCES D'lNrl'RENCE COMMENTAIRES GtNl'RAUX
RENeES DE SENTATION DES ACTUEllE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
1
,
1 1 1 1 1 1 1 1 1 1
en
.....
CI
1
1
~ -
::
u
~
;:l
! /
=
..,.
i
~
//
HIHEURS
Nll4 AUTEUR(5) R~n'- ANNt:E OII1GlNE APPLICATIONS NOt-llRE HOOE Il( REPR~- LANGAGE PItASE fONClION- PERfORMANCES D'INf~R[NCE COHHENTAIIŒS ŒNI:"RAUX
RENCES DE 5(NTAlION Il(S ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
CHI - (7) - -
(Kestrel
Acquisition des con-
oslsseoces, vllrlfl-
- - - - - - -
lostltute) cation de la consls-
tanee deo ootr'ea,
"dtlbugglog" , 4dlt Ion,
1181nteoance.
KLAUS N. H888 ,
G.G. Iteodrlx.
(7) 1980 I:':tsta-Uolo Acqu lai tlon et
repr4seotetlon des
- - - - - - -
connaissances.
,
.......
!
C
!l•
,..
al
.. '" .. .. ... ~
~
,..~
i ..
....'" .... ....'".
~ "
>< ~ '"0c ><
~
... t!
l ~'" ~ c !il
z
~ '"
~ -' S ~ ... %
1
~
C
-'
oC
~ i:)j '~"' ...c
><
i CD
'" ""
-..
U
al
.!
HOTEURS
NOH AUTEUR(S) Rtn:- ANNtr OHIGINE APPLICATIONS NOItlRE HIJO[ or
REPRt- LANGAGE PIlASE fONCTlON- PERFORMANCES 0' INftR[NCE CIltfIENTAlI!ES ŒNtRAUX
RENCES DE SfNTATlDN ors ACTUELLE NntENT OCJA
RtGLES CONNAISSANCES EXISTANTS
[(JOAS J.l.
felnateln,
(H) 1905 llata-Unla Conaella aur la r6v6-
latlon d'lnfor .. tlona
- - - - - - -
f. Sel.... admlnlatret 1 vea
confident lellea.
compteura.
Caroline
du Sud)
- - _ .. _- ----- .. 1
HOTEURS
NOH AUTEUR(S) R(f(- ANN([ ORIGINE APPLlCA TI ONS NOItiRE H(l)E OC REP R(- LANGAGE PilASE fONCTlON- PERfORMANCES 0' 1Nf(RENCE COMMENTAIRES G(N(RAUX
RENCES 0[ SENTATlON OCS ACTUELLE NEHf:NT OCJA
RtGlES CONNAI SSANCE S EXISTANTS
1
KH-l - (2) - -
(Syete.
Syetbe de geetion de
le conne leeeoce qui
- - - Re-
cherche
- - -
1
---
MOTEURS
NOM AUrEUR(S) R(tC- ANNeE ORIGINE APPLICA liONS IIOIIIRE HOOE Œ HEPRC- LANGAGE PHASE fONCTlON- P ERfORHANCES D'INfCR[NCE COMMENTAIRES GeNCRAUX
RENCES OC SENTATlON ŒS ACTUELLE HEHENT OCJA
REGLES CONNAISSANCES EXISTANTS
1
SEHAflN R. Pesero,
R. Dovld.
- 19U5 france
(SocléU
Domaine odminla-
tratlf.
- - - - - - - 1
Prologle 1
---1
SHC R. Pas"ro,
R. Oavld.
- 19U6 france
(Socl4td
[Link] bancaire. - - - - - - -
Prologle)
de l'aeauranca
- o. Pallea
et al.
(U) - France
(Tecltl)
Coolteiller en
placellent.
}50 Règle de
production
- Racher-
che
- - - 1) Hoteur d'ordre o.
1--
1
------ ------ .
AGIl Ica. TIllE
POHHE
WIEAT COUNSElOR
\
, MOTEURS
NOH AUTŒH(S) R(n:- ANN(l ORIGIN[ APPLICATIONS NOIeRE I!OOE DE REPH(- LANGAGE PHASE fONCTlON- PERf ORHANCE S D'INf(RENCE COHHENTAIRES G(N(HAUX
RENCES DE SENTATlON DES ACTUEltE NEHENT o(JA
RtGlES CONNAISSANCES EXISrANTS
.\
1
POHHE J.\I. Rooch,
R.S. Vlrkar,
(}1) 19U~ (telo-Unle
(Virginie
Coneelile lee fer-
_Iers IIOr la geetion
- - - - - - -
H.J. Weaver, Polytechnlc des ver9"rs de
C.R. Drake. Inetltut,,) po ...es ( ..... 101 de
pesticides, etc.)
IIItEAI
COUNSElOR
- (H) 198~ (teto-Unls
(ICI)
COllee Ils /lUr le
contrOle dea .... l .. dlea
- - - fonc-
tionnel
- - -
lora d.. 1.. récolte
du bld.
.-
...
CD
"
CD
...... "
~ ~
1 a
<
1
."" .
z
..J
...
Z
<
..J
...e
-.".
lB
Q
HOTElIIS
NOH AUTEUH(S) R(f(- ANN(E ORIGINE APPLI CATI UNS NOMlRE HW[ IlE REP R(- LANGAGE PHASE fONC TI ON- PERfORMANCES O'INf(RENCE CIlHHENTAIRES GrN(RAUX
RENCES OC SENTATION IlES A[Tl/(LLE NEHENT o(JA
REGlES CONNAI SSANCES EXISTANTS
AQ-U R.S.
Hichalald
(~) 1978 (tah-Unill Inflrenee de règles
(IInh. de diagnoatic con-
- Règlea de pro-
duction
- - - Sur 4)0 ex.
choialBI a
- 1) fonctionne bien c .. r U y a correspon-
dance directe entre sy..,tOmes et dla-
d'Illinois) cernent lell _aladlea dIIcouvert le gnostical "fonctionnerslt besucoup
du aoj ... 111811 leur .ains bien dllfla le cas où 11 faudr&H
diagnoatlc utiliser des concluulons Interoétliolre8
dans 97,6' et dea stratégleo condltlonnellea à Cea
des css et e concluaions".
émis une ~) Les forllles syntsxiques générées B,x,t
liste des Il_Ltles.
hypothèses ) Certaines règles sont logiquement
qui conte- lourdes et quelquefois si..,Uflobles (si
nalt le le systêllle possédsit "le bon sen8").
.... Uleur 4) Plut4t IIlgorlthllll! trsditionnel ...
disgnostlc 5) Apprentissage' l'aide d'exemples.
dans 100$ 6) Hoteur de catégorie O.
de8 cas.
----
PLANT/dc R.S.
Hlchalsl<i
(1) - (tatll-Unla Pro!voir les ddg'ta
(Unlv. provoquls par un pa-
- - - - - - AOVISE 1) Dérhé de PLANT/ds.
PLANT/da R.S.
Hichalski
(1) 1982 I:'tats-Ikois OLagnoatic dea _a-
(Ikoh. ladiea du aoja.
- - - - - - AOVlSE 1) l'ordre dans lequel les règles S~lt dé-
clenchées Influence le rtlsultat.
d'Illinola) 2) Capable de gtlntlreliser des règles.
) Système adeptst1f.
4) Il utUiae, outre les rbyles fournies
~ . par les experta, des règles auto... ll'lue-
~t dtlrlvlea psr généralisation de Cas.
IUH - (1), 9 198" france Prototype dtlvelopp' Environ - - - - - EHYCIN 1) AppareU destiné ou. professionnels de
(CognHech, afin d'olvaluer 200 l'agriculture.
Paris) l'opportunltol et la
fall>abUltl d'un aer-
vice nat 10nal de con-
sultation pour lea
1R81adlea dea plantea. .
..
u
~
HOTEURS
101 AUTEUR(S) Rt:ft~- ANN(E ORIGINE APPLICATIONS NIlKIRE IOlE OC REPR('- LANGAGE PHASE fONCTlON- IPERrORHIINCE S 0'1 Nf('RENCE COHHENTAIRES G('N('RAUX
RENCES OC SENTAllON OCS ACTUELLE NEHENT IJ('JI\
RtGlES CONNAISSANCES EXISTANTS
~
Blll..OClE
GENESIS
HOLGEN
PROTEAN
HOTEURS
NON AUTEUR(S) R(n~- ANNI:':E ORIGINE APPlICA Tl ONS NOItIRE HID[ OC REPft(- LANGAGE PHASE fONCTlON- PERfORMANCES D'INf(RENCE COHl'{NTAIRES G1:"N(RAUX
RENeES DE SENTATIDN OCS ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
[Link] H. Steflk l, 2,
5, H,
1977 ~tate-Unia Aide dee ginéticiens
pour la planification
- - - fonc-
tionnel
- - EHYCIN 1) Utills4 dans les universités et Jes
laboratolree Induetriels de biologie
16 d'expérlencea IJJr .,ldculdre et de IJénélique.
l'ADN. 2) Offre la possibilité ..ux utll1ssteurR
da pouvoir structurer Jes connslssances
(1'1\glea, falta) en conglomérats
slgnUlcatlfa dans l'application.
,
-'.".
"
~
i~
!... .....
al
...~
i ....z
,..
i 0:
"-
1a. ~
..'"
....
...... ...... ,..... ,..~
~
0:
~C !i ><
Z
! ...'" i ~
..i!
z ....
§
u
!i
u
~
u
,..
>oC
'"Z
:0
~
~
S
:0
~
l
'"
u
!!!
c
0:
:0
oc
0
z
~
1 0
0:
,.. ,..z
u
%
U
%
0
0:
OC
z ~
>oC 8 'f ,..Z
...~ ...... ... ...~ ...~ '"
0: U
~
fil ...~ !i
oc
!;!
>oC
;: ~
:z
'" -'
'"
~ "
al
.!
;z
,..
~I .."
o....
./
.-"
/'
/'
HOTEURS
NOM AUTEUR(S) Rfrf- ANNlCr ORIGINE APPLICATIONS NOItlRE HIllE Œ REPRf- LANGAGE PtlASE rONCTlON- PERfORMANCES 0' INf(RENCE COHHENTAI RES GeNfRAUX
RENCES Œ SENTATION ŒS ACTU[llE NEHENT o(JA
RtGLES CONNAISSANCES EXISTANTS
~
HOTEOOS
NOM AUTEUR(S) R(f(- ANN(E ORIGINE APPLlCABONS NoteRE ~ DE REPRL- LANGAGE PHASE fONCTION- PERfORHANCES D'INf(RENCE COIfolENTAIRES GLN(RAUX
R[NCES DE SENTATlON DES ACTUELLE NEHENT {)(JA
RtGLES CONNAISSANCES EXISTANTS
·1
LAURA A. Adell, l,
J.P. Lourent. (C), 0
1980 fr .. nce
(Unlv. de
Syet... per..tt80t
aux dtudlanta pro-
- - - - - - - - 1) Il procède par comparalaon avec un pro-
gre_ type.
C..en) gra..... re 80 fORTRAN , 2) Apporte la correction néceaoslre su bon
de ré.oudre leure foncUonnem«at du progranme.
"bug.. " (erreur.. de
aé ...nUque).
HOTEURS
NOH AUTEUR(S) RI~fI~ - ANN~[ ORIGINE APPLICAJ IONS NOIflRE HOO[ Il[ REP R~- LANGAGE PHASE fONCTlON- PERfORMANCES O'INf~RENCE CO, .MENT Al' [S œN~RAUX
RENCES 0[ SENTATION Il[S ACTUELLE tCHENJ OCJA
[Link] CONNAISSANCES EXISTANTS
MENO-ll E.
Il.
Solowlly,
Woolf,
(}) 1901 - Enaeigne....nt de
concept~ de prograa-
- - - - - - -
E. Rubln, . .tlon et reconnals-
P. lIurlh. aance dea erreura
d'un ~tudlant lora de
1'~laborBtlon d'un
progrBRDe PASCAL.
HYCROfl I.P.
Goldaleln
(22) 197~ ~lBte-lJnla
(Mil)
"Wbug" de progre"""'o
dunt le but eot de
- - - - - - -
deoalner certslnea
for ...a.
NEOMYCIN W. J. Claocey l, 4,
IS
1901 ~tate-Unla
(Sl8nford)
Enae 1gnell8nt aulat'
par ordinateur.
- Règlea de
production
- - ChalnaC}e
avant
- - 1) Deuxlè.... veral on de GUIDON.
2) Le connalaaance a ~t~ complète.~nt ré-
IIcrlte et étendue.
PIXI[ 0.11. 51eeman (2) 190) ~tata-Unla Intelligent tutorlng - - - - - - - 1) [naelgne"",nl pour des étudiante ê,jés
(Unlv. ayatem that Infera a entre n et IS "'s.
"
Stonford) model of atudent per- 2) Enseigne l'algèbre Ilnéslre de büse
formance and uoes et l'arithmétique.
thet mode 1 88 a baals 1) fonctionne sur .,icro-ordinateul'.
for teachlnlj and
,
remedlal tutorlng.
PROGRAMMER' S C. Rich,
APPR[NTlC[ Il.[. Shrobe.
(2),
~, (C)
1976 (tate-Unis
(Mil )
Alde lea progranneUrB
en LISP • réawdre
- - - - - - -
leura "bugs".
HOTEURS
NOM ~UT[uR(S) R(f(- ANN(E ORIGINE APPlIC~TIONS NOItIRE HOOE IlE REPR(- LANGAGE PH~SE fONC fi 1lN- PERfORHI\NCES o'INf(RENCE COHHfNTAIRE5 c(N(RAUX i
RENCES DE SENTATlIlN IlES ACTUELLE NEHCNT o(JA 1
K. Lantl,
J.H.
TenenbauAI,
H.C. 1101 f.
WUY A. Collins,
A. Stevens.
(7) 1977 (tats-Unls
(IIIlN)
EnueignelOOnt !IUt la
cause <leu précipi-
- - - Recher-
che
- - - 1) Extenaion de SCUOLAR.
tallons (pluie).
,
,
~f-
....,...
.,
)(
.i ..,j
....
AI oC
a:
...
Il .
>-
,....,
...
z
!'"
<.J
~
..,j
c
'"a:
:-
<.J
..,j
oC
a:
!il
~
oC
'"~
..,j
!il
~
c
~
u
Z
tI'I
~
... '"
<.J
i;l
z
~
li
>-
'"
!
~
'"~
~
...~
-...
u
c!!
HOTEURS
NOH AU1EUIl(S) H(f(- I\NŒ[ ORIGItt: N'PLI CA liONS NOIIlRE H!DE OC REPR(- LANGAGE PIIASE fONCTlON- P':RfORHANCES D'INf(RENCE COHHfNTAIH[S G(N(RAUX
RCNCES DE SENTATION OCS ACTUELLE tt:HENT OCJA
RtGlES CONNAISSANCES EXISTANTS
--
CONGEN R.E. Corharl ~ 1979 - - - - - - - - -
CRYSAUS R. EnCJl'lllOre, l,
A. Terry. H
~, 1979 (tat&-Unh
(UnIY.
Recherche de la
atructure de pro-
- - - - - - -
Stanford) t4inea II parllr de
réoultata d'anolyae
cristallographique.
IlENORAL 8.G. l, 2,
(~), 9
1969 (late-Un1e
(UnIY.
Recherche de la for- - Règlea de pro- - fonc- - Son apli tu de Aucun
8uchanon IlUle développée d'un ductloo lionnel II expliquer
Stanford) corps orgenique. (Unlv. lee détaUa
Stanford d'une atruc-
• Labo. ture molécu-
pharma- lalre II par-
ceuli- Ur de doo-
quea) néea chloRi-
quee dl!paoae
celle dea
humaine.
Harvard)
HE TA()[NIlRAL 8.G.
Ouchanon
l, (5)
9
- (ta te-Unls
(Univ.
Progro-.& d'sppren-
liaaoCJl' Inductif
- - - - - - -
St8Oford) ayant pour but d'SM-
liorer et de t;JiSné-
raliaer dea rllglea
ex ls tsntes de OENDRAL
ou de gl!nérer de nou-
velles règles.
(Esoaie de co..,rendre
les loio qui régis-
sent 10 fro'Jllentot 100
des molécules).
HOTEURS
t«JH AUTEUR(S) Ht'ft'- ANNt'E ORIGINE APPlI CA TI ONS NOItlRE HIDE 0[ REP OC- LANGAŒ PHASE fONCTlON- PERfORMANCES O'INft'RENCE COHHENTAIRES Gt'Nt'RAUX
RENCES 0[ SENTATION O[S ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
SYNCtlEH Il.L.
Gelernter
(5) 1977 I:'tats-Unla Synthèee organique. - - - - - - -
TQHSTUNE C. Wong (H) 1965 -
(Lawrence
Tune triple quadru-
pole .eee epecto-
- - - - - - -
Uvermore Meter.
Nell. Labs)
- T. Iloyd (H) - -
(Sydlley)
Coneelile efln de
cholelr un herbicide
- - - - - - -
approprié pour une
spplicstlon epécl-
1
fique.
YI J. HcDerOlOtt, (j0),
S. HarcUB H
- ('tuta-Unls
(CHU/West-
Confi""rat ion
d' 88cenaeu ra.
- - - Recher-
che
- - -
Inghouae)
tllches da conduite
d'ordinateurs (pupl-
hage).
HOTEURS
NOH AUTEUR(S) R(r(- ANOCE ORIGII'C APPLICATIONS NOttlRE HOOE œ REPR(- LANGAŒ PHASE rONCTlON.- PERfORHAIlCES O'INf(RENCE COHHENTAIRES G(N(RAUX
RENeES DE SENTATION œs ACTUELLE NEHENT OCJA
R[GLES CONNAISSANCES EXISTANTS
-
,
1
MOTEURS
NOH AUT[UR(S) R(f(- ANN1"l OOIGINE: APPliCAlIONS NOIflRE HIll[OC REPR(- LANGAGE PIIASE fONCTlON- PERfORMANCES 0' 1Nf(RENCE COHHENTAIR[S G(N(HAUX
RENeES OC SENTATION OCS ACTUEllE NEHENT ŒJA
REGLES CONNAISSANCES EXISTANTS
PRUUST E. Soloway,
W.l. blOaoo.
(}) 1985 - Enael""[Link] et co ..
préhension de la do!-
- - - - - - -
..rctl\! eopruntée lora
de l'é.aboration d'un
1 progra_e.
SCIiOlAR J.R.
Carbonnell
(lO),
15
1970 - Utilla. pour la
grsphle.
9110- - Réeeaux
sélll80Uques
- - - - -
TVX H. 61111lll!fe,
H. Carlflo.
(H) 1905 (tate-Unla
(OCC)
Tutor uaer of VHS
operst1ng eystem.
- - - - - - -
CIIICEPTION ET fABRICATION ASSIST(E PAR OIIOlNAIEUR (crAU)
ALADIN
CALLISTO
COPESr
DM
DAS/LOGIC
GARI
HI-RI SE
1515
lEAP
MOIOR BRUSH DESIGNER
PLEX
PHOTOlI HlOGRAPItY ADVISOR
PRIDE
S TOWAGE P LANNER
rAlIo
VEXED-lEAP
vr
WRIGltT
XPSE
HOTEURS
NOM AUTEUR(S) R(n'- ANNLl ORIGlhE APl'lI CA liONS NOItlIIE HOOE DE REPR(- LANGAGE PIIASE fONCTlON- PERrORHANCES 0' 1 NITRENCE COItlENTAIHES G(NLRAIJX
HENCES OE SENTATION DES ACTUELU hElf:NT OCJI\
RtGlES CONNAISSANCES EXIS TANTS ,
PIIOIOlIlHO-
GHA/'IIY
T. Cline,
W. fong,
(H) 1965 (tata-UnIe
(tlewlett-
Troubleahoot photo-
U thography stepa ln
- - - - - - -
ADVISOR S. Roaenberg, Psckard) circuit fabrication.
H. Walker.
S TlJWAGE
HANNER
A. Hlyajll1ls (H) - Japon Oolveloppe dos plana
d'entreposage de
- - - - - - -
cargalsOIl8 dana un
entrepllt
/
HOTEURS
OOH AUTEUR(S) R~f~- ANNLt: ~llGINE \ APPLICATIONS NOHlRE HIDE Il[ REP~- LANGAGE PIIASE fONCTlON- PERfORHANCES D'INf~RENCE COHHENT A1HE 5 ~NrRAUX
RENCES DE SENTATION Il[S ACTUELLE NEHENT D~JA
RtGUS CONNAI SSANŒ S EXISTANTS
\
ALADIN H.L.
farlnaeel,
0) 1986 - ConcBp,tlon d'un
alliage d'alUIIIlnlu.
- -\ - - - - -
\
H.S. fox,
1. lIulthege, il \
H.D.
Ryehener.
OURSE R. Pasero,
A. Osvid.
- 198~ france
(SocUté
Outil de réalisation
de aystèmes-experta.
Varla-
ble
Logique du
1er ordre
[Link]
11
Produc-
tion
SL-Resol-
ution
- - 1) L'ordre dena laquel les règles sont
utUisées n'a pas d'lnf luence our le
Prologls) (arrUre) réaultat.
+ 2) Le Bystè .... peut répondre 11 des qùcst Lons
produc- lui de ...ndant d'exp liciter son rdeon-
tion ne_nt.
(avant) l) Pendant la "phase de consultation"
l 'ut 11isateur peut ,"mander au [Link]!
où 11 en est rendu.
4) La COOIAIunicaUon entre l'[Link] et
le Bystèlle se fait partiellement en
langue naturelle.
5) Le Byatèoe est capable de détecter lea
contradict ions.
MOTEURS
OOH AUTEl!R(S) R(f(- AN~E ORIGINE APPliCATIONS NOIIIRE MIDE IlE REPRC- LANGAGE PHASE fONCTlON- PERfORMANCES D'INf(RENCE COMMENTAIRES Q(N(RAUX
RENCES DE SENTATlON IlES ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
.
GtNIE
CARTER
CESSOl-O
CII'ART
DISPATCltER
ENGIN[ CDOlING ADYISOR
EURISKD
IClX
ISA
KBYlSI
SACON
SEARCH
HOTEURS
NOH AUIEUR(S) RE'rE'- ANNE'[ O/UGINE APPLI CA TI ONS NOttiRE HOOE IlE REPRE'- LANGAGE PIIASE f'lNCTlON- PERfORMANCES 0' 1 NfE'R[NCE COHHENTAIRES GE'N(RAUX
RENCES DE SfNTATlON IlES ACTUEllE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
CARlfR - (9) - -
(E.N.S.
Ingénieur conseil en
..écanique.
- - - - - - -
E. T.)
--
USSOL-O H. Ayet, (1),
J.P. L.... rent, n
190' france
(1 .I.A.,
Dé[Link] les confl-
gurations d'esuale
- - PASCAL - - - Aucun 1) Peut Justifier Il .. manière très pl'éclse
sea concluolons (explique pourquui Il
H. Soullr. Unlv. de géotechnlquea qui reJotte une tell .. conclusion, elc.).
S... oie) perllettent de cOOl\at-
tra la nature et leo
caractéristiques ..é-
canlquea des diffé-
rentes COUd\e8 d'un
terrain (afin de dé-
finir lea f~,datlons
• entreprendre )ota
de l'implantstion
d'un [Link]).
CIl'ARI
-
(9) - - Ingénieur cunsell en - - - - - Appliqué au -
- (E.N.S.
[,1.)
.écanlque. domaine du
jeu, il 8
gagné des
champlonnsts
contre de.
joueurs hu-
.. Ins en
1980, 1981,
- 1982. (Voir
Hycto-Sys-
tèlll88 no 54,
p. 151).
---
DISPAIClIlR J. HcOerRlOtt (H) - (tata-Unla
(Catllegle-
Schedule dlapatchlng
of parta for robota.
- - - - - - -
He 110/')
HOTEURS
NOH AUTEUR(S) R(f(- ANN(E ORIGINE APPUCAT IONS NOIfIRE HOO[ OC REP fI(- LANGAGE P/IASE fONCTlON- PERfORMANCE S O' 1Nn'RENCE COHMENTAIRES ~N(R~UX
RENCES DE SENTA nON OCS ACTŒLLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
ENGINE
COOlING
S. Oouraon (H) - (tata-a.18 Ollll}'lOallc des CBuaea
de bruit dana le eya-
- - - - - - -
AOVISOR tè ... di! .efroldlaee-
... nt dea .... teura.
KOVLSI - 2. 9 - ([Link]
(Xerox,
Syatème d'aide au dtI-
ve lappement dea con-
- - ~,
- Exptlrl-
.enlai
- - -
Palo Alto) ceptiooa da VLSI.
+ (Lnlv.
Slanford)
J
HOTEURS
/Q1 AUTEUR(S) Rl'r(- ANN(E ORIGINE APPLlC"T IONS NOHORE HOOE 0[ HEPn(- LANGAGE PIIASE fONCTION- PERfORHANCES O'INf(RENCE COHRENTAIRES ŒN(RAUX
RENCES 0[ SENTATION O[S ACTUEUE NEH[NT OCJA
HtGlES CONNAISSANCES EXISTANTS
SCARCH C.
H.
Marche,
Gaudette,
(1~)
- Canada
(~cole
Locallaatlon dea
[Link] ..nt .. d' .. qul-
- - - O'velop-
pe.... nt
- - - 1) Conçu pour Identifier r .. pld" ...nl 1..
poal t Ion et lea caractér lot l'lUCH ,l' u"e
G. Leclerc, Polytech- fèrea. Source cont .... ln .. nte reaponoablc lit., la
O. 0811.08. nique de détérlorstlon de 1.. qusUté de l'euu
Montréal) d~une nappe souterraine.
- E.".
felgenb"UII
(H) - (tata-Unis ContrGle le freinage
de tralne pwr la
- - - - - - -
pr'clalon et le
confort.
--
\ \
GCILŒIE
CUVEX
DIPHETER AOVISOR
DRILLING AOVISOR'
ELFIN _
CEOX
HYDRO
LITIto
IIlDKAN
PROSPECTOR
SECOfOR
S11111AS
\lAVES
MOTEURS
NOH AUTEUIl(S) Rl'rl'- ANNl'E IIRIGINt: N'PLICA TI ONS NOttlftE HOOE OE REP R(- LANGAGE PltASE fONCTlON- PERfORMANCES 0' 1Nf(!lENCE COMMENTAIRES G(NI'RAUX
RENtES DE SENTATIDN OES ACTllHtE NEHENT ()(JA
RtGlES CONNAISSANCES EXISTANTS
IlIPHUlR
ADYISllR
Il. Oovle l, 2,
5, 9
- (late-Unls Se préoccupe de la
(Schlllnt,er- dé[Link] dea
- - - - - - -
'1 e r-IISA) Illhofaclèa lee plus
plauslblea en fonc-
tion de paramètrea
rec:ue illla au cours
de 1. descente
d'outila de forage
(p6trole).
DRllLlNG
ADYISOIl
C.R.
llollander,
2, 5 198} france
(Elf -Aqul-
ol8fJllOatique une va-
rlét' de problèmea de
- - - - - - EHYCIN . 1) Pre.lère veralon de S(CDfOR.
ElfiN R. Martln-
Clouolre
(1) 1984 fronce Recherche lee volee
(Etr-Aqul- de .Igrotlon d'hydro-
- -
. - - - - - 1) Capable de réaliser dee ra iaonnements
approxlllat Ifa •
t 111 ne , cerburee " purtlr des
1..5.1., rochea-OPèrea jusque
E.N.S.E.E. vers dea rochee-
1.11. T., réservoirs, en pre-
Unlv. P. nant en coapte lea
Sabatier) parsmètres géolo-
giques relatifs au
soue-sol.
NOM AUlEUR(S) Rl'n::- ~NNI'[ ORIGIN[ APPLICAT IONS NOItlRE H(l)E Il[ REPR!'- L~NGAG[ PIIASE
HOTEURS :
fONCTlON- PERfORMANCES D' 1Nfl'RENCE
1 CIlHHENTAIIIES Gl'NI'RAUX
RENCES DE SENTATION DES ACTUELLE tt:HENT OCJA
RtGlES CONN~ISSANCES EXISTANTS
1I1ltO A. Bonnet,
J.G.
l,
(5), 9
1981 france
[Link]
Se pr40ccupe de la
[Link] dea
500 R6g1ea de
production
- - - La descrlp- EHYCIN
tion des
1) Les IoforilStions 'lUi sont extraites se
recoupent, Bouvent redondantes, quelque-
Ganaocle, Ls re- (Sch lumbe r- Ilthofaclès les plua puita eat folB contradlctoirea.
J. Hery. cher- ger-france) plaueibles en fonc- g4nllrale ...nt 2) Utlilaa dea facteurs de crlldlblllté
che tlon de pera~trea très proche pour reprllsenter les connolssonceo
No 151 recuellila ~I coura de cells Incertalnea.
de la descente fournie li la l) Poaetde une large connelsoonce.
d'outllo de forllge IIIIln par un 4) Bonne interprétation dea règlea (soit
(p4trole). g4010gus hu- reconneltre une même règle entrée ooue
mein. plusleure formea).
5) lllltO poaa'de huit catégories de con-
naissancesl géoljrephie, scUvltée tec-
toniques, stratlljrephte, paléontolugle,
.Inéralogle, pétt'ographle, s4dlme"to-
logle, pétrophyslque.
6) Co_ sortie finsle, LITHO produit une
- '
description cooplète des puits.
talne)
AI-SPEAR
BOS
COx
CONAO
CR lB
CSS
OART
DAS
OIAGalOO
OIG [Link] TESTER
DOC
fAlLTflNDE!.
IIIClASS
lOT
INfORMAT
INfORMATIQUE (alite)
IPW81S
NIC
OCEAN
Pll€
Rl (XCON)
SP[C
SYERA
XSEl
HOTEURS
NOH AUTEUR(S) R(r(- ANN(( ORIGINE APPLI CA TIONS NOItlKE HOO( OC REPH(- LANGAŒ PIIASE fONCTlON- PERfORHANCES 0' 1Nf(RENCE COIKNTAIR(S ŒNt'RAUX
RENeES DE SENTA TI ON ŒS ACTUELLE N[H(NT OCJA
RtGLES CONNAISSANCES EXISTANTS
AI-SPEAR - (1),
2, 9
1964 (tata-Uni"
([Link]. )
Ollvelop"" pour l' so8-
lyae dea "cahiara de
700 Règlea de
producUon
- - - - OPS5
bord" d'ordinateura
afin de doItecter et
dia~oeUquer d'6ven-
luelles 8I10. . 1i86.
CH III H. T. llartley J,
(18)
1901 (tate-Unio Dia fJloa tlc de pannes
d'ordinateura ([Link]
- - Il - - - - - 1) L 'acquielt ion dea connals88ncee est
plutôt ardue.
des hypothèeea des
cauaea poeaiblee de
cee pannea).
CSS A. Wayne
Elwood
(H) - (lata-Unis
(UlM)
Ald ln planning
ralocetlon relnalal-
hUon end r" .. rrange-
- -
- - - - - -
IRent of IIIH .aln-
fralll8a.
d'ordlnaleure.
J
MOTEURS
NOH AUTEUR(S) R(f(- ANN([ ORIGINE APPLICA Tl ONS NOHORE HlJ)E IlE REPR(- LANGAGE PIIASE fONCTlON- PERfORMANCES 0' INf(RENC[ C!lHH[N1AIH[S GrN(RAUX
RENCES 0[ S[NTATlON IlES ACT UEll [ NEH[NT orJA
RtGI ES CONNAISSANCES EXISTANTS
DIG VOlTAGE
IlS1LR
T. Larrey (H) - (tata-Unis
(Lockhee<l)
Aid troulJloahoollng
digital voltage
- - - - - - -
aource,a in testlng
lab.
OClAN
-
(}O) - t'tsta-Unle
(NCH)
Conn 'l'rat 100
d'ordinateuro.
- - - fonc-
tionoel
- - -
OClAN Il. P lolk in (H) - t't .. ts-Ilnie
(leknowl-
Check orders for
computer .. ystems,
- - - - - - -
"dge) configure ordera.
PINl A. Wayne
Elwood
(JI) - (tala-Unis
( IIlH)
Guide Iss personnea
lora de l'41aboratioo
- - - - - - -
de rapports BU r
l'analyae de probU.-
mea de logiciela.
--
XSll J. i'lcOerftlOlt l, 2,
~, 9
19U2 (t .. ta-Unh Oeatln6 li faciliter
la co...... nlcat1on
- - - - - - ors
entre RI et leu
Ingofnleurs technlco-
conne rel aux a"",néo li
l'utillaer.
- - 9 - (tata-Unie
(HIT)
Dlagnoatlc ooa
défaillances dea VAX.
- - - - - - -
- T. Boyd (H) - -
(tCl,
Configuration des
ordinateurs, sérlea
- - - - - - -
Sydney) '9.
•
xux
•••• 11 n'y. plu8 qu'une centaine de chercheur. dans le .. onde qui s'intéressent' ce domsine."
(La Recherche no 170)
AU
ATttENA
BELLE
BKG 9.8
CHELEH
CII[SS
CIIUNKER
IAGO
JJSEP III NE
PARAÔisE
RœlN
WUSOR-l
NOM AUTEUR(S) R(f(- ANNt'[ OHIGINE APPllCA fi ONS NOItlRE
·
MOOE lE RfPR(- LANGAGE PliASE
HOTEURS
fONClION- PERfORMANCES O' 1Nf(RENCE
OCJA
COMMENTAIRES rtN(HAUX
RENCES DE SENTAllON lES AClUELLE tl:HENl
RtGlES CONNAISSANCES EXISTANTS
J
HOTEURS
NOH AUTEUR(S) Rl'fI~- ANNl"E ORIGINE APPLICATIONS NIHIR[ HW[ DE RO' OC- LANGAGE PHASE fONCTlON- PERfORHANCE S O'INft'RENCE CfiHHENTAIRES Gl"Nl'RAUX
RENCES DE SCNTATION O[S ACTUELLE N[H[NT ol"JA
RtGLES CONNAISSANCES EXISTANTS
CHl:SS - 9,
f
n, 197U l'tah-Unle
(Un.. Unt..
l'checa. - - - '- - HeUleur
prograll1lAe
- 1) COlllprend certetues connalaaances 8troté-
glquea et poeltlonnclles.
de la COte dons lea 2) Plualeura veraions.
Oueat) annéea '10.
CIiUNKlR Il.J.
Oerliner,
9, Il 1981 - (checa. - - - - - Oat ''''JUilll-
rement aes
- 1) Ralaonneaent de fin de jeu assel r ..pide
(une .inut.. I.. U"~ 'lU 'U prendra it
H. Ca..,bell. auteurs dans 10ll 8IYIées aux "[Link] tradltlon-
dea s1tua- nels lea plus pulssanta).
tlooa nou- 2) Possllde la partlcularité de pouvoir
velles. raiaonoer globalement 9Ur tout un groupe
de pilleea et de lenl r compte des con-
cepts géométriques.
}) Traite dea flna1ea Hol-plons avec des
telllps de réponee trèa 8atlafolsants.
1
HOTEtMlS
t«JH AUTEIJH(S) R(f(- ANNl'E ~IIGINE APPLICATIONS NOtIlRE HOOE OC REPR(- LANGAGE PHASE fONCTlON- l' ERf ORHANCE S o 'INf(RENCE COMMENTAIRES G(N(RAtJX
RENCES IlE SENTATION OCS ACTUELLE NEHENT OCJA
RtGtES CONNAISSANCES EXISTANTS
l'ARAOISE O. Wilkins 9,
U, f
1979 (tata-Unis (checs.
(SHI Inter-
Environ Règles da
200 p roduc lion
- - Chalnage
avant
- - 1) [ssale d'expllcit .. r certaines conn819-
aancea, certolne cOllcepta apéc ltï'llle8
nat 101101) des écheca, ala manière des hlAiolus,
afin de diMinuer le nonbre de COUptt à
conaldérar.
- E. Jensen,
1. Trultcott.
(U) 197" (tsta-Unls [Link]. - - - - - - - 1) Même principe que le système de
~. Saoue!.
- O.A.
Wstermon
9,
1"
n, 1970 - Poker. 20 - - - - Gagna contra
dea Joueurs
- 1) Capable de bluffer.
2) ~f1n de uvolr s'U doit aulvre, relsn-
lIoyena et cer ou abandonner, le système tl~'flt
Joue souvent co~te de plualeur9 parsmètresl
au niveau - valeur de a8 IAsln 1
des experta. - valaur du "pot"l
- inclinaison 1. bluffer de l'adversaire
(a tendance' toujours aulne, au
début, sfln de déterminer ce 1'6r.-
tAètre).
---
- E. 8erleke"" 9, n - - Bridge. - - - - - - -
- P. Plonchon 9, n 198} - Brl d98· - - - - - - - H Appllqud uur IAlcro-ordlnsteur.
i
~
"0
6
....
~
;j!
<
ca
0
<
ca '"ca
< 15
Z
0
u
~
0
'-'
'"::::>a:>-
'-'
'-'
<
~
..J
Q
8<
a:
Cl
-... ...'"
~
..J
z
t5
'-'
~
>-
8! '"a:
<
:! !!! =
..J
! = ... ><
..J
~
-.:
Q
..""
LAID.E [Link] ( ... Ue)
PARRY
PLANES
QUiST
RAREAS
R[S[ARCHER
SAP/IlR
SOC
S[SAH[
SHROLU
SIR
.
û
!
~
...~ ~
~
:!
u
-... Z
........ :: ~ u >Cuc
BI BI .... ....-' ::
i... -;:
U
al
'"
~
HOTEURS
~ AUIEUR(S) R~n'- ANNtE ORIGINE APPLICATIONS NOHIlRE HOOE DE REP~- LANGAGE PIIJ\SE fONCTlON- PERfORMANCES 0' INf~RENCE CIlHHENlAlHES GtNtRAUX
RENCES DE SENTATION DES ACTUELLE NEHENT otJA
Rtm ES CONNAISSANCE 5 EXISTANIS
- ._-
AU IOLl NG S. Klein (9) 1966 ttata-Unle Apprend la grammalra
d'une langue. partir
- - - - - - -
de phraaee correctea 1
et Incorrectea.
BAOBAB - (~)
- - Analyae du r4eu,",,8
d'Illats du patienta
- fra ....a - - - - EHYCIN 1) L. co~réhenolon du programme Bat reflé-
t6e par 88 capacité dei suggérer <le.
d4crlta en un langage Informatlona aanlfUontea, faire des Infé-
quaal naturel par rencea, faire dus vérlflcatlona do
dua _duclns. c0h6rence, Interrompre opportuné ..ellt
l'utlileateur en [Link] de clor If 1er
certalnea InforlIOtlofls.
2) Le but est atteint ou moyen d'un diolo-
gue en langue naturelle, l'analyseur
utUlsant une gro"",8lre de nature eéowlI-
tique.
IlA5EUALL 8. Green
~.!!..
(6) 1960 ttats-Unla
(Lincoln
R6ponae • due ~ee-
tlone se rapportant
- - IPL-V - - Se reppro-
chant da la
Aucun 1) Progra ...e très élémentaire.
2) Lee queatlone poséea ne peuvent avulr
Labora- au baoeball. aédlocrlbl. plua d'une propoaitlon ou contenll' des
.
tOrlea) conjonctions et/ou deo ouperloUf ••
1 ]) Le programme n'eot jao~lo A"xllflé ([Link]
dea donn6ea) •
) Le aeul trait Intéressont eut qu'II peut
reconnattre une même queatlon pooée de
.8OI.re8 dlff6renleo •
..
BOHIS w. Lehnert,
H.G. Oyer,
~, 10, 1901
(U)
ttota-Unla Eaaale de coaoprendre
"en profondeur" le8
- - - - - - - 1) Lea "analyaeura" ouppoaent que touteo
leo 'ventualltéa, touteo leo olt uutlono
P.N. Johnson, aot lvatlm,o deo qui peuvent se produire dano le déroule-
S. /larley. acteura I~llquéa ment d'une ocooe .... truuvent déjà Ino-
dena des hlstolres du crltea dans la connaisuonce du 9y!3tèlll~
divorce. (eNI utilisotions d'une chantJre ~
coucher). Un o18nllue de données peut
jouer un rllie déterminant.
HOTEURS
---
NOH AUT[UR(S) R(r(- ANN(l ORIGINE N'PLI CA Tl ONS NOHIIR[ HIDE OC RD' R(- LANGAGE PIIASE fONCTION- PrRfOHHANCES 0' 1 Nr(R[NC[ COMM[NTAIRfS G(N(HAUX
R[NC[S D[ SENTAllON OCS ACTUELLE l'OIENT o(JA
"tctES CONNAISSANCES EXISTANTS
----
!lORIS 2) La co""réhenaion qu'il tire des Iois-
(suite) toirea eat très riche en détails.
) Capable de trouver les mot 1vat ioOlu des
peraonnages, d'identirier des S\tU9t1UOOU
caractolristi<JUes et .... ttre en relutioll
des événe..,nts (8sns mécanismes lels I~B
acénarloa, évitlen""enl).
4) Les naultate (performsnces) peuvcnt
nre fautife puisque le s:·"tè .... n'o été
appliqué qu'li [Link] histoires.
~) Repréaentation d~~ connalssollces por des
HlI's.
6) Associe .ltr::.itement co""ré[Link] du
teMte et d1ff~u",l"J for"".,,, d'[Link]
ayntadqu" et odlllllnUque.
- - - -
- It - - - -
CYRUS (5) 1es te l' hypothèse - 1
~
dans la mémod 80 Hon
et le sOllvenir.
- -- 1
--
HOIEURS
ooH AUI[UII(S) H(f(- ANt;(E OUIGINE APPLI CA TIONS NllHIlR[ HOO[ Il[ REPR(- tANGAGE PItAS[ fONClION- PERfORMANCES 0' INf (R[NCE COHHENIAIRIS GE'N(RAUX
H[NCES 0( SENTAliON 0(5 ACTUEllE NEH(NT O(JA
Hf GUS CONNA 1SSANCE S EXISTANTS
- le B),
IIARPY B. lowerre,
R. Redlly.
2, 5,
9
1900 (tala-Unis
(Univ.
Co..,r4lhenslon de la
parole.
- - - - - - - 1) Vocabulaire Hml té.
2) Passage d'un Interlocuteur Il un oulre
Cernegle- ....nquanl d'dlolgellce.
Helion) l) l'[Link].
1
HOTEURS
NOM AUTEUR(S) R{f{- ANN(E ORIGlf'I: APPlICA TI ONS NOKiRE HmE DE REPRt:- lANGAGE PHASE fONCTION- PERfORMANCES 0' INrt:RENCE COtM:NTAIRES Gl'Nt:RAIJX
RENCES DE SENTATION DES ACTUEllE N[It:NT OCJA
RtGLES CONNAISSANCES EXISTANTS
--
IlEARSAY
(l, Il et
l.O. Iler ...n,
f. Hayes-
2, 5,
Il
1980 {tata-Unie
(Unlv.
Compréhenalon de la
parole.
- - - - - - - 1) Vocabulaire Ulllité.
2) Les paasages d'un Interlocuteur 11 un
111) Roth, Carnegle- ElUtr. "'nquent d 'éJ égonce.
Y.R. leaser, Hellon) 1) Prlllitif.
D.R. Reddy. 4) Plusleure versions flnt été produiteul
leur but a été ourlou!. d'apporter des
Idéea uttlea aur J~ façon d'organiser,
d'utUlser et d'améllo .."r la hase de
cOMslsB8ocea.
5) La connalasance dans le système esl
reprdsentée 80U9 la forme ~ "80Urep.!1
de connaissance", me sorte de règle de
production complexe.
6) Chaque "source de c"nnalssance" contient
la connaissance né[Link] pour résuudre
une oppl1cat1on pArt leu llère.
7) Il est po8slble de choisir ls granulu-
rHé de la connal>onance que l'on Mslre.
8) Chaque "source de [Link] Issance" e9 t
caractérlBée par une condition de
déclenchement qui Jill est attachée.
,
HWIM J. Wolf,
W. Woods.
(5) 1960 ~tata-Unls
(BBN)
Compréhena Ion de la
parole.
- - - - - - -
[Link] l. Hurla
" 9
1979 ~tata-Un1s langue naturelle. - - - Co...... r-
cl alla'
- - -
K[Al G. Hercier,
M. Gérard.
(5) 1981 france
(CNET de
Compr.!hens1on de la
parole.
- - - - - - -
Lannion)
lAOOER/iNlAND [.0.
5acerdoti
l, (5) 1977 l':tata-UnlB Interrogation de
baaea de donnéea our
- - - - - - -
lea navires.
1
MOTEURS
NOM AUTEUR(S) R~n~- ANN~E ORIGINE APPLICATIONS NONORE MOOE OC II:PR~- LANGAGE PHASE FONCTlON- PERFORMANCES D' INr~RENCE COHHENTAIRES ~~RAUX
RENCES DE SENTATION OCS ACTUEllE If:MENT OCJA
RtGLES CONNAISSANCES EXISTANTS
LUNAR W. Woods,
R. Kaplan,
}, 5,
(6)
1972 (tah-Unla
(BON)
CO"f'rllhenaion de
phraaea iaoléee (ln-
- Réseaux
aélR8fltlquea
- Expérl-
lient al
- - - 1) Comprllhe .... ion au ni veau œa phraaes pri-
'sea indivIduellement 88ns ess8yer œ les
O. Nash- terrogation de baaea relier en un discoura continu.
Weber. de données en la ngue 2) Technique d'analyae ATN.
naturelle) a8 rappor- }) Possède un dictionnaire d'environ } 500
tant • la goIologie IIOts anglaia.
lunaire. 0\) L'analyae dea queations se fait en troJ a
oI'tapeal
- analyaa eyntaxiquel
- interprétation sémant iquel
- exol'cution de la requête formelle COOl-
I18ndant la recherche dens Is base de
donnéee et la réponse en langue no tu-
relle.
5) A donné naiaaence à INrElLECT. commer-
cialisé.
MARGIE C. Riesbeck.
C. Rieger.
(5) - - Analyse des phrases
axpriœea en langue
- - - - - - - 1) L'analyse dea phrases est transformée en
une repréeent ation de dépendance concep-
N. Golœ.an. naturelle. tuelle.
2) Peut travailler en IlOlle paraphrase ou
infolrence.
HOTEURS
OOM AUTEUR(S) R(n'- ANN(E ORIGINE APPLICATIONS NOIfIRE HIll[ Œ REP~- LANGAGE PHASE fONCTlON- PERfORMANCES O'INf(RENCE COMMENTAIRES Gt'N(RAUX
RENCES OE SENTATION ŒS ACTUEUE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
MARWOROS R. Klttredge, 0)
A. Polguere,
- Canada
(Uni v. de
CompUe les pro!vi-
sions de parsmêtres
- - - Recher-
che
- - -
[. Gold>erg. Honlréall lllétéorplogiques
basées aur des oboer-
vat10na A grande
échelle.
.
MYRTILLE J.P. Haton, (5) 1978- france Comprolhens Ion de la - - - - - - - 1) Capable de reconnaftre des phrases œ
(I et 1 Il G. Messenet t 1962 (CRIN, parole. langages artificiel s très contraint B et
J.H. Pierrel, [Link] un vocabulaire inféri"ur A 100 IOOta.
C. Sanchez. Nancy) 2) Appliqœ au domaine deu re .... eignements
méttforologiques, avec un vocahulalre de
}75 rota et une syntaxe ossel prOdlp. du
françaia porltf.
--
NEXUS R. Alterman (26) 1965 (tota-Unle
(Unlv. du
R.!sulle des histoires
et rtlpond ~ dea
- - LISP Recher-
che
- Très promet-
teuaes
- 1) Oict lonnaire comprenant entre 100 et 150
concepts (o!vtfnement/état).
Te'8a A questions a'y rap-
Austin) portant.
Ysle) ternes
SESAHE Y. AU,
R. Aubin,
) 1986 Canade
(BNR,
Langue naturelle. - - - Recher-
che
- - - 1) Lorsqu'une entrée est faite le système
peut procéder temporairement 11 un d1sn-
B. Hsll. Ottaws) gement de mt, pour lI1 synonyme, permet-
tent ainsi de ne pHS encombrer 1 tespace-
""'moire.
2) Corrige (ou du moina essaie) les erralr9
de frappe.
l) Indépendant du oomaine d'application.
STUOENT O. Bobrow l,
(6), 9
1969 t'tats4Jn1s
(Mil)
Lecture et réaolutlon
de probl .....s d'algê-
- - - - - Réeout les
problèmes
Aucun 1) 51 le ayatê ... eut Incapable de résoudre
l'équation, 11 peut œm8nde r à l'ut 111-
bre (da niveau eecon- 8uas1 bien 08 teur de lui fourni r de l'lnforPl8tlon
delre donnéa eous qu'un élève supplé"",nta Ire.
forme d'histoires). et aurtout
pit... rapi-
dement.
HOTEURS
NOH AUTEUR(S) R{f{- ANNI'E ORIGINE APPlI CA TI ONS NOHIlRE HOOE OC REPOC- LANGAGE PHASE fONCTlON- PEnr ORHANCE S D' 1 Nf{IlENCE COtflENTAIRfS G~N{RAUX
RENCES 0[ SENTATION OCS ACTUELLE NEHENT ŒJA
RtGLES CONNAISSANCES EXISTANTS
--
TLC QuilHan (6) 1969 - Langue naturelle. - - - - - - -
TRACK S. Csrberry Ol 1986 t'tsts-Unis
(Unlv. du
Se ~ un syatème
pouvant entretenir un
- - - - - - -
Delaware) dialogue colulrent en
longue naturelle.
- S.G.
G.J.
Pulman, (2)
Ruosell,
1986 t'tata-Unis Langue naturelle.
(Univ.
- - - Recher-
che
- - - 1) Le système devrait être complété en
1987.
G.D. Ritchle, Canbrldge)
A.W. Black. +
Royaume-Uni
(Unlv.
d'Edln-
burgh)
- H. Thompaon,
J. PhUllpo.
(2) 1986 Royaullle-UnI Langue naturelle
(Unlv. (parolng oyotem).
- - - Recher-
che
- - -
d '[dln-
burgh)
(histoires pour
anfanta).
- P. Harrison,
H. [Link].
(9) 1984- t'tah-Unis
1986 (Boelng
Langage naturel. Environ
200
- LISP Recher-
che
- - -
Artlflclal
Intelll-
gence
Center)
- P. Harrison,
M. Maxwell.
(}) 198/1 ~tats-Unis
(8oelng
Réponse ~ des
queations poaées en
- - - Recher-
che
- - - 1) La cOlllllllnlcation se fait par l'entremise
du clavier et de l'écron.
Art Iflc1al langue naturelle. 2) A été l""lémento! aur Jp VAX 1l/700.
Jntelll- 1) Systè .... Incomplet.
gence
Center)
.--
- A. AlAin (9) - rrance
(Nancy)
Reconnsiaaence de
l'écriture arabe.
- - - - - - -
III 0-
III
..
~ a:
....
i...
=> - gs
1.. :5 ~
g i....
a:
!j,/ ~
0-.
1 i>- ~
0-
U
....a:>
.,
- >- 0- U oC
Q
~ cl 1>: III
....
l ;f ~
~
~ ~
u
~
....
u
'"~'"' ...J
~
III
~
co:
fS ~ '"
\:
a:
)C
~
8
...J
III
~
U
i
&ol
i "" ,.,.cz::
,.,.z: ,.,.
'"'
-.".
&"
.
!
-.." " z
0
1 ~
""
0::
'" '"~
!.. ... ::;
i ..
'"
t!
:::0
Q
0::
<1
... ......
~
Z
ëU'I ~ ::; ""<
0::
~
1
..
U'I
<
i0
1:3 0:: 0:: ""'" '" ~ '"
i .
(J
10
~
HOTEURS
NOH AU1ElJIl(S) Rl'r(- ANNl'[ URIGINf APPLICATIONS NotIIHE HIl)[ (1[ REPR(- LANGAGE PHASE rONcTlON- PERfORMANCES 0' INf(RENCE COMMENT A1Rf 5 G(N(RAUX
RENC[S DE SENTATION (l[S ACTUELLE NfHENT O(JA
RtGLES CONNAISSANCES EXISTANTS
AM D. Lenot (1),
5, 9,
1971 (tota-Unlo
(Unlv.
Prop08er des conjec-
turee - Bans les
500 Règles de
production
- - - - - 1) Pas d'apprentlsuoge (n'utilise puu ses
nouvelles connelssonces pour 0'00) lorer
10 Carnegle- démontrer - et éla- ses performsnces).
Helion) borer <le nouveaux 2) Ne peut découvri r de nouvelles h~urls-
concept a (plualeuro tlques.
centaines) A partir
d'une bese Initiale
de concepts généraux
(une centaine).
BUGGY R. Burton,
J.S. Brown,
(7),
15
1982 (tah-Unie
(BBN)
ltablletés sri thœ-
tlqueo (diagnostic
- - - - - - - 1) - Build a dlfferentisl [Link] nu"l"l.
- Expllcate rules of when to interrupt.
K.M. Lurkln. dea "buys" ou erreurs - Procedural representst10n for buoJs.
proc6durales). 2) Explique pourquoi un étudiant fait des
fautes.
- - - - - - -
CAHEUA H. Vlvet (1) 1984 (tats-Unls
(Untv. du
Haine)
Oeet lné Il conjuguer
des connslsso ces
heurlst1quea svec les
-
algorithme.. pulsssnts
du système de cslcul
mathémstlque RrOUCE.
OŒUI;GY Ourton,
Brown.
(15) 1962 (lalo-Unis tloblletda orlthmé-
tlquea (dlagnoatlc
- - - - - - - 1) - Butld a ,lIff~r".,ti81 aludenl ..odel.
- Expllcate ru I"a of when to Inl~ rtupt.
des "bugs" ou erreura • Procedural repl·escnlation fOI· hU1j9.
proclldurlllea) • 2) Explique pourql... l un éludlsnl roll l1ea
fautea.
GPS A. Newell,
J.C. Shaw,
l, 6,
H
1969 t'loh-Unls
(Unlv.
Rd .. olutlon de pro-
blè...,a mathématlque81
- Règlee de
production
- Recher-
che
- Perfor ....ncee Aucun
très ..0-
1) Se rapproche beoucoup du progra ... e tt'a-
dltlonnel.
Il.A. Simon. Carnegle- preuve de lhéorèmea. deateal Il 2) Succellaeur de Log le Theor lat.
Helion) s'agit d'un
de8 premlera
lKldèlea ex-
pllrl...,ntaux
ayant dtd
fabrlquéa.
On 0 d'ail-
leurs caaad
lea travaux
our ce mo-
dèle.
/
GRAPIIEI! A.H. (U) - t'tala-Unie Gllnératlon d'exemplea - - - - - - -
BaUantyne,
W.W. 1I1e<laoo.
(Unh. du
Texas) \ \
\
Auatln
.
IIARP f. Oppacher, (}) 1906 Canada Preuve de th6orèAIC8 - - lHA- Recher- - - - 1) Implé ...ntll aur 5ymbollca J600.
11~
[. Suen. (lkllv. (géométrie plane). che 2) Peut réaoudre.
Carleton) - probU..., du al nge et de la [Link];
Ottawa - problèmes de géométrie pl8ne;
- Schubert 'a ateomruller proble ... (en
14 aecondea pour 18 verelon Hun
modifiée).
MOTEURS
NOM AUTfUR(S) R!~fI'- ANNLl [Link] AI'PLlCATlONS NOItlRE M(IlE OC REPR(- LANGAGE PIIASE fllNCTlON- PEflf ORHANŒ 5 D'INf(RENCE CI tHEN 1A' U: s G(N(RAIJX
IIENC[S DE SfNTATlON OCS ACTUELLE NfHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
I.[X T. MLtchell
et 01.
~, 9 190} - Apprentlsuage de
techniques de réso-
- - - - - CO""srables
è celles
- 1) Ne peut pso calculer d'intégraleu
définies.
1--
lutluna d'lntégulea. d'un ho...a 2) Preliler S.E. qui oit été capable o'oc-
entrdné. quérir oon [Link] tout ~n fournisBunt
des [Link] our oeo prOCeS6t10
d'acquisition.
J) Capable de trouver, !Jana essayer tontes
les mêthodes sy!ilémaliquCflM!nt, lü hOIllU!
PH M. Koehen,
P. Reanick.
- 1986 {tats-Unh
(Univ.
f ait des découvertea
et for.., des conjec-
100 frames KEE Recher-
({nter- che
Chatnage
bidirec-
- - 1) La prochaine versIon sera capsble
d' suto-correct ion.
Michigan) turea en géométrie LISP tionnel 2) L'ordre dans lequel les règles sont uti-
plane. D.) Usées peut influencer le résultst.
J) Utilise dea coefficlents œ vraisem-
blance pour représenter les connals-
ssnces IncertaInes.
4) Ne peut explic1 ter son raisonnement.
5) La comnunlcaUon avcc le système ne se
fait pas en langue naturelle.
6) ne paut détecter le. contradlctlone.
plexes.
J
HOTEURS
'-
NlIH AurlUH(S) Rl'tt:- ANNI'l OHIGIN[ APPLICAT IONS NOHIRE HIIlE DE REPRI:'- LANGAGE PIIASE fONC Il ON- l'ŒfORHANClS O'lNfI'HlNCE COHH::NTIIIRES cLNl:'lIAIlX
RENC[S DE SENTAflDN DES ACTUELLE N[HENT OCJA
RtGtES CONNAISSANCES EXIS rANTS
- - --
SEME H. Baron (1 ) 1902 fctlnce
(1101 v.
Expdrh.",l~ ell ....nl- - - - - - - -
pulellon de cUI",ela-
Parla VI) soUCes concernant leo
lralte"",nte furmela
en ünüJya6 con.)lnti-
lolre el ,Jo!rl vullon.
_. ----
SIN J. Hoties (6),
10
1967 l'tete-Unie
(HII )
Intdgratlon de
fUl\Ctlona.
- Hèglee de
production
- - - Hêmee per-
forn~ance8
Aucun
que celles
de SAINT
msls trois
fols plue
rapide. Peut
réaoudre des
Intllgratlons
e'evérant
fort COM-
plexee.
.~
SNARK-
INT[GRAT ION
J.L. [Link]ère (5) 1982 frence Réeolutlon d'Inté-
gr8lee.
- - - - - - SNARK
WEST Ourton,
Drown.
(15) 1982 t"tats-Unle Ilsblletés erlthOlétl-
ques (dla!JlOatic dea
- - - - - - - 1) - BuUd s dlfferent lai .. lu,"'nt ".."lel.
- [xpllcete rul,," of when to Inlern'pl.
"bugs" ou erreurs - Procedurol representatlon for [Link].
p rocédureles ) • .- 2) hpllque pourquoi un étudiant fa i t tE"
feu tes •
----
lORUA R.E. Kllng (19) 1971 t"latu-Unle Preuve de théorèmes
(SRI Inler- de logique.
- - LISP - - - - 1) Peut acquérir dl, l 'cxpérler-ce (pelOt ré-
eoudre dea problème" pur anulo,!lc).
net 1011 al ) 2) La vltease d'exécution eal plua rapide
pulaqu'U P."ut roisonner [Link] 8l101ogie.
Hl'DECINE
ABEL
AI/COAG
ANIICIPATOR
N'ES
ARAHIS
BABY
V BASIC-fUfr
CAOIAG 1
CASNEl (GLAUCOHA)
" C[NlAUR
CLOT
COOIAPSY
OIABETO
OIGnAq~.
EIERGE
HEAOIEO
IIEHOCAO
ttOOGI<INS
INTEHNIST
IRIS
!
""
......
ô
... N
.!
U'I CZ;
... ...
x
1
El
~
t;
U'I 0
g-'
Z
g ...
~
cz; U'I
O.
g~
X ... ~c:
....
...
!! ...z 0
!.... ë ::>
X
~ t::
X
~ ...c:z 0
~ %
z
;;:
i... ...~ ....
N
....
U u
> ....z !!t ....
U'I U
~
>
Z ~
0
...."" .... ....
CZ;
...
::> c: \01 5§ X c:
&! 1 ::
~
% z 0 cz; cz; cz; U'I :a
~
-"
<J
""
0
t«1JfUHS
1
NOH AUJEUR(S) Refe- ANN([ ORIGINE N'l'llCATlONS NOItiHE HOO[ IlE REpR(- lANGAr.c plIASE fONCHON- pERfORHAM:E 5 D'INfeRENCE COHHENIAIRE5 GLNCHAUX
Rf NeES DE SENJATION IlES ACTUELLE tt:HENJ OCJA
REGlES CONNAISSANCES HIS JANIS
L-- ,
nouveaux-nIa.
_..J
.
......- ~
HOTEURS
--
NOH AUTEUR(S) R~f~- ANN{E ORIGINE APPL ICATIONS NOKIRE HOOE Il[ RE PRt"- LANGAGE PHASE fONCTlON- PERfORHANCES o ' 1 Nf~RENCE COHMENTAIRES G{NrRAUX
RENCES DE SENTATION DES ACTUELLE NEHENT OCJA
RtGlES CONNA 1S SANCE S EXISTANTS
CASNET
([Link] )
C.
Kulikowakl,
0),
2, 4,
1978 ~tata-Un1a
(Unlv.
Application en Plus de Ro!aesu.
ophtallIIOlogial tral- 2 000 st!mant lquea
- - - - - 1) Connu BUsal 80US le nan de GLAUCOHA.
2) A donnt! nalseance BU système géno!ral
S. lIelaa. 5, 9, Rutgers) teaent è long terme [)(P[RT.
10 et di a'Poat lc du
glaucOile.
---
HOTEUlIS
NOH AUTEUfI(S) N(r(- ANNel OfIlGINt: APl'llCAIIOHS NOItIRE H\J)E IlE REpR(- tANGAf.l pIIASE fONC li 1IN- PERfORMANCES D' INf(RENCE CO/f1ENTAIRES (;t:NtNAUX
"ENCES IlE 5rNUllllN IlES ACTUElI E "-HENT O(JA
"EGUS CONNAI S5ANCES EXISTANTS
IIIM>GKINS c. Safrana,
J. Oeufory,d8,
(7) 1/76 (tats-Unls
(HII )
Ol8'lnoatlc 00 10
.... ladl" de lIoc1<Jk 1na •
- - - - - - -
p. Talchlls.
INIERNIST J. Heyeru,
Il. l'upie.
2, 4,
(5) ,
1982 (tata-Unla
(Unly.
Ola'ln"at Ic en toéde-
cln .. Inlerne (couyre
- Réseau.
séAlent Ique.
- Recher-
che
- hpllque
pr~a de 80s
- 1) Ne eaU pas prendre une we synthétique
des problèmea, sY''l'tOmes, ce qui ooène
9, ID l' Illobury) 80s de la toédeclne dea cas qui parfola • dea phaees de consultation
Interne). Per"",t de [Link].
r4aoudre la p lupar t lui eont 2) Paa d'auto-correction (peut répéter
dea cas cllnlqu",a et eOUllie. plualeurs folu lea mêmes erreurs).
pathologiques. J) S.E. le plua co""let ,,.Istant aclut:lle-
asnt en toédcclne.
4) Sa coonals88nce renferlJe envi run 5110
lIaladiea et J 550 symptOmeB.
5) Son aucceeB8Ur eeru CAI>UClU5.
1 6) INTERNIST prLYllégie t roia st rsléyies;
- [Link],
- diecrlllination,
- poursuite.
--
IRIS H. Tri bo'lOrr , 4, 5
C.
1917 - Appllcat lon en
ophto)lIIOlogle.
- - R/lglea de
productionJ
- - - - -
[Link]. - Ro!ueeu.
ao!œnt lqueeJ
- fraAlea.
HYCIN f .11. (1),2, 197/j (tata-Unis Syetl!as de coneulto- 500 Règlea de LISP Recher- Cha Ina 'le En 118t1l!re TEl"ESIAS. 1) Haleur d'ordre O.
ShorlUHe 4.5,9, (Unly. lion, dana le cadre production che bldlrec- de dlagnoe- [Link]- 2) Ne prend pas en conl'te toutes les ln fec-
ID, + Stallfoo'd) de .aledl8e Infec- (ayat&ae tlonnel tic et de cetion en tions (o. •• c8usf!ea flor les [Link]{)j <[Link]
L. Re-
cher-
lleuees, destiné ..
fournir dea consella
conçu
cette
• tho!ruple, on
a Jugo! qu' Il
langage
[Link]
pathogènes ou le. Ylrue).
l) L'utllleeteur ne pc.. t donne l' des infor-
HyelN yeflM!8 responsables maladies In- aelon la graYlt' (ce sapect peul ,Ii Hé-
(suite) de l'Infection <1J fectleuaea rer d'un utUlsaleur à l'autre).
pattent aina1 qu'une et qu'II dd- 5) Pila d'auto-correctlon (peul ,'épéter 1.
thérap~ut t'lue uvee lo JUI8tutll OII!"", erreur).
duee requise). (quelquefois 6) 1.' QI'du dans lequel leu règles 80nt III i-
de beaucoup) lIa'ea peut Influe,lC er le résultat.
les m'daclns 7) 00 il un manque de re nsel ~tHnent8 sur IHI
non spécls- certain facteur, II lui .ffecte .... co-
listes. eHlclent de yralse.. blance de 9 (ce '1,,1
peut s'sV4!rer faux d uns certe Ina CHS).
8) A tout IIIOIII8nt de la consultation, cep1m-
dant, l'[Link] peut interron~)l'e le
, eyst".... pour poser , Seo questl(Hlu (ex:
pourquoi cette quesl ion).
9) Conatrult .... dossle l', pOUf chaque
psllent, 'lU 'II "",t b jOllr.
10) Possibilité ,d'rlcrl r ~ deu rèql ea en
cha Inage [Link] t •
11) Co....... nlcatlon, en '''' h-JfUJt! oaturel
(+ ou -l, l'anglais r uvee l'utiliaült!ur
(800 ... ta différent .).
12) Cooip08é de trois pu rt ieol
1 - systè ..e de consul tel ion propr~menl
dltl
- syaU .... d'expllca tlons (r6ponSB BU'
questlona de l' ul Ilisateur li
- syetè ... d'acqulsl tion des règles.
NEIJROlOGISl 1. Xlang.
S. Srlharl.
(4) - (tats-Unle
(~h.
Probl'_ de locall-
sat Ion en neurologla.
- - R'gles de
p roductlon 1
- - - - -
Buffulo) - Rtlseaux
d ...nt lquea.
ONCOClN [Link].
Shortllffe
2. 4,
5
1981 ~hte-Unls Protocoles en cencd-
rologle.
- - Règles Je
producUon 1
- - - - -
- ha_.
ONYX C.
L.
Langlutz,
fayan,
(11) 1985 (tete-lJnla
(Unlv.
Construit pour la
planlrlcsUon dans
- - - Racher-
che
- - - 1) Procède en trola ~t",esl
- 'J'fntlratlon de plane (envisage lea POB-
S. lu, Sltinford) dea r~glone d'sppll- sibiU t~s de tu Ite..,nt vu 1 'dtat du
J.
8.
Wlllla ....
Slklc.
cet Ion où les ulho-
des de planification
. patlenth
- alRllation eymollque (pr6dlct Ion dola
tradltlonnellea sont dhts future du petlent II
dlfflcllea • eppll- - clssslflcation des plane (classifie
quer (thllraple du les plane d 'action por ordre de prio-
cancer). rit' et indique les réaultsts pos-
sibles ).
2) AppUquoi ., la base de connalsssnces de
ONCOCIN.
J. Kaaairer.
W.S.
Schwartz. 1
1
HIITEURS
PlIII AUTŒII(S) RI'I1'- ANm:l UIiIGIN[ N'PLICAT IUNS NOHIlHE 10)[ DE REPR(- LANGAGE PtlASE fONCTlON- PERfURHANŒS 0' INf(RENCE COIKNTAI RI S r,(NtIiAUX
RENeES DE SEN'" TI ON DES ACTlJ(LLE N[HŒT OCJA
RtGLES CONNA 15 SANCE S EXISTANTS
--
PIiUTlS - l, 14 19112 FrBnce Appliqu6 au tra Ite-
(f ecul toi de ""'lit OOe Ictères, des
- - - - - - -
H.!!leclne hyperteno lona et du
<l'Ah- diabète.
Haree Illes)
----
l'Ufr J.C. KUlIl (1),2, 1980 ~hta-Unls llla'1'uolic <leu lIala- 250 R~yles de IlASIC C.,....,r- Chslnsge - EHYCIN 1) Hoteur d'ordl'e O.
J, •• 5. ([Link]. <llea pulmollalr"o. production c1aliet! avant 2) IMplé ... ntll au App le-II.
10,11 [Link])
--
RAOEX - (4) 1980 - Red lologle. - frama - - - - -
--
RUNARI - (1) 19114 funce
(CRIH et
SyaUlle elMple deatl-
nt! • guider 116duclne
- - PASCAL Racher-
che
- - HAHEX 1) fonctlOl\o18 eur IBH--PC.
IlIlINOS H. Klrura (11) 19115 Japon Diagnostic"" -... de 219 Règles de PROLOG- Proto- Chetnage Sur 50 pe- PROlOG
--
1 ) le uyotè ... ne peut .ffectuer le même
tata et de douleura production KAIlA type avant tlental 821 raluonnellent que lm. spécialistes (d 1 où
faclalee (J6 .... Ie- (uUllstl dea dla'1'oa- les 161 d'erreurs).
dies). au dtlp. tics ldenll- 2) Syotèll8 portat If.
da neu- ques • ceu. ') 1J t8""S d'attente m•• In.. 1 pour obtenir
rD. de d08 apécla- un dlo'1'ootlc est 2U s8cundeol
1'001- lioteol 161 4) OpllrstIonnel eur NEC PC-9801.
• eraltll prh de ceu • 5) lea connaissances incertaines peuvent
d'Oaaka) dea opllcla- .tre Indrt!ea ovec duU facteurs <le
Iletee. certitude.
6) th tel aystème peut btre disponible pour
environ 15 000 $ us.
--
HOTOIRS
NOH AUTEUR(S) R~n:'- ANN~E ORIGINE APPlI CAT IONS NOItiRE HIDE DE REPŒ- LANGAŒ PItAS( fONCTlON- PERfORHANCES D'1 Nf~RENCE COHlf:NTAIRES G(N~RAUX
RENCES DE SENTATION DES ACTUELU: NEHENT OCJA
[Link] CONNA 15SANCE S EXISTANTS
VM - (1),
2, 4
1979 - InterprdtaUon œs
donndea quanUtatl vea
- Règles œ
production
- - Chetnage
avant
- - 1) Moteur d'ordre O.
2) Paa d'auto-correct Ion.
relevdes dans le ca- l) Effectue un suhi des potienta, dep"!,
dre d'une unité œ leur admission juaq,,' è leur sortie U'I
90i na intena1f a. Cea service œ ooina inlemifs.
donnolea aont ut l1i- 4) Quatre taches principales.
BIIea pour piloter un - détecter les principsles erreurs li,
reapirateur arurt- .... aure,
Ciel. (Aaais tant è la - déclencher œs alarmes sur détection
réani .... Uon) • d'dvdne""",ta port icul1era concernsnt
lIOit le ... Iade, soil la machine eIle-
00II .... ,
- réau..,r l'état du potient,
- suggdrer œa ajustement a thérapeu-
tiques.
--
WIIHZE Smilh et
Clay ton
(}) 1977 ~tata-UnI8 Hême application que
PUff (msladles pulmo-
- - framee,
- Règlea de
- - - - EHVCIN
- S. Kaihare
~!!..
(4) 1978 - Haladlea cardlavaacu-
laires.
- Règles de
production
- - - - -
--
- B.H. Hesand (4) 1982 t':tata-Unls Protocoles en cancé- - Rolseaux - - - - -
rologle. et!ment Iquea
- S.W. Welsa,
c.
(JI) 1981 - Analyae œ "serum
prote!n".
- - - - - - -
Kul1kowak l,
R. Galen.
HOTEURS
NOH AUTEUR(S) R(r(- ANIIC[ ORIGINE APP\. 1CA TI ONS NOItlRE HIDE OC REPR(- LANGAGE PHASE fONCTION- PERfORMANCES D' 1 Nf(RENCE CDIKNTAIRES Gl'Nt-RAUX
RENCES DE SENTATION OCS ACTUELLE NEHENT OCJA
RtGLES CONNA 1SSANCE S EXISTANTS
- K.A. Korn,
P. eo..,ton,
(1) 1985 - Interpret thyrold
hormne 88saya.
- - - - - - -
L. Lazarus,
J.R. Qulnlan.
- 1. futo,
P. Szeredl,
(4) 1918 - Interactlona médl-
cementa.
- - R~glea
de
production!
PROLOG - - - -
f. Darv8s. - Coupl" aVec
une base de
donndea •
.
...
!
I! ~
3 Vi
.....
:::
i
"'<~
c -
~
<
Loo
&!
<
=
e:
::
-.""
.!
HOTEURS
--
NOH AUTEUH(S) R(f~- ANNlE ORIGINE APPLICATIUNS NOHI!IIE HOOE IlE REP R~- lo\NGAGE PHASE rONCTlON- PERfOilHANCES 0' INF~RENCE CUHHlNTAIRf5 (;(Nt'RAUX
R[NCES DE SENTATION IlES ACTUELLE NEHENT llI!JA
RtGlES CONNA 1SSANCE S EXISTANIS
Cor".)
(U.5. Air
force)
.1
HOTEURS
NOH AUT[UH(S) Htfl::- ANNtl UnllOlNE APPli CA fi liNS NOItIR[ Hill[ OC R[PRt- LANGAGE PHASE fONClJON- PERfORMANC[S 0' 1 Nfl'R[NC[ COIKNTAIR[s ŒNtHAUX
RENC[S 0[ SfNTATlON !CS ACTUELLE N[NENT OCJA
RtGt[S CONNAISSANCES EXISTANTS
- - (2) - -
«(51. lne.
o..stlnll. l'analyse
<les co.t/Olcat Ions
- - - Proto-
type
- - -
et Teknow- hct Iques sur 1..
1.. <I<je lOlC.) cha"" <le butaille.
- - (2) - -
([51. lne.
()eaUn" Il l'analYBe
<lea In<llcateura et
- - - Proto-
type
- - -
et Teknow- <les [Link]
le<lgo Inc.) Btratll91qu8s.
- ----_._._-~
......
co
.
x
1"
~
co
z
" ~
co
III
- HOTElIIS
NOH AUTEUR(S) Rt'n:- ANNl'l ORIGINE N'PLI CA TI ONS NIHJRE HOOE IlE HEPRt'- LANGAGE PHASE rONCTION- PERrORHANeES O'INrt'RENCE CDIf1[NTAIRES ŒN~RAUX
RENeES IlE SENTATION IlES ACTUELLE tf:HENT OCJA
RtGLES CONNAISSANCES EXISTANTS
[Link], technolo-
gique et doc.-."tslre
en vue de roIallser
de. transferts de
technologie.. depul.
le. labontolree vera
lea utilisateurs.
...
HOTEURS
NOH AUTWR(S) Rt'rt'- ANNt'( ORIGiNe APPLICATIONS NOItlR( HIl)[ OC REPRt'- LANGAŒ PIIASE fONCTlON- PERfOflHANCES 0' 1NffRfNCE COIKNTAIRES Œ'Nl'RAUX
RENCES DE SENTATION OCS ACTUELLE NE HE NT OCJA
RtGlES CONNAISSANCES EXIS rANrs
HYCOlOG - (1) 1984 France Hycologle. - - LISP - - - HICR0t4VC-2 1) fonct lonne eur TRS-60.
2) Ne peut r.!pondre A des questlons sur oon
raisonneœnt •
}) Peut utUlser dea coefflclenln d'stté-
nuatlon et deo facteur. ,., cerlltu,E.
/
,
\
\ \
1
\ \
,
-~ ~ ---_. - - _.. _ - - - - _-
... .~--~ 1
..
!
"
-..
N
Il
Il ..,
Z
Q
U
~
1
......
~
Û
~
:::
\!!
......
C
~
~
...
Q
CI:
~
a.
tJ
1
;;:
I!.!
en
,.~en
0:
li:
~
HOTEURS
NllH I\UTEUR(S) Rt".~- AN'-l'[ IlHIGIII: APl'L1CA Il ONS NOttiRE HIJ)[ IlE R[PR~- LANGAŒ PIIASE rONCTlON- PERfORHANCES o'1 Nf~R[NCE COIKNTAIRt:5 c(NLRAUX
RENCES OE SENTATION IlES ACTUELLE NfHENT OCJA
RtGLES CONNA 15 SANCE 5 tXISTANTS
EL A. Br"Ao,
G. J. SUs .... an.
(l ).5 1914 I:':tets4)nls
(HII)
~Iectronlque. analyse
de clrcul ts ,lIec-
- - - - - - ARS
triques.
PEACE
(1 ct 2)
H. Olncbeo (1), 5 1960 rraoce
(O.N.E.R.A.
Systll.e pour l'ana-
1yse et la synthllse
- - II: TAlIlG - - - HETAlOG
PROMPT S. AdLlBlIsk 1.
l- Osvls.
(U) 1985 I:':teta-Unls Essaie de réaoudre
cartalns problê"",s
- - - Recher-
che
- - - 1) Ralaonne au même nive .... que les expert ••
physiques.
Exe""les.
.
- Concevoir un slylo
qui peut olcrlre la
Ute en bas,
- PourquoI un slylo
n'écrit pas aur du
verre,
1
- Qu 'arrherslt-il ~
un .. tylo • 200·f.
1 J
HOTEURS
NUH AIHlUR(S) R(H'·· ANNef ORHaNl Al'PlICAIION5 NOI-l!RE HIDE IlE REPH(- LANGAGE PIIASE fONCIION- P EHf ORHANCE 5 01 INf(RENCE COHKNTAIRES ŒN(RAUX
Rn'~[S DE SENTATION IlES ACTUULE NENENT OCJA
RCGI E5 CONNA 1SSANCE 5 [XISTANTS
l'hyelqu,,a.
_J 1 1 1 1
.
.!
...
li! 1 "
i
i!
1
&.
HOIEURS
NOM AU1EUII(S) R(f(- ANOCE UlIiGHt: APPLICAIIONS NIHIIIE HOOE OC REl'Rr- LANGAGE PIIASE fONCHON- PŒfORHANClS D'1 NrrRENCl C!Itt1ENIAIR[S ŒNrllAUX
"[NeES IlE SENIAliON IlES ACTOCllE tt-MENT OCJA
IItGlES CONNAISSANCES EXISTANIS
-_._.- -- --_._-
.,
PAOGllAlttAlION AIIIOHAlIQUE
DWAlUS
EXPERT HACHINISI
HAlA
PECDS
PSI
SArE
HOJEURS
NOH AUTWR(S) Rl'n'- ANNt'E ORIGIII: APPLICATIONS NOItlRE H(I)( IX REP RI'- LANGAGE PHASE rONCHON- PEIf"ORHANCE S D' INrl'RfNCE COtH:NTAIRES r(m:'RAUX
"(NCES DE SENJATION IXS ACTUELLE If:HENJ OCJA
RtGlES CONNAISSANCES EXISTANTS
Dt:DAlUS Z. Hanna,
H. IIsldln<Jl!r.
(5) 1915 - Synth~se
gu_.
de pro- - - - - - - -
EXPERT
MACIIiNIST
- (10) - l't,,ts-Unls
(CHU/t:HI)
t' f04Jra_u.t 1011
8Ut0tR8t lque.
- - - Recher-
che
- - -
--
MAlA J.P.
Sansonnet
9,
(ll)
1904 France
(Cil: T,
Synthèse de pro-
'lu ....... ( .. ochlne-
- · LISP
PHOLOG
Recher-
che
· - PROLOG
CGE) lang8<je).
r--
H}L J.P. 9, U 1911 france Syntl~se de pro- · · · Conçu · · . 1) Proldéces88ur de HAlA.
Sans omet (Unlv. grailles. pour
Toulouse) fll\8 de
recher-
che
l'ROGRAHH[H 'S
APPRENIICE
C. Rich,
Il.[. Shr""".
(2),
5, (C)
1916 t'hts-llnls
(HIl )
Synthèee de pro-
grslllftes.
- - - - · - -
--
PSI C. Green 2, 5,
9
1916 t'tats-Unle
(KeHtrel
SYllthhe de pro-
grs_es.
· - · - - - .-
InHt1tute)
..
..."
-
z ........... :;
i
i
a
! ~
c
~
!Il
-.:
~
c!
i
HOT[WlS
NOI1 AUI[UR(S) R(r(- ANNt'E lMIIGINC Al'l'llCAIlUHS NOItIR[ HlID[ ()[ R[PR(- LANGAGE PItAS[ fONCIlON- PERfORHANCES 0' 1Nr(R[NC[ COHHENTAIRI5 LtNlHAUX
Il[NC[S O[ S[NTATION ()[S ACTIJ[LL[ NCHENT OCJA
REGlES CONNAISSANC[S [XISTANTS
~
---- ---
...
... ....
i... "
...
c
!t ....
'"oc
....
u
oc
.. ~
....
i i
oc:
Il!
~
~ ,;
i
u
~
-;:
..
~
0"
MOTEURS
NOH AUTEUR(S) Rt:rt:- ANNt:l mlGINE APPlICAfiUNS NOKlRE HWE (l[ REPRr- LANGAGE PllASE fONCflON- PEHfORHANŒS 0' INft:RENŒ CIlHHENTAIHES GÎNtRAUX
RENC[S (l[ SENTAfiON (l[S ACTUEllE NE Hf NT orJA
RtCLES CONNA 1SSANCE 5 EXISTANTS
---- --
KlIlART - (9) - frsflce
(L.I.H.
Reconnaissance de la
parole.
- - - - - - - 1) La IMIlhode e ... loyée permet de recon-
ndtra un .ot avant que celui-cI aH été
5.1.) co ... lètetnenl prononcé.
SERAC H. G1Ilou.,
G. Hercler,
(1), 9 1964
(CNET,
[Link] de
.ooagr...... s pour la
- - - - - - - 1) lorsqu'on Icrll "environnement nor_) n
on englobel vocsbulü 1re ... oporhnh,
C. Tarrldec. Lannion) reconnaissance de la locuteurs vsrlables, pa,'ole cont Inue.
parole en envlronne-
Mnt nor .. l.
$ON[X O. He .... 1,
M. Eskenszl,
(1) 1964 franca
(L.I.H.
DoIvelopp' pour Inter-
pr'ter des 8ona-
- - - - - - -
J. Marlanl. 5.1. , gnomes • parti r des
Or8sy) règlea fournies psr
des experts en pho.,4-
1 tique.
V. lUE - (9)
- t:hts-Unis
(MIT)
Interpr'lstloo de
sonagreaaeo.
- - - - - Holns de 701
d'erreur,
-
quel que
soit le
locuteur.
,
1.,
....
!
! ...
i
~
iu C
u
1
:!! ~
..J
l!j
-..
1.l
c!
MOTOIRS
t«JM AUTEUR(S) R~n~- ANN(E ORIGINE APPlICATIONS N0143RE HOOE OC REPRl- LANGAGE PHASE fONCTlON- PERfORMANCES 0' 1 Nf(RENCE COIKNTAIRf$ Gt~NI:"RAUX
RENCES DE SENTATION OCS ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
CATS-I - 9, 12 - - Le plua connu dea 1 200 Règlea de - - - - - 1) Lorsqu' 11 est utU 1sé avec un vidéo-
syatè ...a de dia~œ- production disque, U peut mntrer des dla9ra ..","
tic de pannes Cloco- et des fUms d'anim:,tlon oe rapportllnt à
motives ). la consultation.
2) L'[Link] qu'il contlent a été coJ-
lect.!e chez Generel [Link] auprès de
techniciens qui réparaient, pour
certains depuis pluBieura décennies,
las locomotives fabriquées par cette
8Oci6t6.
DELTA P.P.
Bonlasone
l, (15) 1962 (tata-Unla
(General
Aide au dia'T'ostic de
pannea de rotelJrs.
140 - - - - - - -
Electrie)
--
- - (9) - france SY8t~ .... en réparation
(Cap-SogeU autolllOblle réal1at!
- - - - - - -
Innovation, pour la régie
Grenoble) Renault.
il III
...~
HO 1EUIIS
N!IH AUI[UR(S) H~r~- ANN~[ ORIGINl N'PUCAI IONS NOItIRE HOOE IlE REPR~- LANGAGE PHASE fONCIlON- P[Rf URHANCE S 0' JNf~RENCE COtttENIAIRES GI'Nt'RAUX
R[NCES DE SENTATlIlN IlES ACTUnU NlHENT OCJA
RtrolEs CONNAISSANCES EXISTANTS
~
j
....""
!...
II>
2:;
e: ....
Q
;;
...... ~
II>
...2:;
§
CI:
II>
~ CD in 51
CI:
II>
-.""
<!
.. -
HOTHlflS
NOH AU'EUn(S) RfH- ANN([ ORIGINE ""PL ICA' IONS NOIIlRE OC REPR(- LANGAGE PIlAS[
HIll)[ fONCIION- P[Uf ORHANCE S 0' INf(RENCE COH/1ENIAIRES GrNrRAUX
RENCES OC SCN1ATlON OCS ACTlJ[llE NEHENT OCJA
RtGlES CONNAISSANCE 5 EXISTANTS
1 1 1 1 1 1 1 1 1
..
HOIEURS
NOH AUIEUR(S) H(n'- ANN([ OIUGINE APPUCAIIONS NOIflRE HOOE OE REPR(- LANGAGE PIIASE rONC TI ON- PERrOOHANCES D' INr(R[NCE CIJHH[NTAIRES G(N(RAUX
RENCES IlE SENTATlON OES ACTUELLE NEHENI o(JA
REGlES CDNNAISSANCES EXISTANTS
SIRIPS H. Hkee,
N. NllooolI.
6, 9,
19,
1971 (tate-Unie Hodule de dklelon
(5111 Inter- perEttant • un robot
- - - Recher-
che
- - - 1) Deetlnd au robot HILARE.
2) Le te..,e d'exécutloo pour <J'Indrer un
(20), natlonel) de 88 déplacer (goI- plan peut litre dllllnué gr4ee • un HACHIP
21 nhe. un plan). (rddult de 2/) deno certalno cao).
}) Pertant d'un plan, lu système doit pla-
nifier une dé.... rche è suivre pour
atteindr~ un certeln but.
4) En profondeur d'aburd.
5) SI deux plane setlblcnt ldentlqueo, un
choh arbitraire est folt.
"
,
1
ARGUS
BlAST
CAPS
CI"'T-80
CORA
DYN'AT
EPAH
EXTASE
fADES
GREAS[
IlOG
lHACS
IhlI_
N\IlGE
PARS If Al
POS
PERT
POlI ries
\
S'SThlES EXPERTS (lnfor_Uon Inc.....l.t.) (aulle)
\
Descr letton des syst6_a experts
RACE
ROllOT/INTELLECT
ROtt::
SCD
SERf
SE5I'
SOAR
SOJA
TRANSCELL
WASTE
WRIGHT
NOM AUTEUR(S) R(Ft:- ANNICE APPLlCATlONS AUTRES
RENCES PROBABLES
EXIASE r. Jakob, D. Vernet, (u) 1906 Surveillance de pro08eBU8 Indue- frence (CGE).
H. Lepetlt. tri.b.
-
NUM o\UTlOO(S) R(I"(- ANt('E APPLICATIONS AUTRES
RENeES PR08A8lES
111111011
INIHlECI
1.. liarda ~, 16 1911 - -
ROHE - (l0) - long range plamtng. (tate..lJnls (CHU!DEC).
SEIIf f. Ingrand (U) 198) [Link] d'Induira la rorll8 CJiI"""'- france (IHAG).
trique d'un obJet' partir de 88a Recherche.
apolclrlcatlona foncUomellea.
SlSP - (n) - Ellbauche de perao..nel. france (Date Oaae Inror ... Uca).
O.n .. [Link] votre profil [Link] qu'il cOlll'are
avec le portrait-robot de l'e"'l'Ioyl 8Odbla.
,"
50AR Groupe IIELlX (m 198) Systa. capable or generel (tats-Unls (Unh. Stanford).
Intelligent behavlor. Recherche.
1) A dlJA diront., aon heblleté A rboudre dea pro-
bl • ..,a de tlc-tac-toe, etc.
2) " It' utllla.! avec le syatè"",-expert RI et lea
r",.. ltata obtenus sont exct!llents.
'--
NOH AUlEUR(S) R{f{- AN~[ APPlICAUONS AUIRES
RENCES PIlJ8A8lES
J
- J. Gros, C. Bernerd. (U) - lIcencleOlent de pereonnal. franee (Unlv. Montpellier!.
1
. .
- "-----~
...... .
~
~
" -8
:::
S
~ ..
z
<
..J
III
~ ~
~
!... ..J
Z
II>
>- ..i
..J
~
>-
.
II>
Ü
>-
z:
IJ!!
li>
OC z:
! :»-~ '"
II>
~
'"' i::!>-
;: ! ... "
.3
II>
'S
~
:»-
~
....
'"oc <
; i:i ..J
oC:
....
II>
~
8'"
a:
'"'
ln
~
...a:
oC:
!!I
2'
a:
U
:;
....'"'
u
>-
...
z: II>
a: a: a:
.... .... ....
.... ....~ ""...ge ...~ ....ge
'!:. .....
ln
>-
on
:»-
'.:"'
SYSlbEs clNOIAUX (aulte)
rOl
rORHES
rRl
rUlZY
CENLOC
COlEH
COLUX
COSSON (dans COPEST)
HAHEX
HPRl
10'
III)tJŒ l, 2
INSICHT 1
IPS
IROISE
KEPE
KES dans (REACTOR)
KL-oNE •
SYSTtMEs ~RAUX (BUlle)
KNOWLEDŒ CRAfT
KOOL
KRL
HacEXPERT
MERl'"
HETABOL
METALOG
HETIIODS
HICRO-EXPERT
HICROHYC l, 2
HICROPLANNER
HICRIlSYHBOl. (HICROHOTOR)
HIME dans (SATIN)
HIRLITHO dan8 (LITHO)
HP-lRO
HRS
NOAH
SYSTbES ~Nl':RAlJX (BUtte)
ORBIT
OURCIN
OWL
PARSEC
PAS-II
PERSONAL CONSULTANT
PILOTEX
PLANtt:R
PROlOG
PSC
R.L.L.
RAINBOW
RULE If\STER
51
SAC50
SAC[
SERIES PC
SHALLTALK
'j
..
!
... U1
! c
i
1
II>
~
Il
c:
,!j
...
-a,
1 -'
C
'"'
....
§ li! §5
'" :i~
II>
:i
....
II> .,g. :::
...
....1 ... ~ ... ,.. 0+
II>
~ ""~ II>
U'I
~ ~
'II
z
~
'"' ~U'I
&! a, ~
~
=:! =:!
><
ê g'" !I
U'I
i:; -:
U'I en
'" !el
ai
!
HOTEURS
NOH AUTEUR(S) R{n'- ANN{E ORIGINE APPliCATIONS NOIflRE HmE OC REPR{- LANGAGE PHASE fONCTl~- PERfORHANCES o ' 1 Nr{RENeE COHHENTAIRES r.l'NI:'RAUX
RENCES DE SENTATION OCS ACTUEl. LE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
AOVISE R.S.
(de PlANT/da, Hichslaki,
(1) 190} (tats-Unla
(Univ.
Système général.
-Médecine
- - PASCAL - - - - 1) Extrait du aystème-cxJl"rt PlANT Ids.
2) Utilise dea primitives de création
PlANT /de, A.5. Beskln. Illinola) -Agriculture dynamq ... dea règl" ••
BABY) }) Utilise le charnage avant.
--
AOVISOR - (12) - (tah-Un1e 5yatè.... général. 255 - A5SEHB-
LER
ronc-
tiomel
- - - 1) fonctiome aur Co ••,,"dore 64, Apple Il et
Atari 800.
2) 95 $ US.
, }) D1eponible cheZ! Ultimate Media Inc.,
275 Hagnolia Ave., tarkspur, CA 94939,
USA, Tél.1 (415) 924-}644.
AlHOS N.S.
Sridharan
(5) 1980 (tats-Unla
(Unh.
Sya tè.... général. - Réeeaux
sémsnt iquea
- - - - -
Rutgers)
ALOUETTE D. Hulet-
Marquis,
1, 9 1964 France
(E.D.f.
Système gén<lrsl. - - PASCAl - - - - 1) Dispose de prim t ivea qui agissent
directeœnt ...Ir le IlDteur d'inférence.
M. Gondran. Clall18rt) 2) Le mdèle de compatlblllt<l est la aemi-
unification.
}) Les règles seu lement emportent des
variablea.
4) Adopte une strsto!l)I" par tentative.
5) Paut fonctionner de façon non mnnlone.
6) Structuration de ln boae de conno t 0-
aance (partition,*, la base de falto).
7) Systèmee-experta = Superlkon, Slmml'la.
--
HOTEURS
NOH AUTEUR(S) R(f(- ANN(E ORIGINE APp\' 1CA TI ONS NIlItlRE HOOE OC REPR(- LANGAGE PIIASE fONCTlON- PERf URHANCE S 0'1 Nf(RENCE COHNENTAIRES G'N(RAUX
RENCES DE SENTATION OCS ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
APES 11 Loglc 8eaed - 1986 Angleterre Systè... gofll4!rel. Var la- Règles de LPA fonc- Chatnage - - 1) le [Link],re veralon, APES l, 10 été
Systelllll ltd. (londres) bla production PROlOG tionnel arr1~re présentée en 1984.
2) l'ordre dens lequel la système uti-
11ee (ra) laa rigles peut lnf luencer le
réeultat.
}) le ay.t .... peut répondre à des queat 10ns
aur son ra18onneœnt.
4) L. ayetà ... peut délecter les contra-
dictions.
5) les app licationa aont très var lées.
6) fonctionne eur !!l!:I-fC. I!l!!-XT! 1111-111..
5iriua l, Vlctor 9UUO, Aprlcot, OCC
Ralnbo", Wang PC, ftI Nl obus, IBM-PC
cotapll tib le ••
ARS R.H.
Stallman,
(i) 1979 l':tats-Unls
(HIT)
SysUtne général. - Logique dea
prédicats.
- - - - - 1) Utilise le ctootnage avant.
2) Anslyse de circuits électriques.
G.J. J) [Link] de théorèms en géométrie
Stu8sman. plane.
") Ut UI d pour modéli 5e r la geotlon d'une
entreprlae agrlcol".
HOTEURS
NOM AUTEUR(S) R~n~- ANŒE ORIGINE APPlI CA TI ONS NIlItlRE H(I)[OC REPR~- LANGAGE PHASE fONCflON- PERFORMANCES D' 1Nf~RENCE COHHENTAIRES ŒNI'RAIlX
RENeES DE SENTATION OCS ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
CRIQUET
(de SYGAL)
P. VI\1lard 1 1984 France
ONRIA,
Syatèlll8 général.
Classification Œa
- - - - Chalnage
bldlrec-
- - 1) Peut explol ter lea connaissances
Ince rt aines •
Sophla- galaxies. tlonnel 2) UtUlae une fonct ion heurlatlQue
Antipolis) Intrine~que BU roteur.
[HYCIN
(de HYCIN)
W. Van Helle l, 2,
(S)
1974 (tata-Unla
(SRI)
SysUlloe général.
-Diagnostic
- Règles de
production
LISP - Chalnsge
bIdlrec-
- - 1) Ordre O.
2) Détecte les contradictions.
-Contrale de tionnel }) (value un degré de compatibIlité entre
proœS8U8 do!clencheura et regles.
-Agriculture 4) UtIUas dea lllétarègles.
-Conception lllécanique S) On offrs des possibi li tés de structu-
ration des faita et ŒS règlee en
conglomérata aIgnlflcatifs dans le
do_aine d'application.
6) Le mdèle de compatibilité est Is seml-
uni f Ica tlon.
-
MOTEURS
NOH AUTEUR(S) R(n:- ANN(E ORIGINE APPt. ICA TI ONS NOIflRE MODE IlE REPOC- LANGAGE PHASE fONCTlON- PERfORMANCES D' 1 Nf(RENCE COHHENTAIRES ŒN~RAUX
RENCES DE SENTATION IlES ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
EXPERT 1 - (9) - -
(Mind Soft)
Système général. - - - - - - -
MOTEURS
NOM AUTEUR(S) Rrfr- ANN(E ORIGIME APPL 1CA TI ONS NOIflRE M[J)[ OC REPR(- LANGAGE PltASE rONCTlON- PERfORMANCE 5 D' INH"RENCE COIt1ENTAIRES GCNCRAUX
RENCES DE SENTATION OCS ACTUELLE MEMENT o(JA
RtGLES CONNAISSANCES EXISTANTS
fORMES P. Coinle,
X. Rodet.
(S) 198} - Sye tè... général. - frallll!a - - - - - 1
Goldstein.
.
j
GOLEH - (9) - France
(Hic ro-
- - - - - - - -
1
formatic)
GOSSON
dana
J.M. fouet (1) 198' France
(E.N.S.
Système général.
-Concept Ion de piècea
- - FORTRAN - - - - 1) Le but prend!,r dtait ls conception d'un
syatèllll! général (indépendant de l'oppli-
(COPEST) LI. , eatanpdea cation).
Cahan)
~- --------- ------
HOTEURS
NOM AUTEUR(S) R(f(- ANNtE ORIGINr APP\. ICA Tl ONS NOItIRE HOOE DE REPm:'- LANGAGE PHASE fONC rI ON- PERfORMANCE S D' 1 Nf(RENCE COHHENTAIR[S ŒN(RAUX
RENCES DE SENTATlON DES ACTUELLE NlMl:NT OCJA
RtGLES CONNAISSANCES EXISTANTS
L
9, 1981 (tats-Unis Système général
servant à l'appren-
- - - - - - -
Hlchalskl,
T.G. tlssage.
Dlet trlch.
KES
dana
- (1),
12
1984 t'tata-Unls
(Soft .. are
Syatlloae cp!néral
orIenté vera le die-
- Rllglea
Si-alora
IQ LISP fonc-
tlonnel
- - - 1) Pourvu d'un envIronnement o!volu.! pour
l 'ecqu1ai Uon des connaissancee.
(REACTOR) Archltec- gooat le lnteraet Ir. 2) Fonctlonne aur IBH- PC.
ture and -Traitement d'acel- }) " 000 $ US.
Englneer- dents dana dea ") Dlaponlble mez 1 Software A and E Inc. ,
Ing} réacteura nuclo!alrea 1500 lI11eon Blvd., Ar li rnJ ton , VA 2220'1,
USA, Tél •• (70}) 276-7910.
5} Contr61e proœdural.
6} Utiliae la théorIe <i>& probebl li tés pour
le dlolx dea règles 11 déclencher.
7) Retraçage des lnrérerees.
B} Interrace possIble avec d'autres oooea
de dlnnéea.
9} Peut "tre Implanté Dur'
- A-LISP,
- lIiaeorein LISP,
- Franz LISP,
- GEC VAX!VHS,
- VAX/UNIX,
J
- COC CYSER
- APOLLO,
HOTEURS
NOM AUTEUR(S) R(n'- ANN(E ORIGINE APPlI CA Tl ONS NOttlRE HOOE OC REPR(- LANGAGE PHASE fONCTlON- PEnr ORHANCE S O'INr(RENCE COHK:NTAIRES ŒNI:'RAUX
RENCES DE SEN1ATlON OCS ACTUELLE NEMENT OCJA
RtGLES CONN/IISSANCES EXISTANTS
KNOWLEOGE
CRAfT
- (9) - -
(TECSI)
Syatème général. - - - - - - -
KOOl - (9) - -
(BULL)
Systè.... général. - - - - - - -
KRl O. Bobrow,
T. Wlnograd.
(5),
15, B
1917 I:'tats-Unis
(Xerox
Système général. - fra ...... LISP - - - -
Par el
KS-}OO
dans (DRlll-
- l, 2 - (ta ta-Uni a
<tekno .. -
Syatème général. - - - fonc-
lionnel
- - EHYCIN
lOOPS
(de KBVlSI)
O.G. Bobr"",
M. Stefik.
2, 5 198} (tats-Unia
(Xerox
Syatème général.
-OoilIIOIl8trsteur
- Réseaux a6-
.antlquea ou
- - - - - 1) Mode d'lnrolrence eot défini par
l'utUlseteur.
Parc) de théorèmea framea 2) Support '1'aphlque pour la modification
de la tase de connaissance.
}) Le progre_ permet 'E montrer diffé-
rentea portions de la base de conneie-
eance.
/1) Peut 'tre i~lenté SUri
- IN1ERlISP,
- lIerox 110OS.
--
HOTEURS
NOH AUTEUR(S) R(f(- ANN([ ORIGINE APPliCATIONS NOItiRE HOOE DE RE PR(- LANGAGE PHASE rONCTlON- PERfORMANCES 0' 1 Nr(RENCE Cr'HHENTAIR[S Q'NI'RAUX
RENCES DE SENTATlON DES ACTUELLE NEHENT Ilt'JA
RtGLES CONNAI SSANCES EXISTANTS
Hl - (1),
12
1984 ~tats-Unis
(Teknow-
Syat~ ... gl!néral.
-Diagnostic
l'lad ...... Règlea
}OO Si-alors
PROLOG fonc-
tionnel
Chatnage
arrière
- EHyelN 1) Descendant rode rnisé et simplifié de
EHYCIN.
(de EHYCIN)
ledge) -Preacript ion en pro- 2) fonctIonne aur IBH-PC.
fondeur }) 10 000 $ US (Hlh
d'abord 2 500 $ US (HIA).
Il) DisponIble chell TlKNOWLfDGE , 525 111[-
vera1ty Ave., Palo Alto, CA 94}01, U5A,
T,Il. 1 (1115) }27-66116.
5) Peut repreaenter d!. connaissances
Incertaines.
6) Retraçage dea inférencea.
7) Peut itre i""lanté Rurl
- IBM PC (192 K).
HacEXPERT - (9) - -
(Hind Soft)
SyaU .... gl!néral. - - - - - - -
H[RING J. ferber (~) 19611 france Syatè .... gl!néral. - frames - - - - - 1) S'inscrit comme une gl!néral1satlon des
langagea de type [Link].
2) Haut degré de IIDdularl té.
}) 11 COIIIIIUOique par envoi e de messages •
• ) Lea lllécanismes de filtrage qui permet-
tent de mettre en correspondance des
ent! tés de la baae en tenant compte des
contraintes et des "réf lexea".
- Réflexeal aorte de procédures atta-
chées, asaociéea au x
attributs.
5) Structures de contrôle élaborées tell"s
que agenda.
HETALOG).
HOTEURS
NOM AUTEUR(S) Rl'fl'- ANNl'[ ORIGINE APPlICAT IONS NOItlRE HOOE OE REPRl'- LANGAGE PHASE fONCTION- PERfORMANCES 0' 1 Nfl'RENCE COMNTAIRES G~N('RAUX
RENCES DE SENTATION OES ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
-1
METALOG - 1 - - Système général
(extension de
- LogIque des
proldicets
- - - - - 1) A servi 11 l'onslyee et ls synthèse de
cIrcuIts oIiectroniqu"s pRssifs
,
MICROMYC
1, 2
- (1) - - Système gémIrai. - - - - - - -
MICROPLANNER - 5, B - - Système génolral. - Logique des
prédicats
- - - - - 1) Oescendsnt de PLANNr R.
1
MICROSYItlOL
(MICROMOTOR)
- (1) - - Systllme génl!ral. - - - - - - -
MIME
dsns
S. Buu -Nogue (1) 19811 france
(L.S.I.,
Système génolrai.
-Trsnefert de
- - - - - - - 1) Moteur aI..,le.
2) Un dea modules du Hystème muIti-expert
1
arrière •
----------------- ... 1
HOTEURS
NOM AUTEUR(S) Rt'n'- ANN('r ORIGINE APPlICATlONS NOItlRE HIJO[ DE R[Pn('- LANGAGE PHASE rONCTlON- P(flf"ORHANCES D' 1NFt'RENCE COMMENTAIRES Gl'N('RAUX
RENeES DE SENTATlON DES ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
NOAH [.D. l, ~ 1977 Ctals-Unls Syat~ ... général - Logique das QlISP - - - - 1) A été appliqué è "'S exemples d'asaem-
Sacerdoll (SRI) ( géné ra llona de prédicats blage da piacea élect r ..nécaniques.
plana). 2) L'ho.... exécute dell tAches matérielles
-Robotique de MOnt age et déront sge BOua lea
co.... ells d'un robot.
}) Engendre das pls/lB par degré progressif
de détalla se Ion len demandes de
l'apprenti.
OPS
(OPS ~+)
C. rorgy, l, 2,
J. HcDerrott. 5, 12
1977 ('tata-Unis
(Unlv.
Systè... général.
-Contrllie da
Hexil".. Règles de
1 ~O production
C ronc-
tionnel
Chainage
.. 1xte.
- - 1) r onctionne aur lill-PC (OPS 5+).
2) } 000 $ US.
Carnegie proceasus Stratégie }) Dlaponible cheu Artelllgcnce lnc.,
Hellon) -Planificallon par tan- 1402 Preston R08d, Dallaa, lX 75240,
[Link]. USA, Tél.1 (214) 4}7-0361.
4) Olapoae d'une technique évoluée de com-
pilation de la base da [Link] lui
permettant da redui re le temps comacré
il déterMiner lea règles à déclenche r.
5) Ordre 1.
6) Eat un dé.eloppeœnt de PS.
7) le aodèle da compat ibilité eat 10 seml-
unification.
HOTEURS
NOH AUTEUR(S) R(f(- AHN(E ORIGI~ APPlICA li ONS NOIllRE HOOE DE REPR(- LANGAGE PIIASE fONCTION- PERF ORHANCE S D' INf(RENCE COHHENTAIRlS G(N(RAUX
RENCES DE SENTATION DES ACTUELLE ~HENT O(JA
RtGlES CONNAISSANCES EXISTANTS
OURCIN E.
Oemonchaux,
(1) 1984 Frunce
(I.N.R.
Syat~.., général.
-Médec1ne
- - - - - - - 1) Ordre O.
2) Un riltre ne peut être compatible
J. I.A. - -As 8U r,mce qu'avec ...e expreauion de fait perfaite-
~inqueton. S.E.H.A.) -Paléontologie ment identique.
-Analyae dea dlnnl!!ea ,) Effort particulier coroacré ~ la c"omll-
nicat ion entre l'utlllsa teur et le sys-
tAme •
• ) SystA.., ailllpie.
5) Dea· applicatlona ont été réalisées en
analyse dea dlnJll!!es et paléontologie
al ore que d'autres sont envlsagéea dlM
le dl .... lne ooédical et le dlmeine des
as8urancee·
PERSDNAL
CONSULTANT
- (12) - (tate-Unla SysU_ gdnt!ral.
(Tex8O Ina- -Diagnoatic
.00 Règle
SI-"lora
lQ LISP fonc-
tlonnel
Chalnage
arrière
- - 1) fonctionne eur IBM-PC.
2) , 000 $ us.
trumenta) -Preacrlption en pro- ') Oiaponible mezl Texas Ina truments ,
fondeur P.O. Box 2909, A..,Un, TX 78769, USA,
d'abord ToIl.1 (800) 527-'500.
.) Peut reprt!aenter dea connaiseences
incert aines ou In.,rt!claes.
5) (dHeur de le blae de connalsoance.
6) RetraÇage des inférences.
7) Peut litre in.,lantt! BUrl
- Tl Profeaalonal et Portable Computera,
- IQ LISP.
HOTEURS
-
NOM AUT(UR(S) RCn:- ANNCE ORIGINE API'L ICATlIlNS NOtt3RE MOOE OC REPR(- LANGAGE PHASE fONCflON- PERfORMANCES 0' 1NfCRENCE COHH:NTAIRES r;['NCRAUX
RENCES DE SENTATlON DES ACTUELLE NEHENT OCJA
RtGLE5 ClINNAISSIINCES EXISTANTS
PLANNER C. Hewitl ~,
I~,
10, 1972
8
Ctata-Unia
(MIT)
Système générsl.
-Reconnaissance du
- Logique <les
prédlcsts
LISP - Chefnoge
arrière
- - 1) Pour la repréaent stlon de la connals-
sance procédura le.
lango'le éc ri t 2) fut I"",lanté flOua la version HICRO-
l'LANNER.
1) Capable <le spécifier al les règles
logiquea peuvent être ut1l1sées en
ralsonnenoent avant ou raisonnement
arrl~re.
4) En plue <le recommander les règles
possible ....nt utHen, des classes qé,oé-
ralea de règles peuvent être oufJl]érécs
par l'utiliaatlon ,le filtres.
5) Eat capable d'appliquer un fa lsonnement
par défaut.
6) Utilise la non-monlllonl".
7) Eat incapable <le cIIlIsldérer la forme
générale <le la [Link] du problème.
D) Ne peut raisonner 5ur son informallon
da contrllie (ne peul retracer 80n
raisonneœnt ).
Note. COIIIIIIe CONNIVER, ce nnteur d'infé-
rence n'est plua utlllaé sujour-
d'hui, .ais a eu une profonde
inflœnce our le nnde <le foncllon-
nement <1eR rotellrs d'inférence
edstant présentement.
PROLOG P. Rousael l, 2,
5, 9
1975 france
(Unlv.
Système général. - Logique <lea
prédicats
LISP - Cha!nage
arrière
- - 1) Ordre 1.
2) Le mdèle œ cOOlpStibillté est
HsrseUleo) en l'unification.
-
MOTEURS
NOM AUTEUR(S) R(n::- ANN(E ORIGI~ APPLICATIONS NOItIRE MODE Q[ REpR(- LANGAGE pllASE fONCTlON- PERfORMANCES 0' 1 Nn::RENCE COMMENTAIRES ŒN(RAUX
RENCES OC SENTATlON Q[S ACTUELLE ~II:NT OCJA
RtGLES CONNA 1SSANCE S EXISTANTS
l'SC P. Oufresne,
H. Gha 11aa.
(1) 1964 franee
(L.A.A.S. ,
Système général
(robot ique ).
- - - - - - - 1) La technique évoluée de compilation de
le baae œ connaissonces lui permet de
Toulouse) rofduire forteœnt le te""s consscré à
ddterllliner lea règles à rtécleneher
(lndispenaable en rObotique).
2) Oeatlnof 10 prendre place dans le ays tè".,
œ ddc1aion du robot HILARE.
) Cette technique permet à œa sys tèmen
de fonctionner en temps réel.
R.L.L. R. Grelner,
O. Lenst.
- - (tah-Unis
(Univ.
- - - - - - - - 1) Il d1spoee d'une connaissance aur son
propre fonet ionnement,
Stanford) - 88 structure,
- sea mdea d·lnférence.
2) COlDprend un grand n.. ntlre œ compos8nteo:
- dlffofrents types li! schéma de rep ré-
senletlon posslb le.
, - de IlOfIbreuBeo BtnJctures œ contrôle,
ex_, une structure de conlr"le fondée
aur la notion d'agenda permet.
1
d'organiser des tâches selon
certains rudes de priorité.
RA 1NBOI! C.R.
Hollander,
(5) 1979 (tala-Unie
(IBM,
Systèlle génolral. - Règlea œ
production
- - - - -
H.C. Palo Alto) i
---j
ROSIE
dans (lATR)
- (2) - (tels4Jnie
(RAND Cor-
Systè... générd. - - - - - - -
poraUon)
CaUfornie
-
HOTEURS
NOM AUTEUR(S) R~ft::- ANNl'E ORIGINE APPliCATIONS NOIt!RE HOOE OE REPRt::- LANGAGE PHASE fONCTlON- PERfORHANCES D'INft::RENCE COMMENTAIRES ŒNt::RAUX
RENCES DE SENTATION OES ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
SACSO P. Debord,
P. Dalle,
(1) 1981 france
(C.E.R.f.
Sya tio... génolral
(orient" vere l'ana-
- - - - - - -
5. Caetano I.A.) et Iyee de acènee).
(Univ. P.
Sabatier)
SAGE - (2) - -
(SPl Inter-
Système gl!nérsl. - - - - - - -
national)
--
SERIES PC - (12) - (tats-Unls
(SRI)
Syatiome gl!nofral.
-Dis9'oa tic
}OO Règle 51-alors IQ LISP fonc-
tlonnel
Chatnage
ardhe
- - 1) fonctiome eur IBM-PC.
2) 15 000 $ US.
-Prescription en pro- ,) Disponible cheZ! SIII International,
fondeur ' " Ravenewood Ave., Henlo Park,
d'abord CA 94025, USA, UI •• (1115) 859-5889.
,,) Retraçage dea In"'rencea.
S) Un ofdlteur de le base tE connaissance.
SHALLTALK A. Key,
A. Goldberg.
(5) 1977 t::tata-Unla
(Xero. )
Système gdnohal. - fuma - - - - - 1) Langage-objeta.
1
HOTEURS
- -
NOH AUTEUR(S) R~fI~- ANNf'E ORIGINE APPlICA TI ONS NOHBRE HIDE OC REPR~- LANGAGE PtiASE fONCTlON- PERfORMANCE S O'INf~RENŒ COIf1ENTAIR[ 5 GI-'N~RAUX
RENCES DE SENTATlIlN OCS [Link] NEHENT OCJA
. RtGtES CONNAISSANCES ~XISTANTS
Uni v. de
SavoIe
Chamery)
SNARK
dans
J.L. Lsurière l,
(~), 9
1981 france
(G.R. 22
Syst~tne CJfnt!ral.
-Gt!ologie . - Logique lÈs
prt!dicate
PASCAL
Pl/l
fonc-
tlonnel
Cheinsge
avant
- - 1) Ordre 1.
2) Pluaieura varaiona ont étt! réalinée".
(SIHtll.~S) + Unlv. -Archt!ologie }) Syatl!.... français le plus connu et le
Paria VI) -Ense 1gnement en plua dl ffueé.
physique 4) les varaione les l' 100 récentes co'"por-
tent das primithea polir exprlner d,,"
Illétaconnals88nces et reneUre en cau"e
daa hypothèaes.
!il A ineplré le développo..,nt du roteur
AlOUETTE.
6) le nodl!le da comps 1 lb i Il té eat la
seml-uniflcatlon.
7) 01sp08e da pr 1mit 1ves ~"I aglRsent. sur
le moteur d'lnft!renc".
8) Utilise das onétarègles.
9) le corps das métsrègles peut faire
appel l das primitives d'inhibition et
vaUdatlon da rigl"B, elles-m/lmeo
désignées 8860clstlvement.
10) les règles sellienoent conoportent des
variables.
11) Peut exploiter leo connalsssnces
Incert ainee •
12) Utilise une fonction heuristique
Intrinsl!que au oot"ur.
D) Adopte une slrstélJl e par tentative.
14) Peut fonctionner li! ... nl~re non
tROnotone.
l~) Structura tion, da la baae de connals-
881lCe.
HOTEURS
NOH AlJTEUR(S) R~n'- AN~[ ORIGINE APPlI CA TI ONS NOItlRE HOOE OC REP~- LANGAGE PIIASE FONCTlON- PERFORMANCES O'INITRENCE COHtt:NTAIRfS ŒNI:'RAUX
RENCES DE SENTATION OCS ACTUELLE NEMENT OCJA
RtGLES CONNAI SSANCE 5 EXISTANTS
SPIRAL - (9) - -
(CEA)
Syatèlle gdnéral. - - - - - - -
SPROUTER B. Hayes-Roth (L) - E'tata-Unia Syatè.... gdnéral. - FralllE!8 - - - - - 1) A étt! t!tendu dana l'analyee du lengege.
SYPRUC - (9) - -
(Ci .... )
Sys tà ... gdnéral. - - - - - - -
HOTEURS
NOM AUTEUR(S) R(n:- ANN(E ORIGINE APPlICATlIINS NOteRE HOOE OC REPR(- LANGAGE PHASE fONCTlON- PERfORHANCES 0' 1 Nf(RENCE COHl'CNTAIRfS G(N(RAIJX
RENCES OC SENTATlON OCS ACTUELLE NEHENT OCJA
RtGLES CONNAISSANCES EXISTANTS
--
TANGO H.O. Cordier, (1), 5 1982
H.C. Rousset.
france SysU.., gé""ral (utl-
(LRI, Uni v. Hsation en EAII).
- Logique ŒS
prldlcate
LISP - Chalnage
bidirec-
- - 1) Ordre 1.
2) On ne peut expUci lement qu'ajouter de.
Paris-Sud) Honnel raits (difaut atténué par le fait que
Orssy le mteur peut, du 8a propre autori lé,
suppri ... r un fait s'l1 survient un
ajout dljà prIsent. dans la [Link]).
) Technique évoluée Œ compilation de la
base de conne la68nces, lui pa rme tt ant
de réduire le temps consacré à déter-
Rliner les œgles à déclencher.
4) Le tempe gagné à la déterminstion d,s
r~gles à dlclencher risque d'êtr~ nlté-
nut! par une consommation prohibitive
d'espace-mémire.
5) le mdille de compatibilité est la 9"mi-
unification.
6) Per"",t l'introduct ion de procédures
dans les règles et métorèglea.
7) Adopte une stratéqle Irrévocable.
8) Structuration de la bane des règles.
9) Le IOde de contrôle permet de gui,ler
le raisonnement par lMl plsn.
10) le &ystà .... disttn'J'"' explicitement. 1.
notion d'i""Ucatlon de celle d'act ion
eur une base des fait".
il) S'U y • déclenchement d'une action,
cette action rodifiera la [Link] des
conna1s88nces.
12) TANGO construit un plsn de r"aolutlon
qui par"",t de ohoisir le règle li dé-
clencher en tensnt co""te de but s immé-
diats, définis par un certain nomhre de
crithes à chaque cycle de résolution.
H) le type de raisonnement "Ppllqué par le
eystè .... est un dlolnn'J" ovont guidé par
un plan construit en charnage Brt'Ière.
HOTEURS
t{]H AUTEUR(S) ~n:- ANNEt ORIGINE APPllCA TI ONS NOItIRE HOOE OC REP~- LANGAGE PHASE FONCTION- PERFORMANCE S o'INFI'RENCE COHHENTAIRtS ŒN(RAUX
RENCES DE SENTATIDN OCS ACTUELLE NEHENT o(JA
REGlES CONNAISSANCES EXISTANTS
TEIRESIAS R. Davis,
O.B. Lenat.
2, 9, 1980
(4),
l'tato-Un!a
(univ.
Syat~ ..e de trana fert
de connaissance d'un
- - - - - - - 1) Peut organiser les connaissances dlnnéea
en vrac_
10,15, Stanford) expert humain à un 2) Cepab le de ~ tect e r, d. na la ba ae des
Il cyathe et guide COMols sances , les lac mes ou les 10eo-
l 'ac'Iuisit Ion de htSrences.
nouvellea règlea
d'inférence.
-
MOTEURS
N)H AUTEUR(S) Rrrr- ANN(E ORIGINE APPliCATIONS NOItiRE HOI)[ OC REPRIC- LANGAGE PtlASE fONCTlON- PERr ORHANCE 5 D' 1 NfICRENCE COMMENTAIRES ŒN(RAUX
R[NeES DE SENTATION OCS ACTUELLE NEHENT OCJA
RtGlES CONNAISSANCES EXISTANTS
J
MOTEURS
NOH AUIEIIR(S) Rt'f{- ANN(f DIUGlNE Al'l'lICATlONS NOIIIRE HOOE OC REPRl- LANGAGE PIIASE fDNC Il ON- PERfORHANCE 5 O'INflR[NCE CIIItIENTAIHES GlNt'RAUX
HENeES DE SENTAIION OCS
CONNAISSANC[S
ACTUELLE HEHENT oc lA
RtGlES EXISTANTS
SIEAHE:R llollan,
Il,,lcMna,
(15) 1984 - Op<lraUon de
cenlraloa lherlllquea.
- - - - - - - 1) Graphle8 coupled lo '[Link] rode 1
of plant.
We [Link]
--.
!.. ;:
..
! 1!!
...ccz --,.
!!l
z
cc
'"
C
==
!!
0-
.. ..."" ...
z z
>*1
i
\
)'!
z
CI:
z
Q
1
.. ;:
'"~cc 0:
ct
N
~
~
,. - -- -... -
II>
'"
~
~
:: ;: cc
~
cc
~
cc
~
~
== i,.
""
~
MOTEURS !
NOM AUT(UR(S) R(rt:- ANNt:E ORIGINE APPliCATlORS NOHIl/lE HlDE IlE REPRr- LANGAGE PHASE fONCTlON- P[ Rf ORHANCE S D' 1NH~RENCE CIlHHENT"IRES G(N(RAU~
RENCES DE SENT"TIOR IlES ACTUELLE NEHENT OCJA
RtGUS CONN" 1SSANCE S EXIST"NTS
1
Data)
--
ARIANE 78 B. Vauquola (14) 19711 france
(Unh. de
Traduction eulOOl8-
tlque.
- - - - - - - 1) Le dictionnaire p.l le IOOdèle lin9ulo-
tlq..u uUlIe6d dOnt :!.parés de 10 purtle
Grenoble) logiciel (contraire nt. plusieurs
eutrea ayalè ..... de l'I.A.).
2) Posalblllt4 d' ..... lIorer lea gr .... elres
ou la lIOdèle linguistique.
\. }) La ao!quence dea opérst lona effectuées ae
\ \
divise en trol. [Link] étapes.
- analyae (ddcortiquer 1.. texte),
,
- transport (retrouver, dans la lOflCJue
cible, dea rel>réaenLHtlons équivs-
\
'.
'\ \ lenle_h
- gé.... [Link] (d'un texte tntelllglble).
4) la cinquième version de Arlene 711 8 été
.Ise eu point par le GHA (Groupe d'(tu-
de. pour 1. Traduction AutolOatlque).
S) Syatème de deuxième génération.
Sarrebruck)
déalrad. ductlon. 1
--- 1
---
HalEURS
NOM AUIEUR(S) 11I~fI'- ANNll IWllGINr: A1'l'lICA Il ONS NOItlRE HfJ)E Il[ HEPRl'- LANGAGE PHASE rIINCHON- PEHfORHANCES 0' 1Nfl'RENCE COIf1[NTAIRI.S ŒNtRAUX
"(NeES 0[ SENTAHON Il[S ACTUEllE NEHENT OCJA
ntGlES CONNAISSANCES EXISTANTS
Il Il US - (14) 1981 france Ireductlon automa- - - - fonc- - Bonnee per- - 1) 5ystè..... "syntaxe eontrlllole", o'auto-
et
1111115 IV
(11-
lius
(Institut
textile
tique (conçu ""'Ir
tralt" ..."l .. ltl-
le tlonnel for-'Cee rlse que l'e.."lol de for ... e d'expreseloll
ob41ssont II L~rtalnl clitèrea l1nguls-
IV) de fronce lingue de baoes de tiques restreints ct "rt!tlétermlnéo 1
(lin) don...See da"8 les
HOTEURS
NIIH AUI[UH(S) R~n~- ANN([ ORIGltf: Al'PlICA liONS NOttlRE HIIlE OC REP Il!- LANGAGE PItASE fONCIION- PERfORMANCES 0'1 Nf{RENCE COtt-ENIAIIH:5 !TN(HAUX
R[I«:ES DE SENTATION OCS ACTUl.~LE ~HENI olJA
RtGlES CONNAISSANCES EXISTANTS
-
'HorEURS
NOM ~UT[uR{S) R~n~- ANNt'[ ORIGItt: APPLICATIONS NOttIRE Hill[ OC REPR~- LANG~Œ PHASE fONCTlON- PEITORHANeES D' 1,..~RENCE COIKNrAIRES ŒNt'RAUX
R[NeES DE SENTATIIIl OCS ACTUEllE tt:t1ENr OCJA
RtGlES CONNA 1SSANCE 5 EXIST~NTS
de caracthesl
- après IdenUflcetlon deo groupes ayn-
tadquea, le progru ..... procède l leur
transfert.
1 1 1 1 1 1 1 J
~ ..
..
!
il r:s
~
....
Q
1
!
;:
...
~
HOTEURS
NUN AUIEUR(S) R~I1:- AN~[ ORIGI/€ APPlICAIIUNS NUItIRE HIllE IlE REl'R~- LANGAGE PHASE fONCTlON- P[Rf OIlHANCE S D' INf~R[NCE COHHENIAIRES ( °NltIAIIX
RENeES DE SENIAlIUN IlES ACIUELLE /€HENT OCJA
Rhus CONNAISSA.1CES EXISTANTS
.-
1 1 1
_J
1.- Farreny,H.; "Les systèmes experts: principes et exemples.",
Collection Techniques Avancées de l'Informatique, Editions
Cepadues, Toulouse, 1985, 254 pages.
13.-Revues Microsystèmes.
14.-Revues La Recherche.
15.-Ecol~ Polytechnique de Montr~al, Jou:t::né(~ Augus ti n Frigon
(Intelligence artificielle et systèmes experts), Ecole
Polytechnique de Montréal, 1984.
Le présent inventaire ne prétend pas être complet, mais peut être considéré
comme un point de départ d'une recherche qui pourrait être plus exhaustive.
M.I 5.1
EXSYS ART
OPS5 KEE
PERSONAL CONSULTANT DUCK
INSIGHT KNOWLEDGECR AFT
EXPERT-EASE OPS5
TIMM EXPLORER
MICRO-EXPERT LOOPS
KDS
RULE MASTER
AION
KES
SERIES-PC
ES/P ADVISOR
MATrRIEL INFORMATIQUE EN INTELLIGENCE ARTIFICIELLE
Applied rtats-Unis
Expert
System
LMI - LM-2.
- PICON systèmes experts pour le contrôle
de processus.
- LM-PROLOG, Flavors (langages).
Lucid Palo Alto, - Compilateur LISP, COMMON LISP.
Californie
Machine Etats-Unis
Intelligence
Micro- France - QLISP, OPS-5.
Informatique
Mind Soft. France - EXPERT I, MacEXPERT.
Mitsubishie Japon - A venir: machine à inférence séquen-
Electric tielle (architecture hautement
parallèle) (langage PROLOG).
- Projets: -Gestion intelligente de base
de données.
-Traitement du langage
naturel: notamment un sys-
tème pour la traduction du
japonais à l'anglais.
NCR Etats-Unis - Compilateur COMMON LISP.
. - Pour bientôt: revente de divers envi-
ronnements pour systèmes experts.
PRIME Etats-Unis - Pour bientôt: vente .du compilateur
COMMON LISP.
PROLOG lA France - PROLOG Il (MacIntosh, VAX, HP) •
S.R.!. Etats-Unis - SeRIES-PC: environnement pour systèmes
International experts, coat $5,000.00 U.S.
-
SEMA France
HATrRIEL INFORMATIQUE EN INTELLIGENCE ARTIFICIELLE (suite)
Synte1ligence rtats-Unis
Tecknow1edge rtats-Unis - PRO LOG sur IBM-PC, coût $2,000.00 U.S.
- Environnement 5.1 pour systèmes
experts, coût $50,000, $80,000.00 U.S.
TECSI France - Divers environnements pour systèmes
experts.
- KNOWLEDGECRAFT.
.
Tektronix Etats-Unis - SMALLTALK.
- TEK 4404.
.. - Stations de travail SUN et APOLLO.
Texas Dallas, Texas - Production d'un micro-processeur LISP à
Instrument l'automne 1986: "Explorer Me9a Chie".
- Projet de construction d'un "Comeact
LISP Machine" (contrat avec la DARPA)
qui ne prendrait pas plus d'espace
qu'une boîte à soulier.
-
- Explorer LISP Machine.
- Environnement "Personal Consultant
Plus" pour le développement de
systèmes experts.
Coût: $1,000.00 u.s. et plus; sur
IBM-PC ou compatible.
- PROLOG.
HATrRIEL INFORMATIQUE EN INTELLIGENCE ARTIfICIELLE (suite)
1.0 INTRODUCTION
4.0 L'UNIFICATION
Prolog est un langage qui s'écarte radicalement des voies sui vies à
partir du principe de la programmation impérative, qui oblige l'informa-
ticien à indiquer pas à pas à l'ordinateur ce qu'il doit faire pour
calculer le résultat qu'il veut obtenir, i l prend plutôt profit de la
programmation déclarative qui consiste à représenter dans un formalisme
adéquat des connaissances sur un sujet donné, à partir desquelles seront
déduites les réponses aux questions de l'utilisateur.
La langage Prolog a été conçu et amélioré durant les années 1970, par A.
Colmerauer et R.A. Kowalski, pour des travaux de recherche concernant la
compréhension du langage naturel et la programmation en logique. Il a
été de plus utilisé pour des recherches sur l'interrogation et la
description des bases de données, la conception assistée par ordinateur
et la réalisation de systèmes experts.
A si B et C et ••• et 1.
Si on définit une relation entre des objets, l'ordre dans lequel les
objets sont donnés est significatif. On appelle "identificateurs" les
mots qui servent aussi bien à nommer les objets que les relations qui les
lient. Le nom de l'identificateur d'une relation est appelé "prédicat".
Les orrjets sur lesquels portent la relation sont les arguments.
"le programme"
père (Paul, Jean) ~;
père (Pierre, Mélanie) ~;
homme (Paul) ~;
homme (Jean) ~;
homme (Pierre) ~;
I)omme (Yvan) -.;
homme (Robert) ~;
Une question telle que "de qui Paul est le père" sur l'ensemble précédent
d'assertions se traduira, par exemple:
La structure de base des objets que Prolog sait manipuler est la struc-
ture d'arbres. Les relations et leurs arguments sont des arbres.
C'est une structure suffisamment riche pour représenter des informations
complexes, organisées hiérarchiquement, mais aussi assez simple à
manipuler, aussi bien du point de vue algébrique que du point de vue
informatique. Par exemple, l'assertion "père (Paul, Jean)" peut être
représentée par l'arbre suivant:
~'Père,,---
x Jean
en est un exemple.
égal
16 "'-fois
-/ "'-moins
4/ ""'fois
/ \
2 3
D'un point de vue plus général, on peut parler d'équations entre arbres
ou même de systèmes d'équations entre arbres. La solution d'un tel
système, si elle existe, sera un ensemble de valeurs à donner aux
variables figurant dans le système d'équation pour que chacune de celle-
ci soit satisfaite.
L'unification repose sur les principes suivants: étant donné deux arbres
a et a', on cherche si a = a' possède une solution dans le domaine des
arbres. Pour cela, on décompose a et a' en leurs sous-arbres respec-
tifs. Si les racines de a e~t a' sont identifques et ont le même nombre
de descendants, alors la contrainte initiale Co = (a = a') est remplacée
par la contrainte Cl = (al :: al" ••• , an = an') où ai et ai' sont des
sous-arbres de a et a' respectivement. On procède de la même façon pour
chacune des nouvelles contralÎntes obtenus en Cl' L' algori thme s'arrête
lorsque la contrainte courante est réduite:
1) lorsque la contrainte courante contient une égalit~ entre deux arbres
qui n'ont pas la même racine ou dont les racines n'ont pas le même
nombre de descendants, dans ce cas le système n'a pas de solution;
2) lorsque la contrainte courante ne contient pas des égali tés dont les
membres gauches sont des variables toutes distinctes, auquel cas la
contrainte courante repr~sente la solution du système initial.
C = E U (al '# al'; ag '# a g '; ...., an '# an') où E ne contient que des
~quations.
a) E U (al '# al'; .a g '# a g '; ••• ; an '# an') a une solution si et seulemenl
si chacune des contraintes E U (al '# al') ••• E U (an '# an') a une
solution.
bl) si (ai '# ai') n'a pas de solution, E U (ai '# ai') en a une. Dans
ce cas, l'inéquation 8'i '# ai' peut être supprim~e et S est aussi
solution de E U (ai '# ai);
b2) si E et EU (ai = ai') ont la même solution, alors EU (ai '# ai)
n'a pas de solution;
- une question comme: ql q~~ ••• qn s'interprète par l'ordre, c' est-à-
dire effacer ql' puis effacer q2' ••• , puis effacer qn;
A chaque
. ~
pas, nous avons une suite courante de buts à effacer, B, et une
contrainte courante, C. L' algori thme démarre en prenant pour valeur
initiale de B, la suite initiale des buts (la question posée) et pour
valeur initiale de C, la contrainte vide. Le moteur répète ce qui suit:
Considérons à un instant donné te que nous sommes parmi un des deux cas
du niveau (3), et soit bl b2 •• ~ b e la suite des buts restant à effacer.
Posons Ct l'ensemble des choix des règles applicables mis en attente
e
lors de l'effacement du but précédent, alors Ct représente la sui te
e
des choix de règles mis en attente dans l'ordre du plus ancien au plus
récent.
+-----I
+--.----.........
Reste-t-il des
OUi
buts à atteindre?
Non
",primer la réponse
exprimée par les
[ contraintes
Est-on revenu à
Remplacer le l'étape initiale?
premier but par Non
le membre droi t Commencer par
de la règle et Oui la première
~jouter les Revenir à règle
nouvelles l'étape 1 FIN ~ Oui
contraintes précédente
On passe à la
Non règle suivante
FIGURE 1
Les faits et les règles en Prolog admettent des variables. Lorsque ces
variables prennent une valeur au cours de la résolution du problème, on
dit que ces variables sont instanciées. Le mécanisme de base qui permet
d'égaler un terme à un autre dans le but d'instancier les variables
présentes dans chacun des deux termes s'appelle l'unification. L'unifi-
cation est une procédure de base de l'interpréteur Prolog. Lorsqu' il
essaie d'effacer un sous-but, il essaie d'unifier celui-ci avec une
assertion existante dans la base ou avec une expression de tête de règle.
6.0 LES LISTES
la suite (el' e2, ••• ) correspond la liste (el.(e2.( ••• ))). La liste
vide se note (nil) et sert de marque de fin de liste. Cependant, le
codage non parenthèsé est admis. . Par exemple, la suite (el' e2' e3)
s'écrit [Link], et sa représentation sous forme d'arbre est:
e~
nil
Ces arbres, et par extension les listes qu'ils représentent, sont parfois
appelés des peignes.
x.y
=
Â
x y
/
e2
nil
Ainsi notre examen met en évidence dans un programme récursif deux types
de règles et deux types d'arrêts:
RI concatener (nil, l, 1) ~;
Vous remarquerez que la syntaxe pour l' écri ture des faits et des règles
est un peu différente de celle utilisée jusqu'ici pour montrer quelques
exemples de clauses Prolog. La syntaxe que nous avons utilisée aupa-
ravant est la Prolog II. La syntaxe de Prolog II est quelque peu diffé-
rente de Turbo-Prolog. Cependant, le fonctionnement du moteur d'infé-
rence à quelques particularités près est le même que Prolog II. Le
lecte~r pourra s'en convaincre en consultant "Turbo-Prolog: The Natural
Language of Arti ficial Intelligence", édité par Borland International
Inc., 4585, Scotts Valley Drive, Scotts Valley, CA., U.S.A.
L'usager peut consul ter le système expert après une mise en mémoire du
programme, et en donnant comme but à satisfaire celui de "intervention".
_ Le système demandera alors de définir l'état du déversement sur le si te
par une série de questions-réponses.
~
Après que l'état du ~QQ~ffleRt est bien défini, le système suggère la ou
les (s'il y a en a plus d'une possible) intervention(s) appropriée(s).
Chacune des interventions suggérées est divisée en deux parties: inter-
vention de confinement et intervention de récupération. Pour chacune des
parties de l'intervention, on donne à titre d'exemple sur un tableau, un
coût fictif de l'opération, un facteur de réussite, un coût pondéré en
tenant compte du facteur de réussite.
clauses
intervention:-
openvrite(deverselent,'a:[Link]'),
verification!!),
vriteIAJ,n1,
vritedeviceldeverselent),
vrite(!J,n1,
vritedevicelprinterl,
vritel!),nl,n1,
vritedevicelscreen),
~ preliere_lesure(B),
vriteIB),nl,
vritedeviceldeverseaentl,
vrite(Bl,nl,
vritedevice(printerJ,
vrite(Bl,nl,nl,
vritedevicelscreen),
intervention!.
interventionl:-
interventlon2.
interventionl :-
vrite('\nlncapable de determiner d'autres'l,
vrite[' interventions appropriees. \n\n'J,
vritedevice(printerl,
vrite('---------------------------------------------------------'),n1,
vritedevice[screenl,
closefile(deverselentJ,
nl,nl,enlever_fait.
intervention2:-
confinelentICc,Frc,Ccp,Dl,
recuperationlCr,Frr,Crp,EJ,
vrite(D),nl,
vrite(El,n1,
vritel' cout \ renssite cout pondere'J,nl,nl,
vritef('\15\lO\lO\l7 \n','confinelent:',Cc,Frc,Ccp),nl,
vritef('\15\10\lO\l7 \n",'recuperation:',Cr,Frr,Crpl,nl,
v~ite(' -----------'),n1,
Ctp=~q t Crr /
vrite(' ',Ctpl,nl,nI,
vritedevice(deve:selentl,
vrite(DI/nl,
vrite(EI,nl,
vrite(' cout \ reussite cout ponàere'l,nl,nl,
vritef('\15\10\10\17 \n','confioelent:',Cc,Frc,Ccpl/ol,
vritef('\15\lO\lO\17 \n','recuperation:',Cr,Frr,Crp),oI,
vrite(' -----------'1,01,
Ctp=Ccp t Crp ,
vrite!' ',Ctpl,nI,nl,
vritedevice!printerl,
vrite(Dl,nl,
VI i te (El, 0 l,
vrite(' cout \ reussite cout pondere'J,nl,nl,
vritef!'\15\10\lO\17 \o','confinelent:',Cc,Frc,Ccpl,nl,
vritef('\15\lO\lO\17 \n','recuperation:',Cr,Frr,Crpl,nl,
vrite!' -----------'I,nl,
Ctp=Ccp t Crp ,
vrite(' ',Ctpl,nl,nl,
vritedevice(screeol,
nl,nl,nl,fail.
enleverJait: -
retract!xoui(_,_ll,fail.
enleverJait:-
vrite('\n~~ase press the space bar to Exit'J,
~ readc~.J.
leabre(Int,IIntl_ll.
lelbre(lnt,[_ILintll:- lembre(Int,Lintl.
'oui!X,Yl if IDUUX,Yl,!.
oui(l, Il if
not!xoui(I,.J l,
question!I,Zl,
y =Z
sortie!%):-
vritedevice!deverseaentl,
vrite!Zl,nl,nl,nl,
.vritedevice!printerJ,
vrite!ZJ,ol,n1,nl,
vritedevice!screenJ.
question!reseau,Z):-
vrite('Est-ce que la tacbe:'I,nl,
vrite!' l-est sur le sol'I,nl,
vrite(' 2-est sur l'eau'J,nl,
vrite!' 3-est sur le plancher'J,nl,
wI1te(' dans un batilent','\n'J,
vritedevice(deversementJ,
vrite('Est-ce que la tache:'J,nl,
vrite(' l-est sur le sol'l,n1,
vrite(' 2-est sur l'eau'J,nl,
"rite!' 3-est sur le plaocher'l,nI,
vrite{' dans ur. [Link]','\r.'),
vritedevice(printerl,
vrite{'ist-ce que la tache:'),nl,
vrite{' l-est sur le sol'),n1,
vrite{' 2-est sur l'eau'),nl,
vrite{' 3-est sur le plancber'l,nl,
vrite{' dans un [Link]','\n'),
vritedevice(screen),
readint{Z),
sortie{%),
asserta{xoui{reseau,%ll.
questionlinterieur,%l:-
vrite('ist-ce que la tache a ete repandue:'l,nl,
vrite(' I-dans un garage,'l,nl,
vrite(' dans un atelier,'l,nl,
vrite(' autres batilents'l,n1,
vrite{' 2-dans un [Link]'),nl,
vrite{' d'un poste'l,nl,
vrite{' )-dans une centrale','\n'),
vritedevice{[Link],
vrite('Est-ce que la tache a ete repandoe:'),nl,
vritel' l-dans on garage,'l,nl,
vrite(' dans on atelier,'),nl,
vrite(' autres [Link]'),nl,
vrite{' 2-dans un [Link]'l,nl,
vrite(' d'un postel),nl,
vrite(' )-dans nne centrale','\n'l,
vritedevice(printerl,
vrite('Est-ce que la tache a ete repandue:'l,nl,
vrite(' l-dans on garage,I),nl,
vrite(1 dans un atelier,'),nl,
vrite(1 autres [Link]'),nl,
vrite(' 2-dans un [Link]'),nl,
vrite(' d'un poste'),nl,
vrite(' )-dans une centrale','\n'),
vritedevicelscreen),
readint(ZI,
sortie(%),
asserta(xoui{interienr,Z)I.
question(exterieur,%l:-
vritel'Est-ce goe la tache a ete repandue:'l,nl,
vrite(' I-dans une aire'l,nl,
vrite{' d'entreposage'l,nl,
vrite(' on antres aires'l,nl,
vrite(' 2-a l'exterienr,lais a'l,nl,
vrite(' l'interieur [Link]'),nl,
vrite(' de l'installation d'un poste'),nl,
vrite(' )-a l'exterienr des limites'l,nl,
vrite(' d'une installation','\n'l,
vritedevice{deverselentl,
vrite('Bst-ce gue la tache a ete repandue:'l,nl,
vrite(' I-dans une aire'l,nl,
vrite(' d'entreposage-l,nl,
vrite(' ou autres aires'l,nl,
vrite(' 2-a l'exterieur,lais a'l,nl,
vrite{' l'interieur deslilites'l,nl,
vrite{' de l'installation d'un poste'),nl,
vrite{' 3-a l'exterieur des limites'J,nl,
vrite(' dlune installation','\n'l,
vritedevice(printerl,
vrite('gst-ce que la tache a ete repandue:'),nl,
vrite(' l-dans une aire'l,nl,
vrite(' d'entreposage'l,nl,
vrite(' on autres aires'),nl,
vrite(' 2-a l'exterieur,lais a'),nl,
vrite(' l'interieur deslilites'l,nl,
vrite(' de l'installation d'un poste'l,nl,
vrite(' 3-a l'exterieur des lilites'l,nl,
vrite(' d'une installatioo','\n'l,
vritedevice(screen),
readint(ZI,
sortie(:l,
asserta(xoui(exterieur,ZII.
guestion(tacbe1,ZI:-
vrite('Est-ce gue la tache atteint:'l,nl,
vrite(' 1-un regard dlegout'l,nl,
vrite(' 2-un puit d'acces aux cab les et au reseau de drainage'l,nl,
vrite(' 3-des conduites de cables'l,nl,
vrite(' 4-des drains de surfaces'l,nl,
vrite(' DU souterrains'l,nl,
vrite(' 5-une station de pOlpage'l,nl,
vrite(' 6-aucunes de ces possibilites','\n'),
vritedevice(deverselentl,
vrite('Est-ce gue la tacbe atteint:'l,nl,
vIite(' 1-un regard d'egout'l,nl,
vrite(' 2-un poit d'acces aux cables et au resean de drainage'l,nl,
vIite" 3-des conduites de cables'l,nl,
vrite(' 4-des drains de sUIfaces'l,nl,
vrite(' ou souterrains'l,nl,
vrite(' 5-une station de pOlpage'l,nl,
vIite(' 6-aucunes de ces possibilites','ln'l,
vritedevice(printerl,
vrite('Est-ce gue la tacbe atteint:'l,nl,
vrite(' 1-un regard d'egout'l,nl,
vrite(' 2-un puit d'acces aux cables et au reseau de drainage'l,nl,
vrite" 3-des conduites de cables'l,nl,
vrite!' 4-des drains de surfaces'l,nl,
vrite(' ou souterrains'l,nl,
vrite(' -5-une station de pOlpage'l,nl,
vrite!' 6-aucunes de ces possibilites','\n'l,
vritedevice(screenl,
readint(ZI,
sortie(ZI,
asserta(xoui(tacbe1,%II.
gnestion(tache2,ZI:-
vrite('Est-ce gue la tache atteint:'l,nl,
vrite(' 1-un fosse sec'l,nl,
vrite" 2-un fosse [Link]'l,nl,
vrite(' 3-un fosse bUlide etroit'l,nl,
vrite(' 4-un ponceau'l,nl,
vIite(' 5-aucunes de ces possibilites','\n'l,
vritedevice(deverselentl,
vrite('Est-ce gue la tacbe atteint:'l,nl,
vIite!' 1-un fosse sec'l,nl,
vIite(' 2-un fosse humide'l,nl,
vrite(' 3-on fosse hUlide etroit'l,nl,
vrite[' 4-un ponceau'l,nl,
vrite!' 5-aucunes de ces possibilite~','\t'l,
vritedevicelprinteII,
vIite{'Est-ce que la tache atteint:'l,nl,
vIite!' l-uo fosse sec'l,ol,
vIite!' 2-un fosse hUlide'J,nl,
vIite{' 3-un fosse bUlide etIoit'l,nl,
vIite(' 4-un ponceau'J,nl,
vIite{' 5-aucunes de ces possibilite~','\n'l,
vIitedevice(scIeenl,
readint(%l,
sOItiel%l,
asserta(xoui(tacbe2,%)I.
questionltache3,%I:-
vIitel'Est-ce gue la tacbe atteint:'l,nl,
vIitel' l-une station de pOlpage','\n'l,
vIitel' 2-un ruisseau'l,nl,
vrite!' )-une riviere'l,nl,
vritel' 4-un lac'l,nl,
vritel' 5-le fleuve'l,nl,
vritel' 6-aucunes de ces possibilites','\n'l,
vritedevice!deveIselentl,
vritel'Est-ce gue la tacbe atteint:'l,nl,
vIitel' l-une station de pOlpage','\n'I,
vIite(' 2-un ruisseau'l,nl,
vIite!' 3-une riviere'l,nl,
vritel' 4-un lac'l,nl,
vIite!' 5-le fleuve'l,nl,
vIite(' 6-aucunes de ces possibilites','\n' ,
vIitedevice!pIinteIl,
vIitel'Kst-ce gue la tache atteint:'l,nl,
vIite!' l-une station de pOlpage','\n'I,
vIite!' 2-un ruisseau'l,nl,
vIitel' 3-uoe riviere'l,nl,
vIite!' 4-un lac'l,nl,
vIitel' 5-le fleuve'l,nl,
vrite(' 6-aucunes de ces possibilites','\o' ,
vritedevicelscIeeo),
readintl%),
sortiel%},
assertalxou1ltache3,%)).
qoestionlpolluant,%):-
vrite('Est-ce gue le polluant est:'l,nl,
vIitel' I-de l'essence'l,nl,
vrite(' 2-de l'huile ou autres produits','\ Il,
vritedevice(deverselent),
vIitel'Kst-ce gue le polluant est:'l,ol,
vritel' I-de l'essence'l,nl,
vÎitel' 2-de l'buile ou autres produits','\ 'l,
vIitedevicelprinter},
vritel'Est-ce que le polluant est:'l,ol,
vritel' I-de l'essence'l,nl,
vritel' 2-de l'buile ou autres produits','\ 'l,
vritedevicelscreeo),
readintlZ),
sOItielZ},
asserta(xoii(polluant,%}l.
question!qoantite,%}:-
vrlte!"ist-ce que la guantite est:"),nl,
vrite(' I-faible'i,nl,
vrite(' 2-loyenne'),nl,
vrite(' 3-ilportante','\n'),
vritedevice!deveIselent),
vrite("ist-ce que la quantite est:'),nl,
vrite(" I-faible'),nl,
vrite(" 2-loyenne'},nl,
vIite(" 3-ilpoItante',I\n"},
vritedevice!printeI),
vIite('Est-ce que la guantite est:'l,nl,
vIite(' 1-faible'},nl,
vIite!' 2-loyenne'},nl,
vIite(' 3-ilportante','\n'I,
vIitedevice!scIeen),
Ieadint(%),
sOItie(%),
asseIta(xoui(guantite,%)).
guestion(forle_tache,%):-
vrite('Est-ce que la tache est:"),nl,
vIite(' l-ciIculaire'),nl,
vIite(' 2-allonge'),nl,
vIite(' 3-guelguonque','\n'),
# vIitedevice(deverselentl,
vIite('Est-ce gue la tache est:'l,nl,
vIite(' l-ciIculaiIe'),nl,
vIite(" 2-allonge'l,nl,
vIite(' 3-guelquonque','\n'I,
vIitedevice(pIinteII,
vIite('Est-ce que la tache est:'l,nl,
vIite(' !-ciIculaiIe'),nl,
vIite(' 2-allonge'),nl,
vIite(' 3-quelguonque','\n'I,
vIitedevice(scIeenl,
Ieadint(%),
sOItie(ZI,
asseIta(xoui(foIle_tache,%}I.
guestion(conditiop_clilat1,%):-
vIite('La condition au sol est:'),nl,
vIite(' 1-s01 non-gele"l,nl,
vIite(' 2-s01 gele"),nl,
vIite(' 3-couveIt de neige'l,nl,
vIite(' ~-fonte de neige','\n'l,
vIitedevice(deveIselentl,
vIite('La condition au sol est:'l,nl,
vIite(' l-sol non-gele'l,nl,
v~ite(' 2-s01 gele'l,nl,
vIite(' )-couveIt de neige'l,nl,
vIite(' 4-fonte de neige','\n'l,
vIitedevice(pIinteI),
vIite!'La condition au sol est:'l,nl,
vrite(" 1-s01 non-gele'l,nl,
vIite!' 2-501 gele"l,nl,
vIite!' 3-couveIt de neige'l,nl,
vIite!" 4-fonte de neigeR,"\n'),
vIitedevice!scIeenl,
Ieadint!Z),
sortie(%J,
assertalxouilconditioD_clilatl,ZJJ.
questionlconditioD_cliaat2,II:-
vritel'La condition sur l'eau est:'),nl,
vrite(' l-couvert de glace'J,nl,
vrite(' 2-couvert de glace par endroit'l,nl,
vrite(' 3-sans couvert de glace',"t'J,
vritedeviceldeverselentl,
vrite!'La condition sur l'eau est:'J,nl,
vrite(' l-couvert de glace'l,nl,
vrite(' 2-couvert de glace par endroit'),nl,
vrite!' 3-sans couvert de glace',"n'),
vritedevice!printer),
vrite('La condition sur l'eau est:'),nl,
vrite!' l-couvert de glace'),nl,
vrite!' 2-couvert de glace par endroit'),nl,
vrite(' 3-sans couvert de glace',"n'J,
vritedevice(screen),
readint(Z),
sortie(%),
asserta(xoui(condition_clilat2,Z)).
question!telps_ecoule,2):-
vrite!'Est-ce que le telps ecoule est:'J,nl,
vrite!' I-peu'),nl,
vrite(' 2-ilportant',"n'),
vritedeviceldeverselentJ,
vritel'Est-ce que le telps ecoule est:'),nl,
vrite!' I-peu'),nl,
vrite(' 2-ilportant',"n'J,
vritedevicelprinter),
vrite!'Est-ce que le temps ecoule est:'),nl,
vrite(' I-peu'),nl,
vrite(' 2-ilportant',"n'),
vritedevice(screen),
readintl%),
sortie(%),
asserta(xoui(telps_ecoule,Z)).
questionlrisque,Z):-
vrite('Est-ee que le risque de contalination de la nappe phreatique est:'),nl,
vrite(' l-eleve'),nl,
vrite!' 2-faible',"n'),
vritedevice(deverselent),
vrite('Est-ce que le risque de contalination de la nappe phreatique est:'),nl,
vrite(' l-eleve'),nl,
vrite(' 2-faible',"n'),
vritedevicelprinter),
vritel'Est-ce que le risque de contamination de la nappe phreatique est:'),nl,
vrite(' l-eleve'},nl,
vrite(' 2-faible',"n ' ),
vritedevice(screen),
readint(I),
sortiel%),
asserta(xoui(risque,Z)).
verification('consulter le plan de drainage de l'installation,verifier la presence de contaminant dans le reseau'):-
oui(reseau,l),
oui(exterieur,E),
lelbre!E, [1/211.
veriflcation{'CODSU ter le plan de drainage de l'installation/verifier la presence de coo:alinant dans le reseac'):-
oailreseau,31,
oai/interieur,II,
lelbre!l, [2,311.
verification!' a).
recuperation(2000,80,2500,'absorbants en feuilles,coussins,tapis,etc'):-
oni(resean,2),
oui(qnantite,l),
oni(condition_clilat2,cl,
lelhre(C,12,311.
recuperation(4000,8C,5000,'absorbants en vrac'):-
ouilreseau,ll,
oni( qnant ite, II,
oni(telps_econle,ll.
recnperation(4000,80,5000,'absorbants en vrac'I:-
oni(reseall,2I,
oni(qnantite,ll,
ollilcondition_clizat2,ll.
recnperation(12000,7S,16000,'polpe anti-deflagrante et utilisation d'nn elplosiletre,ou un calion vacuDa,ou un eculoire'):-
oui(resean, 21,
~ oui(qaantite,Ol,
leabre(O,I2,3)l,
oni(polluant,ll.
recuperation(12000,75,16000,'poape anti-deflagrante et utilisation d'nn eIplosiletre,ou un cali on vacuua'):-
oni(reseau,R) ,
lelbre(R,II,31I,
oni(qoantite,OI,
lelbre(O, [2,31),
olÎi( pollnant,l).
recoperation(6000,15,8000,'polpe et accessoires, ou un cali on vaconl,oo nn eculoire'):-
oui(reseau,2J,
oui(quantite,O) ,
melbre(Q,I2,31I,
oui(polluant,21.
recuperation(6000,75,8000,'polpe et accessoires, ou un camion vacuum'I:-
oui(reseao,RI,
membre(R,[1,311,
oui (quantite,OI,
leiDrelU,I2,3Jl,
ouitpolluan~,2J,
recuperation!400C,8C,SOOO,'absorbants et vrac l ) : -
ouitreseau,3),
onilquantite,ll,
Exemple de consultation
32000
46000