next up previous
Next: Further reading Up: Procedural Knowledge Representations Previous: An Example

Representing How to Use Knowledge

Need to represent how to control the processing:

-- indicate the direction an implication could be used. E.g. To prove something can fly show it is a bird. fly(x) tex2html_wrap_inline7156 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.