[IA] chainage avant

Résolu/Fermé
Signaler
Messages postés
365
Date d'inscription
dimanche 11 mars 2007
Statut
Membre
Dernière intervention
23 septembre 2010
-
Messages postés
105
Date d'inscription
vendredi 20 juin 2008
Statut
Membre
Dernière intervention
31 mars 2011
-
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,

8 réponses

Messages postés
105
Date d'inscription
vendredi 20 juin 2008
Statut
Membre
Dernière intervention
31 mars 2011
14
je pense oui, tu demontre C en partant de C et remontant les dependances
pour arriver a E & F => D
or E et F are true so D is true etc...

ton but est d'ecrire l'ago du backward chaining ?
2
Messages postés
365
Date d'inscription
dimanche 11 mars 2007
Statut
Membre
Dernière intervention
23 septembre 2010
23
Supposant que je veux un backward chaining de:

R1: A et B -> C
R2: F et D -> A
R3: D et E -> B
R4: B et D -> F
R5: E et F -> D

BFi: E,F
demontrer C

chainage arriere:
{A,B}=>C
{F,D}=>A
{D,E}=>B
{B,D}=>F
{E,F}=>D

est il correcte??
1
Messages postés
105
Date d'inscription
vendredi 20 juin 2008
Statut
Membre
Dernière intervention
31 mars 2011
14
Se que j'en ai compris, si je me trompe reprenez moi

les fais I, S, B sont en fait tes variables connue comme vraies
et le forward chaining c'est quand on part des fais pour arriver a une solution
donc en partant de se que tu connais tu valide ou invalide les variables intermediaire
genre S et B -> T comme S et B sont true alors T est true...

j'espere que cela te parle ;)
have fun
0
Messages postés
365
Date d'inscription
dimanche 11 mars 2007
Statut
Membre
Dernière intervention
23 septembre 2010
23
Si le chainage avant en largeur signifie la recharche dans cette ordre (R1->R2->R3->R4...) et en profondeur : (R1->R3->R5->R2->R4..)
Est ce qu'on dois repondre par:
En largeur:
R1 contient B,D,E, et D,E n'existe pas dans la liste des faits(I,S,B,H), alors on passe à R2, A n'existe pas aussi, en passe à R3... jusqu'à ce qu'on arrive à R5, S et B existe donc on ajoute T à la liste de base:
{I,S,B,H}=>{I,S,B,H,T}, mais jusqu'a quand je m'arrete?? et est ce que j'ai dis est correcte??


Merci
0
Messages postés
105
Date d'inscription
vendredi 20 juin 2008
Statut
Membre
Dernière intervention
31 mars 2011
14
heuu tu veux pas mettre l'ennonce en entier ?
parce que le chainage avec le parcours en largeur et profondeur s'pplique a des graphes
mais la tu donne qu'une list de formules propositionels...

sinon ton raisonnement me semble juste.
0
Messages postés
365
Date d'inscription
dimanche 11 mars 2007
Statut
Membre
Dernière intervention
23 septembre 2010
23
C'est quoi la difference entre chainage avant en largeur et en profondeur???
0
Messages postés
365
Date d'inscription
dimanche 11 mars 2007
Statut
Membre
Dernière intervention
23 septembre 2010
23
OUI
0
Messages postés
105
Date d'inscription
vendredi 20 juin 2008
Statut
Membre
Dernière intervention
31 mars 2011
14
Humm aide toi des explication du genre wiki,
souvent ils te donnent l'algo ou les loi a suivre apres c'est assez simple d'en déduir l'algo...

https://en.wikipedia.org/wiki/Backward_chaining


j'espere que ca ta aidé ;)
0