Explanation-based generalisation = partial evaluation

We argue that explanation-based generalisation as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well-known technique in the functional and logic programming literature. We show this equivalence by analysing the definitions and underlying algorithms of both techniques, and by giving a PROLOG program which can be interpreted as doing either explanation-based generalisation or partial evaluation.

Authors

• Frank Van Harmelen
• Alan Bundy Fausto Giunchiglia

Keywords

No keywords are indexed for this paper.