1.

Which is omitted in prolog unification algorithm?(a) Variable check(b) Occur check(c) Proposition check(d) Both Occur & Proposition checkThis question was addressed to me in final exam.This interesting question is from Backward Chaining topic in section Logical Agents of Artificial Intelligence

Answer» RIGHT option is (b) Occur check

Explanation: Occur check is omitted in PROLOG UNIFICATION algorithm because of unsound inferences.


Discussion

No Comment Found

Related InterviewSolutions