Discussion :

[geeka]

bonsoir,
Voici les 2 formules à unifier : {p(x,y,g(a,a)), p(g(y,y),z,z)}
Dans l'étape 1, on a remplacé x/g(y,y).
Dans l'étape 2, on a remplacé z/y. Et c'est là le problème! Normalement, on remplace une variable par un terme, mais pourquoi prendre z comme variable et non pas y ??
Merci

[Trap D]

bonsoir,
Voici les 2 formules à unifier : {p(x,y,g(a,a)), p(g(y,y),z,z)}
Dans l'étape 1, on a remplacé x/g(y,y).
Dans l'étape 2, on a remplacé z/y. Et c'est là le problème! Normalement, on remplace une variable par un terme, mais pourquoi prendre z comme variable et non pas y ??
Merci

Quelles sont les formules que vous obtenez aux étapes 1 et 2 ?

[geeka]

bonsoir,
Etape 1:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 DS1= {x,g(y,y)}
 Têta1= {x/g(y,y)}
 STêta0Têta1= {p(g(y,y),y,g(a,a)),p(g(y,y),z,z)}

Etape2:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 DS2= {y,z}
 Têta1= {z/y}
 STêta0Têta1= {p(g(y,y),y,g(a,a)),p(g(y,y),y,y)}

DSi: l'ensemble des désaccords
Têta(i) : substitution (variable remplacée par un terme : v/t)
STêta(i):la nouvelle paire de formules

[Trap D]

Bonjour
Je ne suis pas spécialiste mais où est le problème ?
Que l'on remplace y par z ou z par y, ce sont deux variables dont le nom n'a pas d'importance.
Si je ne me trompe pas, il y a un troisième remplacement y/g(a,a) et on aboutit à la formule p(g(g(a,a), g(a,a)), g(a,aa), g(a,a)). et ceci que l'on fasse y/z ou z/y.

[geeka]

bonsoir,
Merci pour votre réponse
ça n'a donc pas d'importance, on peut même remplacer une variable par une variable ?

Il y a un autre problème en ce qui concerne le test d'occurrence (Occurrence Check : OC):
On contrôle si chaque variable v qui appartient à DS(k) apparaît dans un autre élément.
1) Dans le cas positif (OC>0) => la paire n'est pas unifiable.
2) Si OC<0, alors il existe v,t dans DS(k) et Têta(k+1)= {v/t}.

Dans l'exercice, OC est négatif, mais y ou z, n'apparaissent-ils pas plus d'une fois ?

[Trap D]

ça n'a donc pas d'importance, on peut même remplacer une variable par une variable ?

A mon avis oui , mais n'ayant suivi aucun cours théorique sur Prolog, mon avis n'est que purement personnel.

Il y a un autre problème en ce qui concerne le test d'occurrence (Occurrence Check : OC):
On contrôle si chaque variable v qui appartient à DS(k) apparaît dans un autre élément.
1) Dans le cas positif (OC>0) => la paire n'est pas unifiable.
2) Si OC<0, alors il existe v,t dans DS(k) et Têta(k+1)= {v/t}.

Dans l'exercice, OC est négatif, mais y ou z, n'apparaissent-ils pas plus d'une fois ?

Pour répondre il faudrait que je connaisse votre cours !