© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Propositional KB and
Inference
•
entailment
- whether a sentences follows
from other sentences
•
inference rules
- deduce new sentences
from old sentences
•
soundness
- what can be inferred is entailed
•
completeness
- what is entailed can be
inferred
