Académique Documents
Professionnel Documents
Culture Documents
461-469 461
* Cet article a fait l'objet d'une communication pr6sentde b. la journ6e d'6tude <<Antennes et syst6mes experts >>organis6e par le CNET
et la SEE h Nice le 7 novembre 1986.
** C~ET, LAA-SLC,route de Tr6gastel, BP 40, 22301 Lannion Cedex.
le cas de ddveloppement de logiciels, off un certain du domaine et /t une ou des m6thodes de r6solution
n o m b r e de m6thodologies existent mais leurs applica- de probl6mes.
tions rencontrent des difficult6s dans le monde 9 En g6n6ral, les t~ches pour lesquelles on cherche
industriel. /t mod61iser l'expertise ne sont pas mod61isables par
Certains consid6rent que les langages de repr6sen- des m6thodes math6matiques. Par contre, la tfiche est
tation en intelligence artificielle peuvent par eux- susceptible d'etre r6solue par un m61ange de m6thodes
mames apporter un 616ment de solution au probl6me heuristiques et algorithmiques. Des exemples off ceci
prdc6dent de ddveloppement logiciel, d ' u n e part par est particuli6rement vrai sont des domaines comme
l'apparition de la notion de << prototype>>, d'autre la reconnaissance de la parole ou le traitement du
part par l'utilisation de langages de r6gles qui facilitent signal, off certains mod61es partiels math6matiques
le d6veloppement incrdmental de programmes. Mais qui peuvent n6cessiter des calculs importants co-
malgr6 la facilit6 apparente d'6criture de ces r6gles existent avec des m6thodes plus empiriques.
et la souplesse fournie par ces langages, de nouveaux
probl6mes apparaissent tels que l'6volution et la 9 La fftche ne doit pas Etre trop complexe, car
cohdrence de l'expertise mod61isde, qui peuvent freiner dans ce cas on ne salt pas d6crire, ou on ne conna~t
les progr6s lids 5. l'utilisation de ces langages. pas l'interaction entre sous-fftches. Cependant, si l'on
Cet article essaie d ' a p p o r t e r des 616ments de r6ponses peut isoler des sous-probl6mes que l'on sait r6soudre
aux diff6rentes questions suivantes. Quand les syst6mes par des mod61es heuristiques, la fftche, malgr6 la
experts peuvent-ils ~tre appliqu6s ? Dans quels complexit6 apparente, p o u r r a trouver des solutions
domaines ? Quels sont les acteurs du d6veloppement ? satisfaisantes.
Quelles sont les diff6rentes 6tapes pour d6velopper
les syst6mes experts ? C o m m e n t vit un syst6me
expert ? II.2. Justification.
Nous concluerons sur les difficult6s qui demeurent
et les 616ments qui permettent de penser q u ' u n avenir M~me si le probl6me peut ~tre possible ~t r6soudre
plut6t ouvert s'offre ~t ces techniques malgr6 leurs par un syst6me expert, ceci ne justifie pas forc6ment
imperfections de jeunesse. l'utilisation de cette technique. Souvent, les arguments
qui justifient une telle approche sont li6s au caract6re
de l'organisation humaine qui r6sout la t~che.
9 La solution d'une t~che peut ~tre tr6s cofiteuse,
II. QUAND LES SYST~MES EXPERTS du fait de la non-disponibilit6 d'experts.
PEUVENT-ILS S'APPLIQUER ?
9 L'expertise humaine sur la t~che peut &re
perdue. Un exemple est le cas de la r6paration de
mat6riel ou de logiciel ancien mais de longue vie,
Actuellement, par un effet de mode, ou plus vrai-
qui doit toujours fonctionner correctement, c o m m e
semblablement par une m6connaissance ou une vision
le syst6me d ' a u t o c o m m u t a t e u r CROSSBAR. U n autre
trop optimiste du probl~me, l'id6e d'utiliser des
exemple concerne les v6rificateurs de tfiches tr6s
syst6mes experts fleurit, dans des domaines tr6s divers. sp6cifiques c o m m e la d6tection des d6fauts dans la
I1 s'agit de r6soudre des probl6mes non abordables
fabrication de tubes de verre.
jusqu'/t pr6sent par les m&hodes informatiques clas-
siques. I1 faut atre tr6s prudent sur l'utilisation de 9 L'expertise humaine est fragile. En effet, souvent
ces nouvelles techniques si l'on ne veut pas &re d6~u il para~t ais6 de traiter les t~ches les plus courantes
par les r6sultats. P o u r 6viter ces d6sagrdments, un mais une difficult6 peut survenir du fait q u ' u n h o m m e
certain n o m b r e de prdcautions doivent atre prises. oublie les cas peu courants, alors q u ' u n syst6me
D. W a t e r m a n [I] distingue trois 616ments ~t v6rifier informatique, plus fid61e, n'oubliera pas de les prendre
avant de commencer un d6veloppement : la possibilit6, en compte.
la justification et l'ad6quation. 9 L'expertise est n6cessaire dans plusieurs sites.
Ceci est particuli6rement courant dans le cas des
t616communications off l'on rencontre l'ex6cution
ILl. PossibilitY. de m~mes fftches dans diff6rents lieux du r6seau
d'exploitation (centre d'exploitation des autocommu-
tateurs ou des lignes). I1 devient donc int6ressant de
9 Pour construire des syst6mes bas6s sur la
pouvoir regrouper l'expertise commune aux diff6rents
connaissance, il est n6cessaire que celle-ci existe,
sites. Les probl6mes rencontr6s dans l'un peuvent
c'est-h-dire qu'il existe des experts reconnus comme
se retrouver h des moments diff6rents dans l'autre.
tels. Ils font autorit6 dans le ou les probl6mes qu'ils
savent r6soudre et pour lesquels on recherche un 9 Une autre justification, qui apparalt n o t a m m e n t
syst6me informatique pouvant ~tre qualifi6 d'expert dans les applications militaires ou les technologies
lui-m~me. Souvent, il est n6cessaire de faire appel ~t /t haut risque, est la n6cessit6 de r6soudre un certain
plusieurs experts pour qualifier une repr6sentation nombre de t~ches expertes en milieu hostile.
H.3. Ad~quation des techniques. les exemples bien connus en m6decine, diagnostic,
recherche p6troli6re .... il parait plus utile de caract6-
9
II s'agit de v6rifier que l'expertise que l'on veut riser les donn6es et les raisonnements mis en oeuvre
utiliser pour r6soudre un probl6me peut ~tre mod61i- suivant le type de probl6me /t r6soudre. Une classifi-
s6e par des langages symboliques, et qu'il existe des cation des types de probl6mes avec leur degr6 de
solutions heuristiques. difficult6 a 6t6 propos6e par Stefik [2].
9
I1 faut 6galement que la fftche soit suffisammertt Cette classification permet de donner, a priori, un
complexe. En effet, une tS.che triviale couramment avis sur les difficult6s de d6veloppement et en fonction
r6solue par un novice ne pr6sente aucun int6r~t. du probl6me, une 6valuation des m6thodes qui seront
9 II s'agit d'estimer la port6e du syst6me expert. n6cessaires/t mettre en oeuvre. Elle peut servir de guide
I1 doit avoir une valeur pratique et rester de dimension ~t la personne charg6e de d6velopper un syst6me
g6rable. En effet, si les coots de d6veloppement sont expert dans un domaine donn6, pour identifier d ' u n e
prohibitifs ou les coots d'utilisation trop 61ev6s, part les caract6ristiques de la connaissance, d ' a u t r e
ou s'il est n6cessaire de disposer de moyens en mat6riel part les outils et m6thodes n6cessaires. G6n6ralement,
et en logiciel sans commune mesure avec la solution les m6thodes de r6solution (algorithme de recherche
actuelle du probl6me, l'approche syst6me expert devra darts un espace de solutions) sont d6pendantes : de
~tre 6cart6e. la nature des donn6es, de la dimension de l'espace de
solutions, de la d6coupe des dorm6es en structures
plus ou moins abstraites.
La classification propos6e sera pr6sent6e suivant
III. DANS QUELS DOMAINES des niveaux, chacun correspondant ~ l a lev6e d ' u n e
PEUVENT-ILS S'APPLIQUER ? contrainte du niveau pr6c6dent (Fig. 1).
N i v e a u 1.
Plut6t que de lister ici les diff6rents domaines pour L'espace de recherche est petit, les donn6es et les
lesquels les techniques ont d6jh 6t6 appliqu6es comme connaissances sont sores et leurs valeurs fixes.
2 ! 3
, ]
Donn6es d~pendantes Espace ds, s~utions
I
grand ct~compo~a~l
i Donn~es ou connaie-
sances non sores du temps
F 9 I !!. ~____
' Raisonnement M6tho~,~ de repr~sonIa-
lin6aire vop faible.
las solutions D~gtielles tion trop inefftcaces
Ordre fixe des
bsttactions. J S~uctures sdaptae~.
Raisonnement
multiple. Compilaticn
6 I Tran~ormat~on de
J'Paa de s6quence fix6e
~es sous-Drnbl6mea J
Abslraction cons~uite. 1,O, J la connaissance.
Ces qualit6s impliquent que les donn6es sont fiables, qui peuvent ~tre non ordonn6es. Les syst6mes capables
non bruit6es, routes connues et d6finies a priori. Elles de prendre en compte ce genre de probl6me sont au
participent routes 5. la r6solution de probl~mes. Ceci stade de la recherche.
est peu c o m m u n dans les probl~mes rdels. II est
N i v e a u 4.
n6cessaire, dans les cas courants, de pouvoir identifier
les donndes pertinentes au probl~me. Un exemple L'espace des solutions est grand, mais il existe des
rdel est le diagnostic dans les autocommutateurs, moyens d'dvaluation qui permettent d'61iminer rapi-
les sympt6mes d ' u n e panne peuvent ~tre non dis- dement des sous-espaces.
tinguables a priori car inclus dans d'autres donn6es Dans beaucoup de fftches c o m m e la reconnaissance
qui peuvent atre entach6es d'erreurs. de la parole, il est utile de conserver toutes les hypo-
La connaissance doit ~tre elle-mame scare. Ceci thSses que les donn6es observ6es n ' o n t pas permis
implique que route la connaissance existe, qu'il n'est d'61iminer. Cette approche appel6e raisonnement par
pas besoin de faire des hypothSses ; les r6sultats de 61imination est aussi commune dans le cas du diagnos-
l'utilisation dc la coxmaissance, g6n6r6s par le syst~me tic. Le probl6me est de conserver, de mani6re efficace,
de d6duction, sont toujours additifs, un fait ou une toutes les solutions. Une m6thode consiste h travailler
donn6e ddduit(e) n'est jamais remis(e) en cause. en formulant des hypoth6ses et en faisant des tests
Ces donndes infdrdes sont elles-m~mes scares. Le sur des sous-ensembles de solutions. Pour ceci, il
syst~me est dit monotone. faut disposer de fonctions d'6valuation pour 61iminer
L'espace de recherche est petit ; ceci signifie qu'il rapidement les solutions non pertinentes. Un exemple
n'est pas n6cessaire de tenir compte des probl~mes de dans la reconnaissance de la parole est la distinction
ressources informatiques tels que la m6moire et les voyelle/consonne 5. partir des donn6es du signal.
temps de calcul. L'organisation du syst6me expert Cette classifcation g6n6re des sous-espaces de solu-
sera simple ; souvent les fairs seront reprdsent6s en tions.
logique des pr6dicats. N i v e a u 5.
N i v e a u 2. I1 n'existe pas de fonctions d'6valuation du syst6me.
I1 devient trSs difficile d'61iminer rapidement des
Les connaissances et les donn6es ne sont pas scares.
solutions, ceci est vrai p o u r la planification et la
I1 peut manquer un certain n o m b r e de donn6es,
conception. S'il existe une structuration de la con-
d'autres peuvent atre consid6r6es comme incertaines.
naissance et des donn6es sous forme de hi6rarchie
Ceci implique que le syst6me doive tenir compte de
de concepts qui mat6rialise une d6marche logique
cet 6tat de fait en permettant de reprdsenter et de
du raisonnement li6e au domaine qui conduit ~ une
rdpercuter des critares d ' a p p r o x i m a t i o n sur les faits
solution, la r6solution est d6compos6e en sous-fftches
et la connaissance. L'exemple le plus connu est le
ordonn6es, chacune n'6tant jamais remise en cause.
syst6me MYCIN [3] qui a introduit des facteurs de
Ceci peut conduire h des situations de blocage si les
confiance pour pond6rer les donn6es. Au lieu d'avoir
connaissances et la structuration fournie sont insuf-
deux 6tats vrai ou faux, une donn6e a un facteur qui
fisantes.
indique son degr6 de v6rit6. Ce raisonnement est dit
incertain. Le but ici du r6solveur de problSme est de N i v e a u 6.
montrer une 6vidence au moyen de donndes ayant des I1 n'existe pas de d6composition fixe de sous-
facteurs concourants vers le mame rdsultat. D'autres problSmes.
reprdsentations sont utilis6es p o u r traiter les donn6es Ici, par opposition au niveau pr6c6dent, il n'y a pas
incertaines,telles que les probabilitds et la logique floue. de d6composition d'abstraction fixe, elle doit ~tre
Le problSme qui demeure est la fixation initiale des construite pas /~ pas en tenant compte de donn6es
poids portant sur les donndes et la connaissance. suppl6mentaires qui permettent de cr6er une hi6rarchie
N i v e a u 3.
des sous-probl6mes. On ne peut trouver q u ' u n ordre
partiel sur les 6tats interm6diaires de la rdsolution
Les donndes varient au cours du temps. de probl6me. Ceci est rencontr6 tr6s souvent dans la
Beaucoup d'applications n6cessitent la prise en planification. Certaines &apes d ' u n plan peuvent &re
compte de la notion de temps. Ceci est particuliare- red6compos6es en sous-fftches construites d6pendant
ment vrai en robotique ou dans les syst6mes de con- du contexte d'ex6cution. Ceci permet de mieux s'adap-
duite de processus industriels qui prennent en compte ter h l'6volution du monde environnant.
des encha~nements de situations. Celles-ci 6voluent
en fonction des actions qui transforment l'environ- Niveau 7.
nement. I1 devient donc indispensable de mod61iser Les sous-probl6mes interagissent.
ces donn6es : les situations, l'6volution du temps, Les mdthodes pr6c6dentes supposent que la d6com-
les 6vdnements. La planification et la pr6diction sont position hi6rarchique qui pr6existe (niveau 5) ou qui
concern6es par une repr6sentation de situations futures. est partiellement construite (niveau 6) implique des
Plusieurs situations possibles, concurrentes suivant choix toujours identiques aux diff6rentes 6tapes pour le
les hypotheses prises, doivent atre considdrdes. Ces m~me problame. Lorsque ceci n'est pas v6rifi6,
hypoth6ses reprdsentent des 6vdnements et des actions l'id6e est toujours d'effectuer les d6cisions le plus
tard possible pour tenir compte des interactions abstrections ~t diff6rents nivezux. Ces sources multiples
possibles entre sous-probl6mes qui pourraient appa- de eonnaisse, nce interf6rent zu m o y e n d'une structure
raitre dans la suite de la r6solution. Ceci implique de donn6es commune qui permet la r6alisation de
que l'on sache quelles sont les donn6es pertinentes raisonnements de types diff6rents. Ces diff6rentes
pour le choix. Dans le cas o4 ces donn6es ne sont pas sources peuvent apporter des 616ments qui concourent
disponibles, il faut suspendre la r6solution jusqu'& la r6solution de probl6mes par interaction entre
ce qu'elles le deviennent. On peut alors reprendre elles.
la r6solution et r~percuter les donn6es d ' u n probl~me
vers un autre probl6me. Niveau 11.
Les m6thodes de repr6sentation g6n6rales peuvent
Niveau 8. ~tre inefficaces.
Des informations plausibles doivent ~tre prises en Les architectures de syst6mes experts actuels sont
compte. g6n6ralement tr6s simples. Mais dans le cas de la
Le raisonnement plausible est un 616ment important mod61isation de bases de connaissance importantes,
de la recherche heuristique. Les plausibilit6s prises en d'autres probl6mes apparaissent, n o t a m m e n t celui de
compte par un r6solveur de probl6me peuvent s'av6rer l'efficacit6. I1 faut donc r6agir au niveau de la r6alisa-
non admissibles au cours du raisonnement, il est donc tion pratique de ces outils de d6veloppement.
n6cessaire de g6rer celles-ci et de revenir & la situation
Pour ce faire, trois aspects sont consid6r6s :
pr6c6dant la prise d'hypoth6se.
Cette m6thode de raisonnement suppose deux - - l'utilisation de structures de donn~es sp6cialis6es ;
6tapes importantes, la d6duction & partir de - la compilation de la connaissance ;
-
permettant une bonne installation du matariel et nacessaires [6]. Ces 6tapes sont : l'identification du
logiciel. N o t o n s naturellement qu'il peut y avoir problame h rasoudre et de l'expertise, la conceptualisa-
plusieurs experts. tion, la formalisation, la rdalisation, le test. Ces &apes
L'outil de daveloppement de syst~me expert joue ne sont pas saquentielles, en fair le d6veloppement
lui-mame un r61e important dans la mesure oh il aide du systame est toujours incramerttal, la connaissance
l'expert ~t modaliser sa connaissance, h tester et 6valuer modalisae avolue rapidement au d6but puis petit ~t
celle-ci au moyen de systames de traces plus ou moins petit se stabilise, bien que pouvant 6voluer constam-
daveloppds et qui peuvent inclure des interfaces gra- ment. Cette stabilisation peut atre tras longue pour
phiques. I1 se peut que, compte tenu de l'6tat des outils arriver ~t un stade raellement utile. Un bon exemple
disponibles ou possibles, le constructeur de ces outils est le systame R1 (XCON) [7] qui a 6volu6 du stade de
intervienrte pour adapter, modifier par exemple les prototype h celui de programme utile sur une pariode
stratagies de rasolution ou pour construire des inter- sup6rieure h 2 ans avant d'etre raellement considar6
faces /t d'autres programmes. comme suffisamment expert et qui continue toujours
L'inganieur cogniticien fait l'interface entre l'outil ~t s'enrichir (Fig. 2).
d'une part et les experts d'autre part. I1 agit de maniare
interactive avec les experts pour la conceptualisation
de la connaissance puis il effectue les choix de reprd- V.1. Identification.
sentation. C'est lui qui le mieux p o u r r a indiquer
l'outil de ddveloppement adaquat. I1 possade une Elle consiste, en premier lieu, ~t varifier qu'il existe
compatence /~ la fois sur les mathodes et outils et sur bien une expertise, puis /t caractariser le problame /t
l'informatique en ganaral. rasoudre, les connaissances et les donnaes /t prendre
Le p r o g r a m m e u r est la personne qui code darts le en compte. Cette 6tape doit mettre en 6vidence les
langage de l'outil la connaissance conceptualisae diffarents acteurs h la fois du daveloppement et ensuite
auparavant. Sa compatence est relative h l'utilisation de l'utilisation. L'inganieur cogniticien devra 6valuer
de l'outil de daveloppement, et au langage de pro- la complexit6 de raalisation en fonction des donnaes
grammation pouvant atre n6cessaire pour certains (exactes, floues) de la connaissance (complate, incom-
calculs ou p o u r rdaliser l'interface avec d'autres plate), des modes de raisonnements (lin6aire, non
systames, par exemple des bases de donnaes existantes. linaaire), de la dacoupe, possible ou pas, en sous-
Le contr61eur ou gestionnaire du systame a pour problames identifi6s a priori ou construits darts le
charge de faire vivre le systame. C'est lui qui, dans la raisonnement, et 6galement de l'environnement :
phase d'exploitation, sera garant de la mise/t j o u r de d'une part informatique (dimension de machine,
l'expertise et de sa coharence ; il sera /t ce moment disposition d'outils de daveloppement ou non),
l'interlocuteur privilagi6 des experts. Normalement, d'autre part h u m a i n suivant les utilisateurs visas.
il deviendra un expert lui-mame sur la connaissance
moddlisde dans le syst~me.
V.2. Conceptualisation.
Reformulation
Reco rlcep~ n
Altinage
I I
Codage [ [ Validerl'organi-
caract~ristiques 1,__~ conceptspour satkm de la de la ~ I sationde la
du probl~rne I ~ ] representerla connaiss,~nce connaissance r
conna issance
la partie la plus pertinente n'existe pas g6n6ralement outil d o n t la ma~trise est assur6e par l'environnement
sur des supports physiques tels des documents, mais imm6diat, ou par le support informatique disponible,
elle est, soit partiellement implicite au travers de par exemple l'existence d'un langage LISP ou PROLOG
r6sultats d'observation ou de d6pannage, soit m~me sur la machine accessible.
totalement implicite dans la (( t ~ t e , de l'expert.
Les 616ments qui iaterviennent dans les choix
La premi6re t~che consiste donc ~t trouver cette
sont :
expertise, puis fi la conceptualiser ; c'est-h-dire d6finir
un <~ l a n g a g e , de l'expert : les concepts manipul6s, - - L ' a d 6 q u a t i o n des possibilit6s de repr6sentations
leurs relations, comment ces concepts et relations fournies par l'outil, aux connaissances fi mod61iser.
participent fi un raisonnement. Souvent une approche Ceci recouvre les moyens de repr6sentation ~t la fois
incr6mentale et descendante est n6cessaire. Dans un des donn6es, de la connaissance (r6gles d'inf6rences)
premier temps, on essaie de trouver la strat6gie, et du raisonnement. Certains outils peuvent &re plus
le raisonnement par grandes 6tapes, puis ensuite on ouverts que d'autres qui ont par exemple un m6ca-
cherche fi identifier les d6tails. nisme de raisonnement fig& Ils permettent une adap-
Le r6sultat de cette fftche reste le plus souvent un tation plus ais6e au probl6me.
texte plus ou moins structur6 6crit en langage courant. -- Le support de l'outil. Souvent l'outil ad6quat
Le processus de transfert d'expertise de l'expert reste du domaine de la recherche et est exp6rimental.
vers l'ing6nieur cogniticien est complexe. Celui-ci I1 ne peut ~tre utitis6 dans un environnement industriel
dolt interagir avec l'expert au moyen d'interviews sans investissement cons6quent ou sans support
qui peuvent s'6taler sur une p6riode assez longue, imm6diat dans l'entreprise. Ou bien l'outil est dispo-
g6n6ralement plusieurs mois. I1 est souvent opportun, nible mais son utilisation suppose l'achat d ' u n e
d6s que l'on dispose d ' u n corpus de connaissance machine de support cofiteuse (machines sp6cialis6es
suffisant et que le probl~me fi r6soudre a 6t6 bien LISP), par contre le cofit de d6veloppement peut 6tre
caract6ris6, d'effectuer toutes les 6tapes pr6c6dentes fortement r6duit par l'utilisation de ces outils.
jusqu'au codage avec l'outil de d6veloppement ; - - Le choix peut d6pendre de la fiabilit6 connue
ceci permet << d ' a c c r o c h e r , plus ais6ment l'expert de l'outil et de sa difficult6 de maintenance. Chaque
et aide l'ing6nieur cogniticien ~t trouver les <<b o n n e s , cas est sp6cifique et d6pend de l'environnement de
questions ~. poser ~t l'expert. l'entreprise suivant qu'il existe ou non une 6quipe
Les difficult6s qui apparaissent sont li6es : sp6cialis6e en intelligence artificielle.
- - aux raccourcis que prend souvent l'expert qui - - U n autre 6Mment important fi prendre en compte
ne peut ensuite expliquer le pourquoi de ses d6cisions ; se rapporte aux possibilit6s de l'outil : p o u r l'aide fi
l'entr6e de connaissance et fi l'6valuation de celle-ci,
-- h la m6connaissance de l'ing6nieur cogniticien
comme par exemple les traces, les modes d'ex6cution,
du domaine lui-m~me ; souvent il lui est n6cessaire
l'explication.
d'acqu6rir des connaissances sur le domaine pour
comprendre le langage de l'expert. - - Les possibilit6s d'int6gration dans l'environne-
ment des applications existantes (interface vers d'autres
Un moyen p o u r r6soudre ces difficult6s est de mettre langages de programmation, avec des bases de
un expert en situation de r6solution et de suivre son donn6es).
cheminemertt.
L'aboutissement de ces discussions sera une liste de Un autre point, qui peut rentrer dans le choix,
concepts utilis6s et leurs relations, et un ensemble de est la vie du syst6me expert apr~s d6veloppement.
raisonnements utilis6s par l'expert dans certaines La phase de d6veloppement peut n6cessiter des outils
situations, elles-m~mes d6crites en terme de concepts plus sophistiqu6s que la phase d'exploitation pour
et relations pr6c6dentes. Un certain nombre de laquelle des structures informatiques plus 16g~res
raisonnements seront li6s fi la r6solution de sous- peuvent ~tre souhait6es ou n6cessaires en fonction
probl~mes et l'enchainement de sous-probl~mes sera des cofits.
identifi6.
V.4. R~alisation.
V.3. Formafisation.
Cette phase correspond ~ l'entr6e des donn6es et des
A la suite des travaux pr6c6dents, il faut choisir connaissances au m o y e n de l'outil choisi dans la
un outil de d6veloppement et 6tudier la structuration phase pr6c6dente.
de la connaissance relativement ~t cet outil. Contrairement au d6veloppement des programmes
Le choix d ' u n outil est difficile dans la mesure ofa en informatique classique, ici la p r o g r a m m a t i o n
ceux-ci n ' o n t pas 6t6 d6velopp6s pour accomplir s'effectue de fagon incr6mentale. Le temps pass6 au
une t~_che sp6cifique et que certaines repr6sentations codage p r o p r e m e n t dit peut atre tr6s faible suivant
choisies p o u r des outils peuvent &re 6quivalentes que l ' o n dispose d'interfaces 61abor6es ou non.
(frames, scripts, objets, r6gles, logique...) [8]. Aussi, L'int6r~t de l'approche en intelligence artificielle
souvent le choix est guid6 par la connaissance d'un r6side dans le peu de distance qui existe entre la
BIBLIOGRAPHIE
[1] WATERMAN(D.). A guide to expert system. Addison Wesley, [5] ERMAN(L. D.) et al. The HEARSAYII speech - understanding
USA (1986), pp. 127-134. system : integrating knowledge to resolve uncertainties.
[2] STEHK (M.) et al. The organization of expert systems, a Computing Surveys, USA (juin 1980), 12, n ~ 2, pp. 213-253.
tutorial. Artificial Intelligence, USA (mars 1982), 18, n ~ 2, [6] BUCHANAN (B.) et al. Constructing art expert system.
pp. 135-173. Building expert systems [F. I'{AY'RES-ROTH,D. WATERMAN,
[3] SHORTLIFEE(E. H.). Computer based medical consultation : D. LENAT], Haddison-Wesley, USA (1983), pp. 127-167.
MYCIN. Elsevier Computer Science Library, Amsterdam [7] DERMOTT(J. M.). R1 : A rule based eonfigurer of computer
(1976). systems. Department of Computer Science, Carnegie Mellon
[4] STALLMAN (R. M.), SI.)'SSMAN (G. J.). Forward reasoning Univ., Report CMU-CS-80-119 (avril 1980).
and dependency - directed backtracking in a system for [8] BARR (A.), FEIGENBAUM(E.). Representation of knowledge.
computer-aided circuit analysis. Artificial Intelligence, USA Chap. III, The handbook of artificial intelligence, ed.
(1977), 9, pp. 135-196. Kaufmann, 1.