Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems

Authors:
Noboru Matsuda;Toshio Okamoto
Affiliations:
-;-
Venue:
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Year:
1998

Citing 5
Cited 0

Acquisition of associative knowledge by the frustration-based learning method in an auxiliary-line problem

Knowledge Acquisition
Realization of a geometry-theorem proving machine

Computers & thought
A New Way for Visual Reasoning in Geometry Education

ITS '96 Proceedings of the Third International Conference on Intelligent Tutoring Systems
The geometry tutor

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Reasoning visually about spatial interactions

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new model of problem solver for geometric theorems with construction of auxiliary lines is 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.