A poorly designed knowledge base can be as cryptic as an arbitrary program and just as difficult to maintain. Representing inference procedures abstractly, separately from domain facts and relations, makes the design more transparent and explainable. The combination of abstract procedures and relational language for organizing domain knowledge…

This survey of intelligent tutoring systems describes the components of these systems, different teaching scenarios, and the relation of these systems to a theory of instruction. It argues that the underlying pedagogical approach is to make latent knowledge manifest by using different forms of quantitative modeling: (1) simulating physical…