[IA] chainage avant

Résolu
progfann Messages postés 365 Date d'inscription   Statut Membre Dernière intervention   -  
Edwyn Messages postés 105 Statut Membre -
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,
Configuration: Windows XP
Firefox 3.5.7

8 réponses

  1. Edwyn Messages postés 105 Statut Membre 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
  2. progfann Messages postés 365 Date d'inscription   Statut Membre Dernière intervention   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
  3. Edwyn Messages postés 105 Statut Membre 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
  4. progfann Messages postés 365 Date d'inscription   Statut Membre Dernière intervention   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
  5. Vous n’avez pas trouvé la réponse que vous recherchez ?

    Posez votre question
  6. Edwyn Messages postés 105 Statut Membre 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
  7. progfann Messages postés 365 Date d'inscription   Statut Membre Dernière intervention   23
     
    C'est quoi la difference entre chainage avant en largeur et en profondeur???
    0
  8. progfann Messages postés 365 Date d'inscription   Statut Membre Dernière intervention   23
     
    OUI
    0