Go up to 2 Interpretations and Models (with variables)
Go forward to Solution to part (b)
Solution to part (a)
Give one interpretation that is a model of KB.
D = {x,y} (this is true of all the interpretations.)
phi(a) = x, phi(b)=x, phi(c)=x.
pi(p)(<x>)=TRUE. pi(p)(<y>)=TRUE.
pi(q)(<x>)=TRUE. pi(q)(<y>)=TRUE.
Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998