InterviewSolution
Saved Bookmarks
| 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. |
|