intelligence artificielle - systèmes experts

II. LES SYSTÈMES EXPERTS

ARCHITECTURE ET MISE EN ŒUVRE DES

SYSTÈMES

EXPERTS

INTELLIGENCE ARTIFICIELLE ET SYSTÈMES EXPERTS

Mohamed Heny SELMI [email protected]

QU’EST QU’UN SYSTÈME

EXPERT?

ESPRIT 2012-2013

Mohamed Heny SELMI ©

Définition1 : Un système expert est un logiciel capable de répondre à des questions, en effectuant un raisonnement à partir de faits et de règles connus. Il peut servir notamment comme outil d’aide à la décision.

Définition2 : un programme possédant une grande masse de connaissances dans un domaine spécialisé, ces connaissances provenant généralement d’un expert humain, chevronné et capable d’atteindre les performances de l’expert dans ce domaine

Définition fonctionnelle

un logiciel destiné à remplacer ou à assister l’homme dans des domaines où est

reconnue une expertise humaine :

Suffisamment structurée pour constituer une méthode de travail précise, sure,

complète, directement transportable sur ordinateur.

QU’EST QU’UN SYSTÈME

EXPERT?

ESPRIT 2012-2013


Un programme qui :

peut résoudre des problèmes très difficiles aussi bien ou mieux que les experts

humains,

raisonne à l'aide d'heuristiques,

interagit de façon évoluée (langage naturel),

manipule des données symboliques,

peut marcher même si les données contiennent des erreurs,

peut examiner et confronter des hypothèses multiples,

explique pourquoi il pose une question,

peut justifier ses conclusions.

OBJECTIFS

ESPRIT 2012-2013


Capturer aisément les unités du savoir Faciliter l’expression des règles p/p à leur forme d’émergence chez les experts.

Exploiter l’ensemble des unités du savoir faire - Combiner et/ou chaîner des groupes de règles pour inférer des connaissances : jugements, planification, preuves, prise de décisions, modèles de prédictions, diagnostic, découverte de nouvelles règles, etc. - Rendre compte de la manière dont les nouvelles connaissance sont été inférées.

Supporter aisément la révision de l’ensemble des unités du savoir faire Offrir des facilités pour les ajouts et suppression de règles

Informatisation de tâches intellectuelles assurées par des Experts dans leurs domaines: ingénieurs, etc. Extraire des SE les mécanismes universels de raisonnement réutilisables d’un domaine à l’autre.

DOMAINES D’APPLICATION

FINANCE ET ASSURANCE

Gestion de patrimoines et de portefeuilles de valeurs.

Analyse des risques de prêts pour le banquier.

Evaluation du risque industriel en vue d'aider à la tarification des

assurances.

Aide aux calculs de fiabilité.

ESPRIT 2012-2013



INFORMATIQUE

Analyse des pannes des logiciels.

Aide à la configuration de systèmes.

Création de machines informatique spécialisées:

- Ordinateur pour la gestion administrative ou la comptabilité

- Calculateur pour le domaine scientifique

- Automate pour les processus industriels et des installations

électriques.

- Centrale pour la gestion des bâtiments

ESPRIT 2012-2013



INDUSTRIELLES

Aide à la maintenance et au dépannage dans les centrales nucléaires.

Aide au pilotage d’atelier.

Chaque réalisation d’un SE s’intègre dans un environnement particulier de

développement et doit être adaptée au cadre d’utilisation:

- sauvegarder une expertise accumulée ;

- la diffuser dans le temps ;

- la diffuser dans l’espace ;

- formaliser une connaissance de conception.

ESPRIT 2012-2013



VISION ARTIFICIELLE

Robotique, médecine, espace, bureautique.

Reconnaissance des formes.

Traitement numérique d’images.

Vidéo surveillance.

ESPRIT 2012-2013


Base de

Connaissances

ANATOMIE D’UN SYSTÈME EXPERT

ESPRIT 2012-2013


Base de Faits

Base de Règles

Moteur

d’Inférences

Chaînage AVANT

Chaînage ARRIERE

Chaînage MIXTE

mémoire cerveau

BASE DE

CONNAISSANCES

ANATOMIE DES SYSTÈMES EXPERTS

ESPRIT 2012-2013


BASE DE CONNAISSANCES

ESPRIT 2012-2013


C’est la mémoire qui contient l’ensemble de la connaissances acquise dans le domaine d’application.

Connaissances assertionnelles (BF) • Mémoire de travail (à court terme) •Des faits ou données propre au problème à résoudre •La base de faits: faits permanents (BF initiale), ex: symptômes lors d’un diagnostic faits découverts lors du raisonnement (mémoire de travail "MT")

Connaissances opératoires (BR) • Mémoire à long terme d’un SBC •Plusieurs formalismes (RP, RS, etc.) •L’expertise nécessaire pour résoudre un Pb •Faits permanents du savoir faire (lois)

BASE DE FAITS

ESPRIT 2012-2013


Un fait est la façon la plus élémentaire de représenter la connaissance, on parle souvent de

« grain de connaissance ».

Une base de faits est un fichier contenant les informations nécessaires sur le domaine

étudié,

c’est le dictionnaire de données contenant l’ensemble des mots techniques spécifiés dans le

domaine d’expertise étudié.

partie statique de la base de connaissances.

Ces faits doivent être fournis au système par l’informaticien (cogniticien), ou déduit par lui-

même et la base de faits pendant que le système est en cours de résolution d’un problème.

On parle de séquences de faits établis : ayant une valeur de vérité vraie.

BASE DE RÈGLES

ESPRIT 2012-2013


C’est l’ensemble des règles de production pouvant être appliquées aux

FAITS pour déduire de nouveaux FAITS que le système n’en a pas encore

affecté une valeur de vérité

à partir des faits connus, la base de règles permet au système expert de :

établir des faits nouveaux

faire des hypothèses

construire une/des solutions

Prendre des décisions

Proposer des idées

Donner des actions

Exécuter des procédures

EXEMPLE DE RÈGLES

ESPRIT 2012-2013


MOTEURS

D’INFÉRENCES

ANATOMIE DES SYSTÈMES EXPERTS

ESPRIT 2012-2013


MOTEURS D’INFÉRENCES

ESPRIT 2012-2013


Le rôle du moteur d’inférences est de simuler la réflexion de l’expert humain.

couche logicielle qui correspond à un algorithme de simulation des raisonnements

déductifs ou inductif

permet aux systèmes experts de conduire des raisonnements logiques et de dériver

des conclusions à partir de la base de faits et de la base de connaissances

C’est un mécanisme qui permet d’inférer de nouvelles connaissances à partir de la

BC.

Exploite la BC en fonction du contenu de la BF afin de mener un raisonnement sur

le problème posé

Indépendant de tout domaine d'application (utilisant même langage d’expression

de connaissances et les mêmes heuristiques de résolution de conflit)

Exploite la BR en consultant la BF, pour déduire de nouveaux faits

PRINCIPE DE FONCTIONNEMENT

DES MOTEURS D'INFÉRENCES

ESPRIT 2012-2013


La Moteur d’Inférences contrôle le raisonnement, en enchaînant des cycles comportant chacun deux phases : Phase d’évaluation : constituer l’ensemble des règles déclenchables (conflict set) Phase d’exécution : déclencher la(es) règle(s) retenue(s) dans la résolution de

conflits

Phase d’Evaluation : Etape de sélection ou de restriction. Etape de filtrage. Etape de résolution de conflit.

Phase d’Exécution : Déclencher la(es) règle(s) retenue(s) dans la résolution de conflits

PRINCIPE DE FONCTIONNEMENT

DES MOTEURS D'INFÉRENCES

ESPRIT 2012-2013


PHASE D’ÉVALUATION :

ESPRIT 2012-2013


Phase de résolution de conflits : Le Moteur d’Inférences choisit les Règles qui doivent être effectivement déclenchées selon une stratégie : heuristiques Pour résoudre le conflit, entre plusieurs règles à priori applicables suivant une configuration de la BF, le système doit choisir une ou plusieurs Règles suivant certaines heuristiques : La première règle qui s’applique au contrôle La règle la plus propriétaire suivant un ou plusieurs critères définis par l’expert La règle la plus spécifique (la condition la plus détaillée qui s’applique à la BF La règle se référant à un élément le plus récemment ajouté Sélection d’un sous-ensemble de Règles résultant de l’application de métarègles Déclenchement prioritaire des règles amenant le plus grand nombre de conclusions Ne pas choisir, explorer toutes les règles applicables en parallèle Arbitrairement

PHASE D’ÉVALUATION :

ESPRIT 2012-2013


Phase de résolution de conflits :

L’attribution des priorités peut être faite selon plusieurs méthodes :

Par un algorithme bâti dans le moteur d’inférences (intrinsèque)

Par des métarègles qui sélectionnent les règles par leur contenu et les ordonnant…

Métaconnaissances

Des connaissances sur des connaissances

Avoir des connaissances ne suffit pas, Il faut avoir un moyen de réfléchir sur les

connaissances

PHASE D’EXÉCUTION :

ESPRIT 2012-2013


le Moteur d’Inférence va exécuter les règles obtenues à la fin de la phase

d’évaluation, modifiant ainsi la base de connaissance.

On inclut dans la base des fais, les faits de la partie conclusion de la règle

déclenchée.

Le MI commande la mise en œuvre des actions définies par les Règles prêtes à

l’exécution

Il s’ensuit la mise à jour de BF, avec détection d’incohérence

En logique des prédicats, une Règles peut être déclenchée plusieurs fois

En logique des propositions, une Règles n’est déclenchée qu’une seule fois

RÉGIMES DE CONTRÔLE DU MI

ESPRIT 2012-2013


Régime irrévocable

Pour des MI très simples

Le MI s’arrêtera dès qu’il atteint la Saturation de la Base de Règles Déclenchables

Régime par tentative (Backtracking)

Le MI examine la possibilité de déclencher d’autres règles déclenchables

Le MI opère par un retour arrière et remet en cause les règles déclenchées

précédemment

Monotonie

Le MI ne fait qu’ajouter des faits à la BF

Non Monotonie

Le MI peut supprimer des faits qui peuvent se révéler contradictoires (Robotique,

diagnostic, etc.)

RAISONNEMENT DU MOTEURS

D’INFÉRENCES

ESPRIT 2012-2013


Un moteur d'inférence est un algorithme d'exploration d'un espace d‘états utilisé par un système expert.

La recherche heuristique est une composante essentielle des systèmes experts.

Un état (ou nœud) de l'espace de recherche est appelé mémoire de travail.

Le moteur d'inférence peut être à

- chaînage avant

ou

- chaînage arrière.

Vu que les règles de la base de connaissances peuvent contenir des variables, le moteur d’inférence utilise un algorithme d’unification.

MODES DE RAISONNEMENT

DÉDUCTIF

Chaînage Avant

Raisonnement dirigé par les données (des données vers les buts, bas-haut)

Tirer des conclusions de l’information donnée

Lorsque les F de la BF sont dans les conditions des R: tirer à partir des informations déjà établies

INDUCTIF

Chaînage Arrière Raisonnement dirigé par les

buts (des buts vers les données, haut-bas)

Commence par un but à prouver ou une explicative de ce que se doit se produire

Lorsque certains F de la BF sont considérés comme étant à établir ou à évaluer

On parle de problème à résoudre ou d’hypothèses à vérifier ou de buts à atteindre

ESPRIT 2012-2013


CHAÎNAGE AVANT

Le mécanisme du chaînage avant est simple

Pour déduire un F particulier, on déclenche les Règles dont les prémisses sont connues jusqu‘à ce que le F à déduire soit connu ou qu'aucune Règles ne soit plus déclenchable

Utilisé quand on cherche les conséquences de l’ajout de nouveaux faits

Utilise la règle d’inférence: le modus Ponens : de P et de si P alors Q on déduit Q

Chaînage avant sans but régime irrévocable et monotone

Le système n’a pas de but, il déclenche des règles jusqu’à épuisement ou arrêt

Le déclenchement d’une règle n’est pas remis en cause (irrévocabilité)

Les faits établis dans la BF le demeurent par la suite (monotonie)

Plusieurs stratégies, parmi eux :

Production des faits en "largeur d’abord"; après épuisement du conflict set

Production des faits en "profondeur d’abord"; privilégier les Règles qui contiennent en prémisse un fait qui vient d’être établi

Le fait à établir peut ne pas être connu, saturation de la BC (déduire tous les faits déductibles)

ESPRIT 2012-2013


ESPRIT 2012-2013


Un état est un ensemble de faits.

État initial : ensemble de faits initiaux;

État final: État contenant un prédicat unifiable avec le but.

Fonction successeur: étant donné un état S, ses successeurs sont calculés comme suit:

- Trouver une règle R telle que sa précondition est unifiable avec S;

- Notons ϴ l’unificateur le plus général (upg) et E la postcondition (effet) de R.

- Le successeur de S correspondant à R est l’état obtenu en ajoutant Rϴ dans S

Chaque règle R unifiable avec S de la sorte donne un successeur.

!!: Trouver une Règle R implique aussi considérer les faits, puisque P ≡ (True P)

En appliquant une recherche en profondeur ou A* avec cette fonction successeur, on a système expert à chaînage avant!

L'ensemble de règles unifiables avec s est appelé conflict set.

Le fait de suivre un successeur particulier est appelé conflict resolution.

CHAÎNAGE AVANT

CHAÎNAGE AVANT

ESPRIT 2012-2013


Paramètres: in fait (le fait à démontrer)

if fait BF then

res SUCCES

else

reglesNonDéclanchées BR; reglesAConsidérer BR; res ECHEC

while reglesAConsidérer ≠ Ø et res ≠ SUCCES do

r choisir ( reglesAConsidérer); reglesAConsidérer reglesAConsidérer – {r}

if p premisse ( r ) , p BF then

BF BF { conclusion ( r ) }

reglesNonDéclanchées reglesNonDéclanchées – { r }

reglesAConsidérer reglesNonDéclanchées

if conclusion ( r ) = fait then

res SUCCES

endif

endif

endwhile

endif

Renvoyer res

CHAÎNAGE ARRIÈRE

ESPRIT 2012-2013


Un état est un ensemble de buts (c-à-d., de prédicats à prouver).

État initial : un singleton contenant le but.

État final: État vide.

Fonction successeur: étant donné un état S, ses successeurs sont calculés comme suit:

- Trouver une règle R telle que sa postcondition est unifiable avec le but en

tête de S;

- Notons ϴ l’unificateur le plus général (upg) et P la précondition de R.

- Le successeur de S correspondant à R est l’état obtenu de S en:

* En enlevant le but en tête, et en

* Ajoutant ensuite tous les prédicats dans Pϴ

Chaque règle R unifiable avec S de la sorte donne un successeur.

!!: Trouver une Règle R implique aussi considérer les faits, puisque P ≡ (True P)

En appliquant une recherche en profondeur ou A* avec cette fonction successeur, on a système expert à chaînage arrière!

CHAÎNAGE ARRIÈRE

ESPRIT 2012-2013


Fonction chaînageArrière

Paramètres: in BR, in BF, in listeButs.

if estVide (listeButs) then

res SUCCES

else

if demBut(premier(listeButs)) then

res chaînageArrière(suite(listeButs))

else

res ECHEC

endif

endif

retourner res

Fonction demBut

Paramètres: in BR, in BF, in but.

if but BF then

res SUCCES

else

regles BR; res ECHEC

while regles ≠ Ø et res ≠ SUCCES do

r choix (regles); regles regles – {r}

if conclusion ( r ) = fait then

res chaînageArrière (BR, BF, prémisse ( r ) )

endif

endwhile

retourner res

endif

SIMULATION

ESPRIT 2012-2013


Base de Règles : BR= {

R1: A, B, C-> H R2: A, U, C ->F R3: E, G, B -> S

R4: D, G -> C R5: A, E -> B

R6: U, S, T -> F R7: G, H -> R R8: D, E -> T

R9: R, S, H -> F R10: A, U-> B

}

Hypothèses : {A, D, E, G}

Base de Faits : BF = { A, B, C, D, E, F, G, H, R, S, T, U}

But : F ?

Base de Connaissances

Chaînage Avant

SIMULATION CHAÎNAGE AVANT

ESPRIT 2012-2013


Hypothèses0 : {A, D, E, G} Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013


Hypothèses0 : {A, D, E, G} Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R4: D, G -> C

R5: A, E -> B

R8: D, E -> T

Quelle est la Règle applicable ?


ESPRIT 2012-2013


Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R4: D, G -> C

R5: A, E -> B

R8: D, E -> T

Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First

R4: D, G -> C F ?

Hypothèses0 : {A, D, E, G} Hypothèses 1 : {A, D, E, G, C}


ESPRIT 2012-2013


Hypothèses 0 : {A, D, E, G, C, B, T} Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R4: D, G -> C

R5: A, E -> B

R8: D, E -> T

Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First

F ?

F ?

F ?

Hypothèses 1 : {A, D, E, G, C, B, T}


ESPRIT 2012-2013


Hypothèses 1 : {A, D, E, G, C, B, T} Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013


Hypothèses 1 : {A, D, E, G, C, B, T}

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R3: E, G, B -> S


ESPRIT 2012-2013


R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R3: E, G, B -> S

F ?

F ?

Hypothèses 1 : {A, D, E, G, C, B, T} Hypothèses 2 : {A, D, E, G, C, B, T, H, S }


ESPRIT 2012-2013


Hypothèses 2 : {A, D, E, G, C, B, T, H, S } Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013



R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013



R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R7: G, H -> R F ?

Hypothèses 3 : {A, D, E, G, C, B, T, H, S, R}


ESPRIT 2012-2013



R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B



ESPRIT 2012-2013


Hypothèses 3 : {A, D, E, G, C, B, T, H, S, R} Quelles sont les règles déclenchables ?

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013



R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B


ESPRIT 2012-2013



R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R9: R, S, H -> F

Hypothèses 4 : {A, D, E, G, C, B, T, H, S, R, F}


ESPRIT 2012-2013


R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R9: R, S, H -> F

Hypothèses 4 : {A, D, E, G, C, B, T, H, S, R, F}

SIMULATION

ESPRIT 2012-2013




R4: D, G -> C R5: A, E -> B

R6: U, S, T -> F R7: G, H -> R R8: D, E -> T

R9: R, S, H -> F R10: A, U-> B

}



But : F ?

Base de Connaissances

Chaînage Arrière

SIMULATION

ESPRIT 2012-2013




R4: D, G -> C R5: A, E -> B

R6: U, S, T -> F R7: G, H -> R R8: D, E -> T

R9: R, S, H -> F R10: A, U-> B

}



But : F ? Base de Connaissances

Chaînage Arrière

ESPRIT 2012-2013


SIMULATION CHAÎNAGE ARRIÈRE

F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R2

R6 R9

ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R2

A U

C


ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R2

A U C


ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F

R2

A U C


ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R2

A U C


ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R2

A U C

Quelles sont les règles déclenchables ? Pas de Règles Applicables pour U Backtracking !!!

ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R2 R6

R9

ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R6

U S T

ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R2 R6

R9

ESPRIT 2012-2013



F

R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F



R9

R S H


ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R R7

H G

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R R7

H G

R1: A, B, C-> H

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R R7

H G

R1: A, B, C-> H

R1

C B A

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R R7

H G

R1: A, B, C-> H

R1

C B A

R5: A, E -> B

R10: A, U-> B

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R

R7

H G

R1: A, B, C-> H

R1

C B A

R5: A, E -> B

R10: A, U-> B R5

E A

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R

R7

H G

R1: A, B, C-> H

R1

C B A

R5: A, E -> B

R10: A, U-> B R5

E A

R4: D, G -> C

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R

R7

H G

R1: A, B, C-> H

R1

C B A

R5: A, E -> B

R10: A, U-> B R5

E A

R4: D, G -> C

R4 G

D

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R

R1: A, B, C-> H

R5: A, E -> B

R10: A, U-> B

R4: D, G -> C

R3: E, G, B -> S

B G

E R3

ESPRIT 2012-2013



F R1: A, B, C-> H

R2: A, U, C ->F

R3: E, G, B -> S

R4: D, G -> C

R5: A, E -> B

R6: U, S, T -> F

R7: G, H -> R

R8: D, E -> T

R9: R, S, H -> F

R10: A, U-> B

R2: A, U, C ->F

R6: U, S, T -> F

R9: R, S, H -> F


R9

R S H


R7: G, H -> R

R1: A, B, C-> H

R5: A, E -> B

R10: A, U-> B

R4: D, G -> C

R3: E, G, B -> S

ESPRIT 2012-2013



F

R9

R S

H

R7

H G

R1

C B

A

R5

E A

R4

G D

B G E

R3

intelligence artificielle - systèmes experts

Science