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.

- Propositional Calculus
- First Order Predicate Calculus
- We Turn to Prolog
- Prolog Constants
- Goals and Clauses
- Multiple Clauses
- Rules
- Semantics
- The Logical Variable
- Rules and Conjunctions
- Rules and Disjunctions
- Both Disjunctions and Conjunctions
- What You Should Be Able To Do

Mon May 24 20:14:48 BST 1999