**Go backward to **Solution to part (a)

**Go up to **2 Interpretations and Models (with variables)

**Go forward to **Solution to part (c)

## Solution to part (b)

*Give one interpretation that is not a model of **KB*.
Both clauses of KB are false in the following interpretation:

*D = {x,y}*

*phi(a) = x*, *phi(b)=x*, *phi(c)=x*.

*pi(p)(<x>)=TRUE.* *pi(p)(<y>)=FALSE.*

*pi(q)(<x>)=FALSE.* *pi(q)(<y>)=TRUE.*

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