Pixie: a shell for developing intelligent tutoring systems