Explanation-based learning is using the same technique as partial evaluation, namely unfolding. However, it brings a new insight: an example can be used to guide the transformation process. In this paper, we further explore this insight and show how examples can be used to guide other kinds of program transformation, guiding not only the unfolding, but also the introduction of new predicates and the folding. On the other hand, we illustrate the more fundamental restructuring which is possible with program transformation and the relevance of completeness results to eliminate computationally inefficient knowledge.
CITATION STYLE
Bruynooghe, M., & De Schreye, D. (1989). Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 397 LNAI, pp. 60–77). Springer Verlag. https://doi.org/10.1007/3-540-51734-0_52
Mendeley helps you to discover research relevant for your work.