CS322, Fall 1997 - Practice Final -- Answer to question 1, extra question

Go backward to Answer to Question 1, part 2
Go up to Question 1

Answer to question 1, extra question

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?

d is added as an object-level fact by adding:

d <= true.

With this clause added, there are 3 minimal conflicts: {p}, {q,s,r}, and {u,r}.

Note again that there are other conflicts, such as {g,p,r}, but these are not minimal, as there is a subset that is also a conflict.