Learning to solve problems by searching for macro-operators
Learning to solve problems by searching for macro-operators
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Explanation-Based Generalization: A Unifying View
Machine Learning
Learning effective search heuristics
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Cognitive economy in artificial intelligence systems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Automating program speedup by deciding what to cache
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Selectively generalizing plans for problem-solving
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Verification-based learning: a generalisation strategy for inferring problem-reduction methods
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Learning by discovering macros in puzzle solving
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
An adaptitle interpreter for a programming language adapts to particular applications by learning from execution experience. This paper describes PROLEARN, a prototype adaptive interpreter for a subset of Prolog. It uses two methods to speed up a given program: explanation-based generalization and partial evaluation. The generalization of computed results differentiates PROLEARN from programs that cache and reuse specilic values. We illustrate PROLEARN on several simple programs and evaluate its capabilities and limitations. The effects of adding a learning component to Prolog can be summarized as follows: the more search and subroutine calling in the original query, the more speedup after learning; a learned subroutine may slow down queries that match its head but fail its body.