Go up to Top
Go forward to Question 2

Question 1

Given the knowledge base

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

where {a,b,c,d,e,f,g} 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.