[IA] chainage avant

Bonjour,

Je sais pas vraiment ou poster ce message, mais j'espere qu'il y a des programmeurs qui peuvent m'expliquer ça:

soit la base de regle suivante:

R1: B et D et E -> C R2: A et B -> C
R3: P et Q et R et S -> T R4: G ->F
R5: S et B -> T
.....
les fais: I,S,B

question : dans quel ordre sont inclus les nouveau faits lorsque l'on utilise une strategie de recherche par chainage avant en largeur d'abord.

Je ne vous demande pas de donner une solution à cet exercice, j n'en est pas besoin (deja l'exo n'est pas complet) , je vous demande de m'expliquer comment je peux repondre à ce genre de question. Que signifie une strategie en largeur, je sais qu'il y a une strategie de choix du 1er d'abord et du dernier d'abord. Sinon, si le fait à prouver n'est pas donné, comment je peux faire le chainage avant??
Et les fait I,S,B, est ce que ce sont des fait initial?

Aidez moi SVP.
Merci,