Weapon II: Universal Patterns
Problem: At inference time, many algorithms
n
convert objects to propositions
n
recreate the repetition we wanted to avoid
Robinson [1965]:
Lifted
theorem proving
n
Do proof using variables
x
n
Only make distinctions about
x
that matter to proof