adplus-dvertising
Artificial Intelligence MCQ
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
A)
Modus Ponen
B)
Universal Instantiation
C)
Unification
D)
Existential Instantiation

Correct Answer : Option (C) :   Unification

Explanation : Refer the definition if universal instantiation.