SlideShare une entreprise Scribd logo
1  sur  113
Télécharger pour lire hors ligne
II. LES SYSTÈMES EXPERTS
ARCHITECTURE ET MISE EN ŒUVRE DES
SYSTÈMES
EXPERTS
INTELLIGENCE ARTIFICIELLE ET SYSTÈMES EXPERTS
Mohamed Heny SELMI medheny.selmi@esprit.tn
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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
DOMAINES D’APPLICATION
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
Mohamed Heny SELMI ©
DOMAINES D’APPLICATION
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
Mohamed Heny SELMI ©
DOMAINES D’APPLICATION
VISION ARTIFICIELLE
Robotique, médecine, espace, bureautique.
Reconnaissance des formes.
 Traitement numérique d’images.
 Vidéo surveillance.
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Base de
Connaissances
ANATOMIE D’UN SYSTÈME EXPERT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Base de Faits
Base de Règles
Moteur
d’Inférences
Chaînage AVANT
Chaînage ARRIERE
Chaînage MIXTE
mémoirecerveau
BASE DE
CONNAISSANCES
ANATOMIE DES SYSTÈMES EXPERTS
ESPRIT 2012-2013
Mohamed Heny SELMI ©
BASE DE CONNAISSANCES
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
MOTEURS
D’INFÉRENCES
ANATOMIE DES SYSTÈMES EXPERTS
ESPRIT 2012-2013
Mohamed Heny SELMI ©
MOTEURS D’INFÉRENCES
ESPRIT 2012-2013
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
PHASE D’ÉVALUATION :
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
ESPRIT 2012-2013
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
 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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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 ?
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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}
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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}
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelle est la Règle applicable ?
Largeur tout d’abord / Breadth First
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 }
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
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}
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Hypothèses 3: {A, D, E, G, C, B, T, H, S, R}
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Hypothèses 3: {A, D, E, G, C, B, T, H, S, R}
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Hypothèses 3: {A, D, E, G, C, B, T, H, S, R}
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
SIMULATION CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Hypothèses 3: {A, D, E, G, C, B, T, H, S, R}
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 CHAÎNAGE AVANT
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Mohamed Heny SELMI ©
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
Arrière
SIMULATION
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Arrière
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
R6
R9
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
A
U
C
Hypothèses : {A, D, E, G}
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
A U
C
Hypothèses : {A, D, E, G}
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
A U C
Hypothèses : {A, D, E, G}
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
R2
A U C
Quelles sont les règles déclenchables ?
Pas de Règles Applicables pour U
Backtracking !!!
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
R6
R9
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R6
U S T
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R6
U S T
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R2
R6
R9
ESPRIT 2012-2013
Mohamed Heny SELMI ©
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
Quelles sont les règles déclenchables ?
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
R5
EA
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
R5
EA
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
R5
EA
R4: D, G -> C
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
R5
EA
R4: D, G -> C
R4
G
D
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
R7: G, H -> R
R7
HG
R1: A, B, C-> H
R1
CBA
R5: A, E -> B
R10: A, U-> B
R5
EA
R4: D, G -> C
R4
G
D
ESPRIT 2012-2013
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
FR1: 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
Quelle est la Règle applicable ?
Profondeur tout d’abord / Depth First
R9
R S H
Hypothèses : {A, D, E, G}
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
Mohamed Heny SELMI ©
SIMULATION CHAÎNAGE ARRIÈRE
F
R9
R
S
H
R7
HG
R1
C
B
A
R5
EA
R4
G
D
B
GE
R3

Contenu connexe

Tendances

INFORMATIQUE DES GESTION : MERISE
INFORMATIQUE DES GESTION : MERISE INFORMATIQUE DES GESTION : MERISE
INFORMATIQUE DES GESTION : MERISE HINDOUSSATI
 
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...Symphorien Niyonzima
 
Correction Examen 2016-2017 POO .pdf
Correction Examen 2016-2017 POO .pdfCorrection Examen 2016-2017 POO .pdf
Correction Examen 2016-2017 POO .pdfslimyaich3
 
Conception et Réalisation d'un Data Warehouse
Conception et Réalisation d'un Data WarehouseConception et Réalisation d'un Data Warehouse
Conception et Réalisation d'un Data WarehouseAbderrahmane Filali
 
Intelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheIntelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheMohamed Heny SELMI
 
Introduction aux systèmes répartis
Introduction aux systèmes répartisIntroduction aux systèmes répartis
Introduction aux systèmes répartisHeithem Abbes
 
réseaux de neurones artificiels
réseaux de neurones artificiels réseaux de neurones artificiels
réseaux de neurones artificiels Oussama Werfelli
 
Rapport projet conception et la réalisation d'une application web gestion des...
Rapport projet conception et la réalisation d'une application web gestion des...Rapport projet conception et la réalisation d'une application web gestion des...
Rapport projet conception et la réalisation d'une application web gestion des...SAAD SARHANI
 
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2Sofien Benrhouma
 
Rapport Projet de Fin d'Etudes
Rapport Projet de Fin d'EtudesRapport Projet de Fin d'Etudes
Rapport Projet de Fin d'EtudesHosni Mansour
 
Ma présentation PFE : Application Android & Site Web
Ma présentation PFE : Application Android & Site WebMa présentation PFE : Application Android & Site Web
Ma présentation PFE : Application Android & Site WebHarrathi Mohamed
 
Projet BI - 1 - Analyse des besoins
Projet BI - 1 - Analyse des besoinsProjet BI - 1 - Analyse des besoins
Projet BI - 1 - Analyse des besoinsJean-Marc Dupont
 
TD2 - UML - Correction
TD2 - UML - CorrectionTD2 - UML - Correction
TD2 - UML - CorrectionLilia Sfaxi
 
Chapitre 2 le recuit simulé
Chapitre 2 le recuit simuléChapitre 2 le recuit simulé
Chapitre 2 le recuit simuléAchraf Manaa
 
Projet de fin d'etude sur le parc informatique
Projet  de fin d'etude sur le parc informatiqueProjet  de fin d'etude sur le parc informatique
Projet de fin d'etude sur le parc informatiqueHicham Ben
 
présentation soutenance PFE.ppt
présentation soutenance PFE.pptprésentation soutenance PFE.ppt
présentation soutenance PFE.pptMohamed Ben Bouzid
 
Architectures 3-tiers (Web)
Architectures 3-tiers (Web)Architectures 3-tiers (Web)
Architectures 3-tiers (Web)Heithem Abbes
 
Les 10 plus populaires algorithmes du machine learning
Les 10 plus populaires algorithmes du machine learningLes 10 plus populaires algorithmes du machine learning
Les 10 plus populaires algorithmes du machine learningHakim Nasaoui
 
Etat de l’art approche et outils BI
Etat de l’art approche et outils BIEtat de l’art approche et outils BI
Etat de l’art approche et outils BISaid Sadik
 

Tendances (20)

INFORMATIQUE DES GESTION : MERISE
INFORMATIQUE DES GESTION : MERISE INFORMATIQUE DES GESTION : MERISE
INFORMATIQUE DES GESTION : MERISE
 
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...
Conception d’une plateforme web d’e-Commerce au sein d’une entreprise commerc...
 
Correction Examen 2016-2017 POO .pdf
Correction Examen 2016-2017 POO .pdfCorrection Examen 2016-2017 POO .pdf
Correction Examen 2016-2017 POO .pdf
 
Conception et Réalisation d'un Data Warehouse
Conception et Réalisation d'un Data WarehouseConception et Réalisation d'un Data Warehouse
Conception et Réalisation d'un Data Warehouse
 
Intelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheIntelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de recherche
 
Introduction aux systèmes répartis
Introduction aux systèmes répartisIntroduction aux systèmes répartis
Introduction aux systèmes répartis
 
réseaux de neurones artificiels
réseaux de neurones artificiels réseaux de neurones artificiels
réseaux de neurones artificiels
 
Rapport projet conception et la réalisation d'une application web gestion des...
Rapport projet conception et la réalisation d'une application web gestion des...Rapport projet conception et la réalisation d'une application web gestion des...
Rapport projet conception et la réalisation d'une application web gestion des...
 
Rapport PFE
Rapport PFERapport PFE
Rapport PFE
 
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2
Rapport Projet De Fin D'étude Développent d'une application web avec Symfony2
 
Rapport Projet de Fin d'Etudes
Rapport Projet de Fin d'EtudesRapport Projet de Fin d'Etudes
Rapport Projet de Fin d'Etudes
 
Ma présentation PFE : Application Android & Site Web
Ma présentation PFE : Application Android & Site WebMa présentation PFE : Application Android & Site Web
Ma présentation PFE : Application Android & Site Web
 
Projet BI - 1 - Analyse des besoins
Projet BI - 1 - Analyse des besoinsProjet BI - 1 - Analyse des besoins
Projet BI - 1 - Analyse des besoins
 
TD2 - UML - Correction
TD2 - UML - CorrectionTD2 - UML - Correction
TD2 - UML - Correction
 
Chapitre 2 le recuit simulé
Chapitre 2 le recuit simuléChapitre 2 le recuit simulé
Chapitre 2 le recuit simulé
 
Projet de fin d'etude sur le parc informatique
Projet  de fin d'etude sur le parc informatiqueProjet  de fin d'etude sur le parc informatique
Projet de fin d'etude sur le parc informatique
 
présentation soutenance PFE.ppt
présentation soutenance PFE.pptprésentation soutenance PFE.ppt
présentation soutenance PFE.ppt
 
Architectures 3-tiers (Web)
Architectures 3-tiers (Web)Architectures 3-tiers (Web)
Architectures 3-tiers (Web)
 
Les 10 plus populaires algorithmes du machine learning
Les 10 plus populaires algorithmes du machine learningLes 10 plus populaires algorithmes du machine learning
Les 10 plus populaires algorithmes du machine learning
 
Etat de l’art approche et outils BI
Etat de l’art approche et outils BIEtat de l’art approche et outils BI
Etat de l’art approche et outils BI
 

Similaire à Intelligence Artificielle - Systèmes experts

Etude de cas de securite wifi vpn ssl camera ip video surveillance 2014
Etude de cas de securite  wifi vpn ssl camera ip video surveillance 2014Etude de cas de securite  wifi vpn ssl camera ip video surveillance 2014
Etude de cas de securite wifi vpn ssl camera ip video surveillance 2014PRONETIS
 
Wygday2010 - Supervision applicative avec System Center Operations Manager
Wygday2010 - Supervision applicative avec System Center Operations ManagerWygday2010 - Supervision applicative avec System Center Operations Manager
Wygday2010 - Supervision applicative avec System Center Operations ManagerWygwam
 
Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Addi Ait-Mlouk
 
Optim formation-optimisations-des-performances-d-une-application
Optim formation-optimisations-des-performances-d-une-applicationOptim formation-optimisations-des-performances-d-une-application
Optim formation-optimisations-des-performances-d-une-applicationCERTyou Formation
 
Article: Quelle maturité faut-il pour le SPC?
Article: Quelle maturité faut-il pour le SPC?Article: Quelle maturité faut-il pour le SPC?
Article: Quelle maturité faut-il pour le SPC?Infodream
 
Mise en place d’un Systéme d’Information (SI) en PME
Mise en place d’un Systéme d’Information (SI) en PMEMise en place d’un Systéme d’Information (SI) en PME
Mise en place d’un Systéme d’Information (SI) en PMECYB@RDECHE
 
Conception et réalisation d'une application de gestion intégrée au sein de la...
Conception et réalisation d'une application de gestion intégrée au sein de la...Conception et réalisation d'une application de gestion intégrée au sein de la...
Conception et réalisation d'une application de gestion intégrée au sein de la...Addi Ait-Mlouk
 
Projet structure organisationnelle
Projet structure organisationnelleProjet structure organisationnelle
Projet structure organisationnelleferiel abidi
 
Les nouvelles bases de connaissances dans les services clients
Les nouvelles bases de connaissances dans les services clientsLes nouvelles bases de connaissances dans les services clients
Les nouvelles bases de connaissances dans les services clientsGilles Balmisse
 
Systèmes d informations
Systèmes d informationsSystèmes d informations
Systèmes d informationsReda Hassani
 
Le Contrôle Interne Assisté par Ordinateur
Le Contrôle Interne Assisté par OrdinateurLe Contrôle Interne Assisté par Ordinateur
Le Contrôle Interne Assisté par Ordinateurmohammed EZZOUAK
 
Qs186 g formation-administration-d-ibm-rational-synergy
Qs186 g formation-administration-d-ibm-rational-synergyQs186 g formation-administration-d-ibm-rational-synergy
Qs186 g formation-administration-d-ibm-rational-synergyCERTyou Formation
 
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010CERTyou Formation
 
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdfMbarkiIsraa
 
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementation
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementationTr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementation
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementationCERTyou Formation
 

Similaire à Intelligence Artificielle - Systèmes experts (20)

Algorithmesderecherche 160306125009
Algorithmesderecherche 160306125009Algorithmesderecherche 160306125009
Algorithmesderecherche 160306125009
 
Ihm introduction
Ihm introductionIhm introduction
Ihm introduction
 
Etude de cas de securite wifi vpn ssl camera ip video surveillance 2014
Etude de cas de securite  wifi vpn ssl camera ip video surveillance 2014Etude de cas de securite  wifi vpn ssl camera ip video surveillance 2014
Etude de cas de securite wifi vpn ssl camera ip video surveillance 2014
 
Wygday2010 - Supervision applicative avec System Center Operations Manager
Wygday2010 - Supervision applicative avec System Center Operations ManagerWygday2010 - Supervision applicative avec System Center Operations Manager
Wygday2010 - Supervision applicative avec System Center Operations Manager
 
merise.pdf
merise.pdfmerise.pdf
merise.pdf
 
Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Rapport de pfe format doc 2013
Rapport de pfe format doc 2013
 
Optim formation-optimisations-des-performances-d-une-application
Optim formation-optimisations-des-performances-d-une-applicationOptim formation-optimisations-des-performances-d-une-application
Optim formation-optimisations-des-performances-d-une-application
 
Article: Quelle maturité faut-il pour le SPC?
Article: Quelle maturité faut-il pour le SPC?Article: Quelle maturité faut-il pour le SPC?
Article: Quelle maturité faut-il pour le SPC?
 
Mise en place d’un Systéme d’Information (SI) en PME
Mise en place d’un Systéme d’Information (SI) en PMEMise en place d’un Systéme d’Information (SI) en PME
Mise en place d’un Systéme d’Information (SI) en PME
 
Conception et réalisation d'une application de gestion intégrée au sein de la...
Conception et réalisation d'une application de gestion intégrée au sein de la...Conception et réalisation d'une application de gestion intégrée au sein de la...
Conception et réalisation d'une application de gestion intégrée au sein de la...
 
Mehari
MehariMehari
Mehari
 
Projet structure organisationnelle
Projet structure organisationnelleProjet structure organisationnelle
Projet structure organisationnelle
 
Les nouvelles bases de connaissances dans les services clients
Les nouvelles bases de connaissances dans les services clientsLes nouvelles bases de connaissances dans les services clients
Les nouvelles bases de connaissances dans les services clients
 
Systèmes d informations
Systèmes d informationsSystèmes d informations
Systèmes d informations
 
EBIOS
EBIOSEBIOS
EBIOS
 
Le Contrôle Interne Assisté par Ordinateur
Le Contrôle Interne Assisté par OrdinateurLe Contrôle Interne Assisté par Ordinateur
Le Contrôle Interne Assisté par Ordinateur
 
Qs186 g formation-administration-d-ibm-rational-synergy
Qs186 g formation-administration-d-ibm-rational-synergyQs186 g formation-administration-d-ibm-rational-synergy
Qs186 g formation-administration-d-ibm-rational-synergy
 
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010
M50509 formation-mettre-en-oeuvre-forefront-endpoint-protection-2010
 
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf
(GLII-Spécification, vérification et qualité-chapitres 1 et 2-2013-2014.pdf
 
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementation
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementationTr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementation
Tr581 g formation-ibm-maximo-asset-management-7-1-1-5-implementation
 

Intelligence Artificielle - Systèmes experts

  • 1. II. LES SYSTÈMES EXPERTS ARCHITECTURE ET MISE EN ŒUVRE DES SYSTÈMES EXPERTS INTELLIGENCE ARTIFICIELLE ET SYSTÈMES EXPERTS Mohamed Heny SELMI medheny.selmi@esprit.tn
  • 2. 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.
  • 3. QU’EST QU’UN SYSTÈME EXPERT? ESPRIT 2012-2013 Mohamed Heny SELMI © 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.
  • 4. OBJECTIFS ESPRIT 2012-2013 Mohamed Heny SELMI ©  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.
  • 5. 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 Mohamed Heny SELMI ©
  • 6. DOMAINES D’APPLICATION 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 Mohamed Heny SELMI ©
  • 7. DOMAINES D’APPLICATION 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 Mohamed Heny SELMI ©
  • 8. DOMAINES D’APPLICATION VISION ARTIFICIELLE Robotique, médecine, espace, bureautique. Reconnaissance des formes.  Traitement numérique d’images.  Vidéo surveillance. ESPRIT 2012-2013 Mohamed Heny SELMI ©
  • 9. Base de Connaissances ANATOMIE D’UN SYSTÈME EXPERT ESPRIT 2012-2013 Mohamed Heny SELMI © Base de Faits Base de Règles Moteur d’Inférences Chaînage AVANT Chaînage ARRIERE Chaînage MIXTE mémoirecerveau
  • 10. BASE DE CONNAISSANCES ANATOMIE DES SYSTÈMES EXPERTS ESPRIT 2012-2013 Mohamed Heny SELMI ©
  • 11. BASE DE CONNAISSANCES ESPRIT 2012-2013 Mohamed Heny SELMI © 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)
  • 12. BASE DE FAITS ESPRIT 2012-2013 Mohamed Heny SELMI ©  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.
  • 13. BASE DE RÈGLES ESPRIT 2012-2013 Mohamed Heny SELMI ©  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
  • 14. EXEMPLE DE RÈGLES ESPRIT 2012-2013 Mohamed Heny SELMI ©
  • 15. MOTEURS D’INFÉRENCES ANATOMIE DES SYSTÈMES EXPERTS ESPRIT 2012-2013 Mohamed Heny SELMI ©
  • 16. MOTEURS D’INFÉRENCES ESPRIT 2012-2013 Mohamed Heny SELMI ©  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
  • 17. PRINCIPE DE FONCTIONNEMENT DES MOTEURS D'INFÉRENCES ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 18. PRINCIPE DE FONCTIONNEMENT DES MOTEURS D'INFÉRENCES ESPRIT 2012-2013 Mohamed Heny SELMI ©
  • 19. PHASE D’ÉVALUATION : ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 20. PHASE D’ÉVALUATION : ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 21. PHASE D’EXÉCUTION : ESPRIT 2012-2013 Mohamed Heny SELMI ©  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
  • 22. RÉGIMES DE CONTRÔLE DU MI ESPRIT 2012-2013 Mohamed Heny SELMI ©  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.)
  • 23. RAISONNEMENT DU MOTEURS D’INFÉRENCES ESPRIT 2012-2013 Mohamed Heny SELMI ©  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.
  • 24. 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 Mohamed Heny SELMI ©
  • 25. 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 Mohamed Heny SELMI ©
  • 26. ESPRIT 2012-2013 Mohamed Heny SELMI ©  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
  • 27. CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 28. CHAÎNAGE ARRIÈRE ESPRIT 2012-2013 Mohamed Heny SELMI ©  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!
  • 29. CHAÎNAGE ARRIÈRE ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 30. SIMULATION ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 31. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 32. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 33. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 34. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 35. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 36. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 37. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 38. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 39. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 40. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 41. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 ?
  • 42. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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}
  • 43. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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}
  • 44. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 45. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 46. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 47. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 48. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 49. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 50. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 51. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 52. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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
  • 53. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelle est la Règle applicable ? Largeur tout d’abord / Breadth First 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 }
  • 54. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 55. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 56. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 57. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 58. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 59. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 60. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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
  • 61. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 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}
  • 62. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Hypothèses 3: {A, D, E, G, C, B, T, H, S, R}
  • 63. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 64. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 65. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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
  • 66. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © Hypothèses 3: {A, D, E, G, C, B, T, H, S, R} 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
  • 67. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © Hypothèses 3: {A, D, E, G, C, B, T, H, S, R} 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
  • 68. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © Hypothèses 3: {A, D, E, G, C, B, T, H, S, R} 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}
  • 69. SIMULATION CHAÎNAGE AVANT ESPRIT 2012-2013 Mohamed Heny SELMI © 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}
  • 70. SIMULATION ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Arrière
  • 71. SIMULATION ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Arrière
  • 72. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 R6 R9
  • 73. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 A U C Hypothèses : {A, D, E, G}
  • 74. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 A U C Hypothèses : {A, D, E, G}
  • 75. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 A U C Hypothèses : {A, D, E, G}
  • 76. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 A U C Quelles sont les règles déclenchables ?
  • 77. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 78. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 79. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 80. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 81. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 82. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 83. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 84. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 85. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ?
  • 86. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 R2 A U C Quelles sont les règles déclenchables ? Pas de Règles Applicables pour U Backtracking !!!
  • 87. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 R6 R9
  • 88. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R6 U S T
  • 89. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R6 U S T
  • 90. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R2 R6 R9
  • 91. ESPRIT 2012-2013 Mohamed Heny SELMI © 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 Quelles sont les règles déclenchables ? Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G}
  • 92. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G}
  • 93. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG
  • 94. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG
  • 95. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG
  • 96. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H
  • 97. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA
  • 98. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA
  • 99. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA
  • 100. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B
  • 101. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B R5 EA
  • 102. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B R5 EA
  • 103. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B R5 EA R4: D, G -> C
  • 104. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B R5 EA R4: D, G -> C R4 G D
  • 105. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} R7: G, H -> R R7 HG R1: A, B, C-> H R1 CBA R5: A, E -> B R10: A, U-> B R5 EA R4: D, G -> C R4 G D
  • 106. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 107. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 108. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 109. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 110. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 111. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 112. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE FR1: 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 Quelle est la Règle applicable ? Profondeur tout d’abord / Depth First R9 R S H Hypothèses : {A, D, E, G} 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
  • 113. ESPRIT 2012-2013 Mohamed Heny SELMI © SIMULATION CHAÎNAGE ARRIÈRE F R9 R S H R7 HG R1 C B A R5 EA R4 G D B GE R3