Question

Which is unique up to renaming of variables?

(a) Unifier

(b) Most general unifier

(c) Unifier & Most general unifier

(d) None of the mentioned

This question was addressed to me in a national level competition.

My doubt is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence

Select the correct answer from above options

Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience

Answer 1

Right answer is (b) Most general unifier

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