+1 vote
in Artificial Intelligence by
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

1 Answer

0 votes
by
Right option is (c) Unification

To explain I would say: None.

Related questions

+1 vote
asked Oct 26, 2021 in Artificial Intelligence by DavidAnderson
+1 vote
asked Oct 26, 2021 in Artificial Intelligence by DavidAnderson
...