Exercice :

Soit la base de connaissance suivante :

Base des faits = {A, D, E, G}

Base des règles = {R1 : A, B, CH

R2: A, U, CF
R3: E, G, BS
R4: D, GC
R5: A, E B
R6: U, S, TF
R7: G, HR
R8: D, ET
R9: R, S, HF
R10: A, UB}

Question : établir le fait F en utilisant:

 Un moteur d’inférence à chainage avant en profondeur d’abord monotone avec régime

irrévocable ;
 Un moteur d’inférence à chainage avant en largeur d’abord monotone avec régime irrévocable
 Un moteur d’inférence à chainage arrière en profondeur d’abord monotone avec régime par
tentative