Knowledge Acquisition Driven by Constructive and Interactive Induction