A.

Cornujols

A. Cornujols

Le cours

Infrence et raisonnement
dans les systmes experts
Antoine Cornujols
(antoine@lri.fr)

Objectifs

Les systmes experts

Thorie / Mthodes / utilisation

Les rseaux baysiens

Modalits

5 cours + 1 TD Contrle continu : 2 devoirs la maison nots Un polycopi Sur la page web :
Les transparents + dautres informations

I.I.E. & L.R.I., Universit dOrsay

A. Cornujols

A. Cornujols

Plan gnral
IIntroduction aux systmes experts

1. Caractristiques dun systme expert

Expression des connaissances et raisonnement au niveau
symbolique ( rseaux de neurones)

II- Fondements : organisation et fonctionnement des SE III- Le raisonnement incertain

Base de connaissances explicite ( Mathematica)

Sparation du raisonnement Expression dclarative

Introduction Grandes approches

Raisonnement analysable

IV- Les rseaux baysiens V- Lacquisition des connaissances

Fonctionnement trs interactif Possibilits de questions et dexplication

Utilisation de connaissances heuristiques Capacit de raisonnement incertain et approximatif Une modlisation du raisonnement humain

A. Cornujols

A. Cornujols

1. Quelle utilisation : les tches danalyse

Associer des mesures le type de situation Exemples

1. Quelle utilisation : les tches de synthse

Concevoir une solution satisfaisant un cahier des charges Exemples

Classification
identification de champignons, de menaces,

Configuration
Le systme XCON de DEC propose une configuration matrielle partir dun cahier des charges client (annes 85-90)

Diagnostic
de pannes, mdical,

Interprtation
de signaux radars,

Conception
de circuits douvrages de travaux publics

Analyse dobjets complexes

identification de la structure de composs chimiques

Planification

Dbbogage

Les moins difficiles : environ 90% des applications Temps de dveloppement : qqs hommes/mois

Beaucoup plus difficiles : environ 5% des applications Temps de dveloppement : qqs hommes/annes
A. Cornujols

A. Cornujols

1. Quelle utilisation : les tches mixtes

la fois danalyse et de synthse Exemples

1. Historique : DENDRAL
Le systme DENDRAL

Pour la NASA : 1965 - Y a-t-il de la vie sur Mars ? Spectrographie de masse

Commande & contrle

Il faut diagnostiquer avant de concevoir une action

Surveillance
de malades lhpital (e.g. le systme Guardian Stanford) intensit

Prdiction Rparation

Formule dveloppe du compos chimique ?

Les plus difficiles : environ 5% des applications Temps de dveloppement : qqs hommes/annes
masse

A. Cornujols

A. Cornujols

10

1. Historique : DENDRAL
Dabord en Fortran volution rapide des connaissances impossible suivre
Sparation :

1. Historique : DENDRAL

Exemples de connaissances

Rgle :
Si le spectre de la molcule prsente deux pics x1 et x2 tels que : 1. x1 - x2 = M + 28 2. x1 - 28 est un pic lev 3. x2 - 28 est un pic lev 4. au moins lun des pics x1 et x2 est lev Alors la molcule contient un groupe ctone

des mthodes dinfrence : assez stables de la connaissance : en volution

R1

R1 (x1)

R1

C R2

Se dcompose en :

ou en :

R2

R2 (x2)

A. Cornujols

11

A. Cornujols

12

1. Historique : MYCIN
Systme de diagnostic de maladie bactrienne du sang Stanford (1972-1985) Premier vrai systme expert

1. Historique : MYCIN - exemple de dialogue

MYCIN :

Mes recommandations thrapeutiques seront bases sur les infections probables et les organismes infectieux potentiels suivant : Lorganisme peut tre : 1 pseudomonia aeruginosa, 2 klebsiellia pneumoniae, 3 escherichia coli, 4 bacteroides fragilis, 5 enterobactoriaceae, 6 proteus non mirabilis Voulez-vous me donner la gravit de la maladie de M. Fred Smith sur une chelle de 0 4 ?

Mdecin : MYCIN : Mdecin : MYCIN : Mdecin :

3 M. Fred Smith prsente-t-il des ractions allergiques un quelconque agent microbien ? Non Quel est son poids en kilos ? 70

A. Cornujols

13

A. Cornujols

14

1. Historique : MYCIN - exemple de dialogue

MYCIN :

1. Historique : MYCIN - exemple dexplication

MYCIN : Mdecin : Linfection du malade a t-elle t contracte lhpital ? Pourquoi ?

Ma recommandation thrapeutique sera en premier choix : pour couvrir les points <1 2 3 5 6>, prescrire de la Gentamicine, dose 119 mg 98 h IV, pendant 10 jours; Pour couvrir le point 4, prescrire de la Clindamycine, dose 595 mg 96 h IV, pendant 14 jours. Dsirez-vous ventuellement liminer certains mdicaments ?

TEIRESIAS : [Pourquoi est-ce important de savoir cela ?] Cela aidera dterminer la catgorie laquelle appartient lorganisme responsable de linfection :

- il a dj t tabli que 1 lorganisme est Gram ngatif, 2 cest un btonnet, 3 il

se dveloppe lair ou sans air.

Mdecin : MYCIN :

Oui, la Clindamycine. Pour couvrir les points <2 3 4 5 6> donner du Chloramphnicol, dose 1 g 96 h IV, pendant 14 jours; ** Surveiller le taux de globules blancs du patient. Pour couvrir le point 1, donner de la gentamicine, dose 119 mg 98 h IV, pendant 10 jours. ** Modifier la dose en cas de faiblesse rhnale.
Mdecin :

- Donc si linfection par cet organisme na pas t contracte lors du sjour lhpital
Alors il est presque certain (0,8) que lorganisme est de la catgorie des enterobactoriaceae; de plus, il se peut (0,1 ; rgle 37) que ce soit de la pseudomonia aeruginosa. Pourquoi navez-vous pas envisag la possibilit que lorganisme soit un streptocoque ?

TEIRESIAS : La rgle 33 aurait du tre utilise pour identifier lorganisme comme un streptocoque, mais la seconde clause la morphologie est de type coque tait dj connue comme fausse et la rgle 33 na jamais t essaye.

A. Cornujols

15

A. Cornujols

16

1. Structure des systmes experts

2. Reprsenter ...

Mmoire de travail Module dinterface

Expression
Module dacquisition des connaissances

Entrane

Expression
Smantique

Module dexplication

Moteur dinfrence

Reprsentation Monde

Smantique

Base de connaissances

Faits

Cause

Faits

Utilisateur

Expert

A. Cornujols

17

A. Cornujols

18

2. Que reprsenter ?
Catgories Mesures Objets composites Temps, espace, changements Evnements et processus Objets physiques Substances Objets mentaux, croyances, ... ...

2. Des niveaux de reprsentation

Le niveau de la connaissance ou niveau pistmologique

Le plus abstrait. On dcrit ce que lagent sait. (E.g. le chauffeur de taxi sait que le Golden Bridge permet daller de San Francisco au Marin County)

Le niveau logique

Niveau auquel la connaissance est encode en phrases (E.g. connecte(GGBridge, SF, Marin_County))

Le niveau physique ou de limplmentation

Niveau de lexcution du code (E.g. Connecte(GGBridge,SF,Marin_County) ou un 1 dans une matrice de connections entre lieux, etc...)

A. Cornujols

19

A. Cornujols

20

2. Des reprsentations
Logiques
Logique des propositions Logique des prdicats Logique temporelle ...

2. La logique
Attrait : normatif, bien tudi Les logiques se dfinissent par :

leur syntaxe leur rgles dinfrence leurs smantiques (de la vrit, de la preuve)

Structures
Ontologies Rseaux smantiques

Degrs de croyances
Rseaux baysiens Logique floue

...

A. Cornujols

21

A. Cornujols

22

2. La logique des propositions

Porte sur les faits (vrais ou faux) dsigns par extension

2. La logique des prdicats

Porte sur les objets et leurs relations (vraies ou fausses) Permet de parler dun ensemble dobjets ou de faits

Thorie des modles (et consquence logique Thorie de la dmonstration (dduction

Variable & quantificateurs, prdicats, fonctions, connecteurs Interprtation, modle dune formule, Procdure de preuve

Rgle du modus ponens :

A, AB B A V B , B V C AVC

Rq. sur les logiques dordre suprieur :

Rsolution :

Raisonnement dductif non automatisable, encore trs mal comprises

A. Cornujols

23

A. Cornujols

24

2. Reprsentation base de rgles

Rgles de production
mg -> md

2. Reprsentation base de rgles

Employes pour reprsenter des connaissances trs varies :

Connaissances heuristiques
Lappendicite provoque gnralement une douleur vive dans la partie droite de labdomen.

Exemples

Connaissances profondes
Lappendice se trouve gnralement dans la partie droite de labdomen. Linflammation dun organe cause gnralement une douleur locale.

Si la temprature du racteur dpasse 800C alors descendre les barres de contrle

Si champignon lames sparables et spore rose alors champignon du genre leucopaxillus

Connaissances stratgiques (mta connaissances : sur lutilisation des connaissances)

Si un diagnostic ne peut tre atteint par lusage des connaissances heurostiques, alors essayer les connaissances profondes.

Si X est un chien alors X est un mammifre

A. Cornujols

25

A. Cornujols

26

2. Expressivit des rgles

Ordre 0

2. Reprsentations base de schmas

Notion dontologie

: logique des propositions

Si Ferrari et Michael alors rapide

Catgories. Hritage. Notion de gnralit.

Ordres 0+ : logique des propositions type (attribut-valeur)

Si voiture = ferrari et pilote=michael alors vitesse=rapide

Rseaux smantiques

Ordre 1

: logique des prdicats

Utilisation doprateurs non logiques

Hritage avec exceptions, propagation de marqueurs ou de degrs dactivation ... Peuvent tre rendus aussi expressifs que la logique dordre 1

X,Y : Si voiture(X) et X=ferrari et pilote(X,Y) et Y=michael alors rapide(X)

Ordre 2

: logique dordre 2

Reprsentation du temps, de lespace

R, X,Y : Si type(R)=symtrique et R(X,Y) alors R(Y,X)

A. Cornujols

27

A. Cornujols

28

3. Le raisonnement : rgles dinfrence

Modus ponens
A, AB B B , A B A

3. Le raisonnement : le cycle de base

DETECTION
Dtermine les rgles et les faits pertinents au moyen d'unifications "pattern matching"
Ensemble de conflit

Modus tollens

CHOIX
Dcide parmi les rgles applicables celle qu'il convient de dclencher effectivement
Rgle slectionne

Rsolution

A V B , B V C AVC

EXECUTION
Excute la partie action de la rgle en tenant compte des substitutions trouves l'tape 1. Met jour la Base de Donnes ou Mmoire de Travail.

A. Cornujols

29

A. Cornujols

30

3. Phase de dtection
Gnralement la plus coteuse (en ordre 1)

3. La phase de slection
Slectionne une rgle parmi lensemble de conflit Mthodes :

Complexit :

Cot dappariemment : une rgle - un fait

Coteux en ordre 1

La premire rgle applicable (e.g. Prolog) La rgle la plus spcifique La rgle rgle la plus utile (selon une valeur dutilit calculer) Mais violent le principe de transparence des SE

Multipli par 1/2 [# rgles x # faits] en moyenne

Mthodes pour y remdier :

Mthodes de filtres Mthode de compilation de base de rgles

La mthode RETE

Les mtargles

Des rgles contrlant la slection des rgles appliquer

A. Cornujols

31

A. Cornujols

32

3. Exemples de metargles

Metargle 1 :
Si (1) le patient est un hte risque et (2) il existe des rgles qui mentionnent des pseudomonias dans une prmisse et (3) il existe des rgles qui mentionnent des klesiellas dans une prmisse alors il est probable (0,4) quil faille utiliser les premires avant les secondes

3. La phase de dclenchement
Varie en fonction du contexte

Dclenchement dune camra, dun moteur, Ralisation dune infrence

Le modus ponens

Types de chanage
Metargle 2 :
Si lon cherche une thrapie alors, dans cet ordre, considrer les rgles qui permettent de : 1. acqurir des informations cliniques sur le patient 2. trouver quels organismes, sil en existe sont cause de linfection 3. identifier les organismes les plus vraisemblables 4. trouver tous les mdicaments potentiellement utiles 5. choisir les plus adats en plus petit nombre

Chanage avant

A, AB B B, AB A

Chanage arrire

Chanage mixte
Chanage avant ou arrire en cours de raisonnement

A. Cornujols

33

A. Cornujols

34

3. Raisonnement : un exemple
R1 : Si A alors B R2 : Si B alors D R3 : Si H alors A R4 : Si E & G alors C R5 : Si E & K alors B R6 : Si D & E & K alors C R7 : Si G & K & F alors A

3. Les stratgies de contrle du raisonnement

Fonctionnement irrvocable

Fonctionnement retour

Systmes monotones

Frquent

Possible

Systmes non monotones

Possible

Possible

Faits initiaux : H, K But : C