artificial-intelligence - 寻找对称表达的 MGU

Question

鉴于这对表达式，是否有可能为它找到一个 MGU？

1. f(x,y)
2. f(y,x)

我想说这是可能的，当 x/y 时，但我不确定这是否合法。你们怎么说？

谢谢！

Answer 1

是的，这些术语可以很容易地统一，产生断言 x=y 作为副作用。