Cooperative Agents to Learn Mathematical Proof
Vanda Luengo · EdMedia: World Conference on Educational Media and Technology · 1999
We propose educational software for teaching mathematical proof. The association between the agents allowsthe student to work on the problem resolution, construct the conjectures and produce mathematical proof.These agents can communicate to understand the student’s work but not to impose one or more particularsolutions. The interaction between the agents and the student allows the evolution of the knowledge thanks tothe capacities of the agents to adapt themselves to this evolution.The student can interact with three agents in the construction of the proof: Cabri-geometre I (Laborde 1985),Cabri-Euclide (Luengo 1997), and Cabri-Graphe (Carbonneaux 1995).The text agent executes the verification on the consistency of the proof construction and is able to makerefutations about deductive proof. Text agent can communicate with the agent figure for produce the counter-examples. The student can ask the agent about the reasoning produced. The graph agent is a representation ofthe text proof.