0 votes
in Artificial Intelligence by
Which makes the complexity of the entire algorithm quadratic in the size?

(a) Clause

(b) Inference

(c) Resolution

(d) Occur check

This question was addressed to me in an interview for internship.

Origin of the question is Unification and Lifting 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
The correct option is (d) Occur check

Easiest explanation: Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified.

Related questions

0 votes
asked Oct 22, 2021 in Artificial Intelligence by DavidAnderson
+1 vote
asked Nov 22, 2021 in Artificial Intelligence by DavidAnderson
...