| Knowledge
engineering in FOL |
|
|
|
|
|
|
|
|
|
|
|
| 1. | Identify the task |
|||||||||
| 2. | Assemble the
relevant knowledge |
|||||||||
| 3. | Decide on a
vocabulary of predicates, functions, |
|||||||||
| and constants |
||||||||||
| 4. | Encode general
knowledge about the domain |
|||||||||
| 5. | Encode a
description of the specific problem |
|||||||||
| instance |
||||||||||
| 6. | Pose queries to
the inference procedure and get |
|||||||||
| answers |
||||||||||
| 7. | Debug the
knowledge base |
|||||||||
