A Variety of Intelligent Learning In A General Problem Solver