B.E. Computer Science and Engineering Ucs1504 Artificial Intelligence 2020-2021 31-10-2020 AN
B.E. Computer Science and Engineering Ucs1504 Artificial Intelligence 2020-2021 31-10-2020 AN
Part C (1 × 10 = 10 marks)
construct a resolution refutation, showing variable renaming and mgu’s which do not pro-
duce ground clauses.