| Outline:
PL Inference |
|
|
|
|
|
|
|
|
|
|
| n | Enumerative
methods |
||||||||
| n | Resolution in
CNF |
||||||||
| n | Sound and
Complete |
||||||||
| n | Forward and
Backward Chaining using |
||||||||
| Modus Ponens in
Horn Form |
|||||||||
| n | Sound and
Complete |
||||||||
