Lifted inference rules require finding substitutions that make different logical expressions looks identical.
(a) Existential Instantiation
(b) Universal Instantiation
(c) Unification
(d) Modus Ponen
This question was posed to me during an interview.
The origin of the question is Inference in First-Order Logic topic in section 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