| 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? |
|||||||||
