Edinburgh Research Explorer

Explanation-Based Generalisation = Partial Evaluation

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://www.sciencedirect.com/science/article/pii/0004370288900884
Original languageEnglish
Pages (from-to)401-412
Number of pages12
JournalArtificial Intelligence Journal
Volume36
Issue number3
DOIs
StatePublished - 1988

Abstract

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.

Download statistics

No data available

ID: 401341