The Geometry Tutor

Abstract

The tutor for doin[l proof s in high s ch o ol geometry c on si:.t s of '-' set of ic! e; JI a nd bu nnY rul es (IBn). a tutor, n ne! an int ( rl: 1cr;. Th e IBR i ~: rr.:;por 1s iblc fo r eli ic i cn ll y COlllfluting lll<Jlcll c:s to all the corr uc t ::md in c oncct rul e~<. Tlo r: int erf:.lce is ff;~;p or::;ib l c for int e r e~cl in g with thr! s tud e nt ;i ;-.rl uraphically re po esf: roting th e p roof. Th e tutor is nJspon,~ib l e for directinu the I OF: an d int e rface to achiev e a c urr e nt tutori al s trategy. The s tr atqw w e emp loy involvec. traci ng th e stud e nt':; be havior in te rm s of what rul es in the IBR it instantiates, correcting the s tud e nt wh e n l)eh:l'l inr deviat es be low a minimum tiH'e shold, and helpiro(J til e stud e nt o•Jer hmdle s. WhilE: incomplc•te, curre nt e•Ji d en ce indic ates ttHJ oe om e try tutor is quit e eff ec tive. Tho Aclvance c! Computer - Tut.:rin~J Proj t'ct r.as bef'n working on t:1 t: r! (' vdopmc nt of int c lli <Je llt corr.p \ ol ~ r - h a ,>e d t11t ors rvr no ;! lll ernatic;, and sc i ence ~; uiJj e cts in li :'-' ranq e of se ni or higtlsc l wo l to juni c r college . Thrs pap e r d csc rih e>s tilE, uen et al fram ew ork ll1at we hav e cJ c v l' lop ::c! :.1nd il ~' in s tantiation in th e CJ:;c ol a ttlior for gr'n c rat inq pr oo!s in W!Uillctry. First, w e will d esc ribe till-: gr::·neral pililo :> c' phy of our l•.:t lx ing effort s. Sec ond, we will d esc 1ibt ~ t11 e ba sic s tructure of lh· ~ g eo metry tutor tll at we have built. 1 hi re!, we will d P.s cr'be th e ong o inu effort s to e v;.~luate the tutor.