Bonjour,
Je suis entrain de faire des exos sur le chainage avant, et je bloque sur un truc
voilà ma base de connaissance
0 -> a
b -> f
d -> b
a et c -> e
b et e -> d
Q1) décrire le chainage avant à partir des faits initiaux d et e dans chacun des cas suivant
1)Chainage avant sans sélection, et jusqu'à saturation ?
2)Chainage avant AVEC SÉLECTION de la première règle de plus petite prémisse, et jusqu'à saturation ?

Donc pour la première question voilà ce que j'ai fais
faits initiaux (d et e), donc on déclenche d-> b et on ajoute b à notre base de fait après c'est la règle b -> f qui sera déclenchée, et on s'arrête là, la base est saturée
===>résultat {d,e,b,f}

Pour la deuxième question je sais pas comment faire, je ne comprends pas la partie que j'ai mise en gras (AVEC SÉLECTION....)

Merci