© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Relationships Between Entailment and Inference
•soundness - all inferences correct?
•completeness - all conclusions reachable?
KB Ö f
KB | f
complete
sound