© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Entailment
•
entailment
- whether a sentences follows
from other sentences
–
KB
Ö
f
means knowledge base KB
entails
formula
f
–
If a truth assignment that satisfies all sentences
in KB also satisfies formula
f
,
f
is entailed by
KB
