A Variety of Intelligent Learning in a General Problem Solver