Systeme expert java

Bonjour,


Bonjour,
Je dois réaliser une méthode qui fait le chainage avant en saturation, j'ai déjà fais un bou de code mais ça marche pas

voilà mes Faits [A B D E F G H I J O P Q]
Les Regles:

A B=>F
F H=>I
D H G=>A
O G=>H
E H=>B
G A=>B
G H=>P Q
D O G=>J

donc si quelqu'un peut m'expliquer un peux le principe de ce chainage parceque je me sens un peux perdu
que doit renvoyer ChainageAv(DOG) et chainageAv(DOGH)?



public HashSet<Fait> ChainageAv(HashSet<Fait> FaitInitiaux)
{
HashSet<Fait> fs=FaitInitiaux;
boolean fin=true;

while(fin)
{

fin=false;
for(Regles r:this.Rules)//je parcours tt les regles
{
if(FaitInitiaux.containsAll(r.getPremisse())
{
fs.addALL(r.getConclusion());
fin=true;

}

}

}}