Next: Further reading
Up: Procedural Knowledge Representations
Previous: An Example
Need to represent how to control the processing:
- direction
- - indicate the direction an implication could be used. E.g. To prove something can fly show it is a bird.
fly(x) 
bird(x).
- Knowledge to achieve goal
- - specify what knowledge might be needed to
achieve a specific goal. For example to prove something is a bird try using two
facts has_wings and has_feathers to show it.