Intelligence Artificielle - Systèmes experts
-
Upload
mohamed-heny-selmi -
Category
Science
-
view
1.030 -
download
5
Transcript of Intelligence Artificielle - Systèmes experts
II. LES SYSTÈMES EXPERTS
ARCHITECTURE ET MISE EN ŒUVRE DES
SYSTÈMES
EXPERTS
INTELLIGENCE ARTIFICIELLE ET SYSTÈMES EXPERTS
Mohamed Heny SELMI [email protected]
QU’EST QU’UN SYSTÈME
EXPERT?
ESPRIT 2012-2013
Mohamed Heny SELMI ©
Définition1 : Un système expert est un logiciel capable de répondre à des questions, en effectuant un raisonnement à partir de faits et de règles connus. Il peut servir notamment comme outil d’aide à la décision.
Définition2 : un programme possédant une grande masse de connaissances dans un domaine spécialisé, ces connaissances provenant généralement d’un expert humain, chevronné et capable d’atteindre les performances de l’expert dans ce domaine
Définition fonctionnelle
un logiciel destiné à remplacer ou à assister l’homme dans des domaines où est
reconnue une expertise humaine :
Suffisamment structurée pour constituer une méthode de travail précise, sure,
complète, directement transportable sur ordinateur.
QU’EST QU’UN SYSTÈME
EXPERT?
ESPRIT 2012-2013
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émoire cerveau
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
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
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
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
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
H 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
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
H 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
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
H 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
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
H G
R1: A, B, C-> H
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
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
H G
R1: A, B, C-> H
R1
C B A
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
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
H G
R1: A, B, C-> H
R1
C B A
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
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
H G
R1: A, B, C-> H
R1
C B A
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B R5
E A
ESPRIT 2012-2013
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B R5
E A
ESPRIT 2012-2013
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B R5
E A
R4: D, G -> C
ESPRIT 2012-2013
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B R5
E A
R4: D, G -> C
R4 G
D
ESPRIT 2012-2013
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
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
H G
R1: A, B, C-> H
R1
C B A
R5: A, E -> B
R10: A, U-> B R5
E A
R4: D, G -> C
R4 G
D
ESPRIT 2012-2013
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
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
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
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
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
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
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
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
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
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
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
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
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
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
H G
R1
C B
A
R5
E A
R4
G D
B G E
R3