Artificial Intelligence MCQ
Which makes the complexity of the entire algorithm quadratic in the size?
A)
Clause
B)
Inference
C)
Resolution
D)
Occur check

Correct Answer : Option (D) :   Occur check

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