next up previous
Next: Procedural Knowledge Up: Knowledge Representation Previous: Inheritable knowledge

Inferential Knowledge

Represent knowledge as formal logic:

All dogs have tails tex2html_wrap_inline7154 : dog(x) tex2html_wrap_inline7156 hasatail(x) Advantages:





dave@cs.cf.ac.uk