| Outline |
|
|
|
|
|
|
|
|
|
| l | Reducing
first-order inference to |
|||||||
| propositional
inference |
||||||||
| l | Unification |
|||||||
| l | Generalized Modus
Ponens |
|||||||
| l | Forward chaining |
|||||||
| l | Backward chaining |
|||||||
| l | Resolution |
|||||||
