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.)
Example
Logical Inferences Per Second
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
Download presentation source