A Framework for Evaluating Semantic Knowledge in Problem-Solving-Based Intelligent Tutoring Systems