Expert systems for educational diagnosis: an experiment with THEORIST