Go up to Top
Go forward to 2 Interpretations and Models (with variables)

1 Models and Logical Consequences (ground)

Given the knowledge base:

a <- b & c.
a <- g.
b <- d.
b <- f.
c <- e.
d <- h.
e.
f <- e.

where {a,b,c,d,e,f,g,h} is the set of all atoms.

Give a model of the knowledge base.
Give an interpretation that is not a model of the knowledge base.
Give two atoms that are logical consequences of the knowledge base.
Give two atoms that are not logical consequences of the knowledge base.

Solution to part (a)

Solution to part (b)

Solution to part (c)

Solution to part (d)

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