Question 1
Consider the language with constant symbols a, b and c, predicate
symbols p, q, and r, and the knowledge base KB that consists
of the clauses:
p(X) <- q(X).
p(Y) <- r(Y).
q(a).
r(b).
Suppose there are two individuals fred and mary.
- Give a model of KB where D={fred,mary}. You must specify phi
and pi.
- Give an interpretation with the same domain that
isn't a model of KB. You must specify phi
and pi.
- Give three atoms that are logical consequences of the
knowledge base.
- Give three atoms that are not logical consequences of the
knowledge base.
David Poole
