Professional Documents
Culture Documents
Systemesa Base de Rã Glesannote
Systemesa Base de Rã Glesannote
Lhouari Nourine
Master 2 -SIAD
Moteur d’inférence
Compare les règles dans la base de connaissances avec les faits dans la
base de données.
Lorsqu’une condition égale un fait, la règle est déclenchée et l’action
est exécutée.
Une action peut modifier la base de données en ajoutant de nouveaux
faits.
Chaîne d’inférence
Indique comment le système d’inférence applique des règles pour
atteindre une conclusion
Comment fonctionne-t-il?
En cycles
Avec une pile ("stack")
On cherche des sous-buts pour prouver des conditions
On continue la pile jusqu’à ce qu’on trouve aucune règle qui peut
prouver un sous-but.
L’utilisateur peut être demandé de donner des informations
additionnelles
Exemple
F1= NON distance<300
F2 = avoir-le-telephone
R3 et F1 ! F 3: prendre-avion
R6 et F3 ! F 4: acheter-un-billet-avion
Exemple
F1= NON distance<300
F2 = avoir-le-telephone
R3 et F1 ! F 3: prendre-avion
R6 et F3 ! F 4: acheter-un-billet-avion
R3 et F1 ! F 3: prendre-avion
R4 et F4 et F2 ! F 5: téléphoner-a-agence
Systèmes à base de règles Master 2 -SIAD 28 / 33
Exemple
B Les règles se déclenchent plusieurs fois. Il faut marquer les règles
déclenchées pour ne plus les considérer dans la boucle pour.
Algorithm 3: Moteur d’inférence version 3
begin
Changement=vrai
while Changement do
Changement=faux
for toute règle R do
if R n’est pas marquée then
if les prémisses de R appartiennent à BF then
Ajouter les conclusions à BF
Changement=vrai
Marquer R
Exemple
F1= NON distance<300
F2 = avoir-le-telephone
R3 et F1 ! F 3: prendre-avion
R6 et F3 ! F 4: acheter-un-billet-avion
R4 et F4 et F2 ! F 5: téléphoner-à-agence
Changement=vrai
Marquer R
Exemple
R3 ! R30 : SI NON distance<300km ET NON durée>2jours ALORS prendre-avion
R8 : SI NON distance<300km ET NON être-fonctionnaire ALORS prendre-avion
R9 : SI NON distance<300km ET durée>2jours ET être-fonctionnaire ALORS
prendre-train