Almost all k-colorable graphs are easy to color
Journal of Algorithms
Explanation-based learning: a problem solving perspective
Artificial Intelligence
A structural theory of explanation-based learning
A structural theory of explanation-based learning
Why EBL produces overly-specific knowledge: a critique of the PRODIGY approaches
ML92 Proceedings of the ninth international workshop on Machine learning
ParamILS: an automatic algorithm configuration framework
Journal of Artificial Intelligence Research
Integrating heuristics for constraint satisfaction problems: a case study
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Hi-index | 0.00 |
This paper describes how meta-level theories are used for analytic learning in MULTI-TAC. MULTI-TAC operationalizes generic heuristics for constraint-satisfaction problems, in order to create programs that are tailored to specific problems. For each of its generic heuristics, MULTI-TAC has a meta-theory specifically designed for operationalising that heuristic. We present examples of the specialisation process and discuss how the theories influence the tractability of the learning process. We also describe an empirical study showing that the specialised programs produced by MULTITAC compare favorably to hand-coded programs.