Knowledge representation and human-computer interaction in an intelligent tutor for diagnostic problem solving | IEEE Conference Publication | IEEE Xplore