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…

Arguing that an explicit representation of the problem-solving method of an expert system shell as abstract control knowledge provides a powerful foundation for learning, this paper describes the abstract control knowledge of the Heracles expert system shell for heuristic classification problems, and describes how the Odysseus apprenticeship…

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…

Discusses the development and field testing of a prototype genetics tutor program for microcomputers written in Turbo Pascal. A preliminary field test with undergraduates is described that was used as formative evaluation, and suggestions are given for designing a more effective tutor that uses additional intelligent computer-assisted instruction…