SlideShare une entreprise Scribd logo
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

Machine Learning et Intelligence Artificielle
Machine Learning et Intelligence ArtificielleMachine Learning et Intelligence Artificielle
Machine Learning et Intelligence Artificielle
Soft Computing
 
Algorithmes de jeux
Algorithmes de jeuxAlgorithmes de jeux
Algorithmes de jeux
Mohamed Heny SELMI
 
Soutenance mémoire de fin d'études
Soutenance mémoire de fin d'étudesSoutenance mémoire de fin d'études
Soutenance mémoire de fin d'études
Fabrice HAUHOUOT
 
Les arbres de décisions
Les arbres de décisionsLes arbres de décisions
Les arbres de décisions
Mariem Chaaben
 
Introduction au Deep Learning
Introduction au Deep Learning Introduction au Deep Learning
Introduction au Deep Learning
Niji
 
Data mining - Introduction générale
Data mining - Introduction généraleData mining - Introduction générale
Data mining - Introduction générale
Mohamed Heny SELMI
 
réseaux de neurones artificiels
réseaux de neurones artificiels réseaux de neurones artificiels
réseaux de neurones artificiels
Oussama Werfelli
 
Data mining - Classification - arbres de décision
Data mining - Classification - arbres de décisionData mining - Classification - arbres de décision
Data mining - Classification - arbres de décision
Mohamed Heny SELMI
 
Curriculum d'informatique aux Troncs Communs, fondements et choix.
Curriculum d'informatique aux Troncs Communs, fondements et choix.Curriculum d'informatique aux Troncs Communs, fondements et choix.
Curriculum d'informatique aux Troncs Communs, fondements et choix.
Haddi Abderrahim
 
exercices business intelligence
exercices business intelligence exercices business intelligence
exercices business intelligence
Yassine Badri
 
Arbre de décision
Arbre de décisionArbre de décision
Arbre de décision
Yassine Badri
 
Présentation projet de fin d'étude
Présentation projet de fin d'étudePrésentation projet de fin d'étude
Présentation projet de fin d'étude
Donia Hammami
 
Rapport (Mémoire de Master) de stage PFE pour l’obtention du Diplôme Nationa...
Rapport (Mémoire de Master) de stage PFE pour  l’obtention du Diplôme Nationa...Rapport (Mémoire de Master) de stage PFE pour  l’obtention du Diplôme Nationa...
Rapport (Mémoire de Master) de stage PFE pour l’obtention du Diplôme Nationa...
Mohamed Amine Mahmoudi
 
Informatique pour école de Médecine Cours : TD & TP
Informatique pour école de Médecine Cours : TD & TPInformatique pour école de Médecine Cours : TD & TP
Informatique pour école de Médecine Cours : TD & TP
Mohammed TAMALI
 
Systèmes multi agents concepts et mise en oeuvre avec le middleware jade
Systèmes multi agents concepts et mise en oeuvre avec le middleware jadeSystèmes multi agents concepts et mise en oeuvre avec le middleware jade
Systèmes multi agents concepts et mise en oeuvre avec le middleware jade
ENSET, Université Hassan II Casablanca
 
Les réseaux de neurones
Les réseaux de neuronesLes réseaux de neurones
Les réseaux de neurones
Mariam Amchayd
 
Réseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTMRéseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTM
Jaouad Dabounou
 
Réseaux des neurones
Réseaux des neuronesRéseaux des neurones
Réseaux des neurones
Med Zaibi
 
Algorithmique et Structures de Données II
Algorithmique et Structures de Données IIAlgorithmique et Structures de Données II
Algorithmique et Structures de Données II
Riadh Bouslimi
 
Présentation de mon PFE
Présentation de mon PFEPrésentation de mon PFE
Présentation de mon PFE
Nadir Haouari
 

Tendances (20)

Machine Learning et Intelligence Artificielle
Machine Learning et Intelligence ArtificielleMachine Learning et Intelligence Artificielle
Machine Learning et Intelligence Artificielle
 
Algorithmes de jeux
Algorithmes de jeuxAlgorithmes de jeux
Algorithmes de jeux
 
Soutenance mémoire de fin d'études
Soutenance mémoire de fin d'étudesSoutenance mémoire de fin d'études
Soutenance mémoire de fin d'études
 
Les arbres de décisions
Les arbres de décisionsLes arbres de décisions
Les arbres de décisions
 
Introduction au Deep Learning
Introduction au Deep Learning Introduction au Deep Learning
Introduction au Deep Learning
 
Data mining - Introduction générale
Data mining - Introduction généraleData mining - Introduction générale
Data mining - Introduction générale
 
réseaux de neurones artificiels
réseaux de neurones artificiels réseaux de neurones artificiels
réseaux de neurones artificiels
 
Data mining - Classification - arbres de décision
Data mining - Classification - arbres de décisionData mining - Classification - arbres de décision
Data mining - Classification - arbres de décision
 
Curriculum d'informatique aux Troncs Communs, fondements et choix.
Curriculum d'informatique aux Troncs Communs, fondements et choix.Curriculum d'informatique aux Troncs Communs, fondements et choix.
Curriculum d'informatique aux Troncs Communs, fondements et choix.
 
exercices business intelligence
exercices business intelligence exercices business intelligence
exercices business intelligence
 
Arbre de décision
Arbre de décisionArbre de décision
Arbre de décision
 
Présentation projet de fin d'étude
Présentation projet de fin d'étudePrésentation projet de fin d'étude
Présentation projet de fin d'étude
 
Rapport (Mémoire de Master) de stage PFE pour l’obtention du Diplôme Nationa...
Rapport (Mémoire de Master) de stage PFE pour  l’obtention du Diplôme Nationa...Rapport (Mémoire de Master) de stage PFE pour  l’obtention du Diplôme Nationa...
Rapport (Mémoire de Master) de stage PFE pour l’obtention du Diplôme Nationa...
 
Informatique pour école de Médecine Cours : TD & TP
Informatique pour école de Médecine Cours : TD & TPInformatique pour école de Médecine Cours : TD & TP
Informatique pour école de Médecine Cours : TD & TP
 
Systèmes multi agents concepts et mise en oeuvre avec le middleware jade
Systèmes multi agents concepts et mise en oeuvre avec le middleware jadeSystèmes multi agents concepts et mise en oeuvre avec le middleware jade
Systèmes multi agents concepts et mise en oeuvre avec le middleware jade
 
Les réseaux de neurones
Les réseaux de neuronesLes réseaux de neurones
Les réseaux de neurones
 
Réseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTMRéseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTM
 
Réseaux des neurones
Réseaux des neuronesRéseaux des neurones
Réseaux des neurones
 
Algorithmique et Structures de Données II
Algorithmique et Structures de Données IIAlgorithmique et Structures de Données II
Algorithmique et Structures de Données II
 
Présentation de mon PFE
Présentation de mon PFEPrésentation de mon PFE
Présentation de mon PFE
 

Similaire à Intelligence Artificielle - Systèmes experts

Algorithmesderecherche 160306125009
Algorithmesderecherche 160306125009Algorithmesderecherche 160306125009
Algorithmesderecherche 160306125009
OUMAROU ALTINE Mohamadou Aminou
 
Ihm introduction
Ihm introductionIhm introduction
Ihm introduction
sloumaallagui1
 
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
PRONETIS
 
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
Wygwam
 
merise.pdf
merise.pdfmerise.pdf
merise.pdf
DurelDonfack
 
Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Rapport de pfe format doc 2013
Rapport de pfe format doc 2013
Addi 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-application
CERTyou 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 PME
CYB@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
 
Mehari
MehariMehari
Mehari
Afaf MATOUG
 
Projet structure organisationnelle
Projet structure organisationnelleProjet structure organisationnelle
Projet structure organisationnelle
feriel 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 clients
Gilles Balmisse
 
Systèmes d informations
Systèmes d informationsSystèmes d informations
Systèmes d informations
Reda Hassani
 
EBIOS
EBIOSEBIOS
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
mohammed 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-synergy
CERTyou 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-2010
CERTyou 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.pdf
MbarkiIsraa
 
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
CERTyou 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