The use of abstraction in automatic inference

Informally, abstraction can be described as the process of mapping a representation of a problem onto a new representation. Unfortunately, work on abstraction has on the whole remained at this informal level. The paper describes the beginnings of a theory of abstraction.<
>