
05824670
j
2011b.00646
Cobo, Pedro
Fortuny, Josep M.
Puertas, Eloi
Richard, Philippe R.
Agentgeom: a multiagent system for pedagogical support in geometric proof problems.
Int. J. Comput. Math. Learn. 12, No. 1, 5779 (2007).
2007
Springer Netherlands
EN
G40
E50
U50
artificial tutorial system
multiagent system
pedagogical support
proof in geometry
proof problem
appropriation
interactions
doi:10.1007/s1075800791115
Summary: This paper aims, first, to describe the fundamental characteristics and workings of the AgentGeom artificial tutorial system, which is designed to help students develop knowledge and skills related to problem solving, mathematical proof in geometry, and the use of mathematical language. Following this, we indicate the manner in which a secondary school student can appropriate these abilities through interactions with the system. Our system uses strategic messages of the agent tutor in an argumentative process that collaborates with a student in the construction of a proof.