Further Reading

Mitchell, Keller, and Kedar-Cabelli unify explanation-based generalization and illustrate it with the functional cup example [ Mitchell et al. , 1986 ] ; Mooney and Bennett develop a domain-independent generalizer for proof and action explanations [ Mooney and Bennett , 1986 ] . The LEAP work introduced learning-apprentice systems for continuous acquisition from expert problem solving [ Mitchell et al. , 1985 ] , and the later synthesis develops explanation-based learning under incomplete domain theories [ Mahadevan et al. , 1993 ] . Abbeel and Ng provide the influential inverse-reinforcement-learning formulation of apprenticeship from expert demonstrations [ Abbeel and Ng , 2004 ] . Piaget and Inhelder’s conservation studies motivate acquisition of invariants across changing appearances [ Piaget and Inhelder , 1974 ] , while Drescher supplies a constructivist computational treatment of schema acquisition and revision [ Drescher , 1985 , 1991 ] .