© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Propositional Logic Inference
Can use propositional logic inference rules
of Figure 6.13, or
Can convert to CNF and do
resolution
theorem proving
Example:
KB = {P, P
ή
Q, Q
ή
R}
Does this infer R?
