AI has appeared in education for about twenty years, mainly in the format of intelligent tutoring systems []<see, for example, Proceedings of International Conference on Intelligent Tutoring Systems; Proceedings of International Conference on AI and Education; and>sleeman82,wenger87. Briefly, AI tutoring systems comprise educational software that teaches certain subjects (such as algebra) to users. Such systems use AI to access individual users' weaknesses and knowledge, building up user profiles or models and adjusting materials and teaching styles along the way.
As far as we know, very little has been done in teaching AI principles and methods as the content in AI tutoring systems, or any education systems. The work presented here seems to be quite unique.