next up previous contents
Next: Propositional Calculus Up: Prolog Programming A Previous: A Request

Knowledge Representation


How do we represent what we know? The simplest analysis requires that we distinguish between knowledge how --procedural knowledge such as how to drive a car--- and knowledge that ---declarative knowledge such as knowing the speed limit for a car on a motorway.

Many schemes for representing knowledge have been advanced ---including full first order predicate logic. The strong argument for classical (first order predicate) logic is that it has a well understood theoretical foundation.

Paul Brna
Mon May 24 20:14:48 BST 1999