Prev Up Next
Go backward to Solution to part (a)
Go up to 1 Models and Logical Consequences (ground)
Go forward to Solution to part (c)

Solution to part (b)

Give an interpretation that is not a model of the knowledge base.

There are lots of possibilities. Just choose a clause to be false, say the first one, and fill if the other variables arbitrarily.

The interpretation with a false, b and c true and all the other atoms true isn't a model of the knowledge base, as the first clause is false in this interpretation.

The interpretation with a false, b and c true and all the other atoms false isn't a model of the knowledge base, as the first (and seventh) clauses are false in this interpretation.


Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998

Prev Up Next