A tight integration of deductive and inductive learning

The paper presents a novel approach to combining deductive and inductive learning strategies in a flexible way. Our method is best described under the general heading ‘Explain and Compile’: by loosening our notion of an explanation, we arrive at a uniform learning framework which provides for a flexible combination of inductive and deductive tendencies. The algorithm was developed in the context of an interactive Learning Apprentice System for two-voice counterpoint composition.