Computational Intelligence - Problems for Chapter 2 -- Solution to part (b)

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.