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.
dave@cs.cf.ac.uk