Question

Which process makes different logical expression looks identical?

(a) Lifting

(b) Unification

(c) Inference process

(d) None of the mentioned

I had been asked this question in unit test.

This intriguing question originated 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 option is (b) Unification

To explain: Lifted inference rules require finding substitutions that make different logical expression looks identical. This process is called unification.