© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Inference
•
inference rules
- deduce new sentences
from old sentences
–
KB
|
f
means knowledge base KB
infers
or
proves
formula
f
–
If there are a set of inference actions which
derive the truth of formula
f
from the sentence
in KB,
f
is inferred by KB
