حل تشریحی سوال شماره 128 هوش مصنوعی

کدام یک از سه زوج عبارت زیر قابل یکسان سازی (Unification) هستند؟

(حروف کوچک متغیر و حروف بزرگ ثابت هستند)

1)P(F(y),y , x) and P(x, F(A), F(v))

2)Q(G(w), H(w , I(x, u))) and Q(G(v), H(u, v))

3)R(x, J(u, x)) and R(J(y, A), J(z, J(B, z)))