Encoding Knowledge with First Order Predicate Logic
Motivation: More Accurate and General Representations of Knowledge
Another Example
Terminology of the Predicate Calculus
Well-Formed Formulas
A Syllogism for Predicate Logic
Encoding the Syllogism
Proof by Resolution: (1) Negate the conclusion
Proof by Resolution: (2) Obtain Clause Form
Proof by Resolution: (3) Resolve
Formal Interpretations
Example of Interpretation
Satisfiability
Another Interpretation
The Basis of Proof by Resolution
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html