Go up to Top
Go forward to Question 2

Question 1

Given the object-level knowledge base KB containing the clauses:

false <= a & b.
false <= c & d.
a <= p.
b <= r.
b <= e.
e <= p.
c <= f & r.
f <= g & p.
f <= q & s.
f <= u.

Suppose that the assumables are p, q, r, s, t and u.

What are all of the minimal conflicts? You will lose marks for omitting minimal conflicts and for giving things that are not minimal conflicts.
Give an SLD-resolution showing how how a delaying meta-interpreter can be used to find one of these minimal conflicts.

Extra question: suppose d were added as an object level fact. Show how this can be done. What are all of the minimal conflicts after d is added?