Artificial Intelligence MCQ
Which is unique up to renaming of variables?
A)
Most general unifier
B)
Unifier
C)
Unifier & Most general unifier
D)
None of the above

Correct Answer : Option (A) :   Most general unifier

Explanation : For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables.