1.

Which is unique up to renaming of variables?(a) Unifier(b) Most general unifier(c) Unifier & Most general unifier(d) None of the mentionedThis 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

Answer»

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.



Discussion

No Comment Found

Related InterviewSolutions