Unification

4/23/02


Click here to start


Table of Contents

Unification

Modus Ponens

Modus Ponens in the Predicate Calculus

Substitutions

Unifiers

The Occurs Check

Generality of Unifiers

Most General Unifiers

Finding a Most-General Unifier

Finding an MGU (Cont.)

Finding an MGU (Cont.)

Example

Logical Inferences Per Second

Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

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

Download presentation source