Encoding Knowledge with First Order Predicate Logic

4/26/00


Click here to start


Table of Contents

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

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

Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html