The Geometry Tutor. The tutor for doing proofs in high school geometry consists of a cot of ideal and buggy rules (IRR), a tutor, and an interface. The IBR is responsible for ehiuertly computing matcher, to all the correct and incorrect rules The interface is responsible for interacting with the student and graphically representing the proof. The tutor is responsible for directing the IBR and interface to achieve a current tutorial strategy. The strategy wo employ involves tracing the student’s behavior in terms of what rules in the IBR it instantiates, correcting the student when behavior deviates below a minimum threshold, and helping the student over hurdles. While incomplete, current evidence indicates the geometry tutor is guite effective. The Advanced Computer Tutoring Project has been working on the development of intelligent computerhased tutors for mathematics and science subjects in the range of senior high-school to junior college. This paper describes the general framework that we have developed and its instantiation in the case of a tutor tor generating proofs in geometry. First, we will describe the general philosophy of out tutoring efforts. Second, we will describe the basic structure of the geometry tutor that we have built. Third, we will describe the ongoing efforts to evaluate the tutor.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Weber, Keith: Effective proof reading strategies for comprehending mathematical proofs (2015) MathEduc
- Weinberg, Aaron; Fukawa-Connelly, Tim; Wiesner, Emilie: Characterizing instructor gestures in a lecture in a proof-based mathematics class (2015) MathEduc
- Zazkis, Dov; Weber, Keith; Mejía-Ramos, Juan Pablo: Two proving strategies of highly successful mathematics majors (2015) MathEduc
- Mejia-Ramos, Juan Pablo; Fuller, Evan; Weber, Keith; Rhoads, Kathryn; Samkoff, Aron: An assessment model for proof comprehension in undergraduate mathematics (2012) MathEduc
- Richard, Philippe R.; Fortuny, Josep Maria; Gagnon, Michel; Leduc, Nicolas; Puertas, Eloi: Didactic and theoretical-based perspectives in the experimental development of an intelligent tutorial system for the learning of geometry (2011) MathEduc
- Narboux, Julien: A graphical user interface for formal proofs in geometry (2007)
- Pineda, Luis A.: Conservation principles and action schemes in the synthesis of geometric concepts (2007)
- Luengo, Vanda: Some didactical and epistemological considerations in the design of educational software: the cabri-euclide example (2005) MathEduc
- Anderson, John R.; Boyle, C. Franklin; Corbett, Albert T.; Lewis, Matthew W.: Cognitive modeling and intelligent tutoring. (1990) ioport
- Anderson, J. R.; Boyle, C. F.; Yost, G. (Carnegie-Mellon Univ., Pittsburgh, PA (USA). Advanced Computer Tutoring Project): The geometry tutor. Der Geometrietutor. (1986) MathEduc
- Coelho, Helder; Pereira, Luis Moniz: Automated reasoning in geometry theorem proving with Prolog (1986)