Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems

Noboru Matsuda and Toshio Okamoto
In Proc. of the International Conference on Intelligent Tutoring Systems, pp.244-253, Springer (1998).

A new model of problem solver for geometry theorems with construction of auxiliary line in discussed.  The problem solver infers based on schematic knowledge with diagrammatic information (diagrammatic schema, DS for short).  The inference algorithm invokes forward and backward chaining.  The diagrammatic schema as well as the inference algorithm was designed through a series of observations of human problem solving.  This paper also describes that DS is beneficial for instructions, especially for teaching students how to draw auxiliary lines.

WinZip PDF format (3.3MB)

PDF format (uncompressed, 15.6MB)