| Applying
inference rules |
|
|
|
|
|
| KB: |
||||
| B, A D C, |
||||
| B F |
||||
|
|
|
|
|
|
|
| Equivalent to a
search |
||||||
| problem |
||||||
| n | KB state = node |
|||||
| n | Inference rule |
|||||
| application =
edge |
||||||
|
|
|
|
|
| KB: |
||||
| B, A D C, |
||||
| B F, A |
||||
|
|
|
|
|
| KB: |
||||
| B, A D C, |
||||
| B F, F |
||||
