[ home
| schedule
| assignments
| projects
| resources
| handouts
| overview
| links
]
15-815 Automated Theorem Proving
Lecture 24: Parameter Variables
In this lecture we examine the role of parameters in the inverse
method, which requires another extension of unification than for
backwards reasoning. We also discuss factoring, which is necessary
to obtain a complete system for the inverse method in the presence
of variables.
Reading
- Pages 102-105 of Handout 15 on
Resolution
(also availabe in PDF format).
Key Concepts
- Parameter variable
- Parameter restriction
- Factoring
Links
[ home
| schedule
| assignments
| projects
| resources
| handouts
| overview
| links
]
Frank Pfenning
fp@cs