Simulated Student: Building Cognitive Model by Demonstration Noboru Matsuda School of Computer Science Carnegie Mellon University

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 2 CTAT Works great for the Example-Tracing Tutors –A cognitive model specific to a particular problem For Model-Tracing Tutors, the author must build a generalized cognitive model from scratch –Writing production rules is challenging –Also need a cognitive task analysis –Performing a task is much easier…

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 3 Simulated Students Machine learning agent that … –Observe model solutions –Learn problem-solving steps –Outputs a set of production rules Model of human students learning cognitive skills Programming by Demonstration Lau, T. A., & Weld, D. S. (1998). Programming by demonstration Blessing, S. B. (1997). A programming by demonstration authoring tool for model-tracing tutors } Both for correct and incorrect steps

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 4 Next Generation Authoring Build a tutor GUI Demonstrate a solution SimSt. learning Rule simplify-LHS: IFis-equation( Eq ), is-lhs( Eq, Lhs ), polynomial( Lhs ), all-var-terms( Lhs ) Thensimplify( Lhs, S-lhs ), enter( S-lhs ) Production Rules Rule simplify-LHS: IFis-equation( Eq ), is-lhs( Eq, Lhs ), polynomial( Lhs ), all-var-terms( Lhs ) Thensimplify( Lhs, S-lhs ), enter( S-lhs ) Rule simplify-LHS: IFis-equation( Eq ), is-lhs( Eq, Lhs ), polynomial( Lhs ), all-var-terms( Lhs ) Thensimplify( Lhs, S-lhs ), enter( S-lhs )

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 5

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 6 No Free Lunch Background knowledge –Operators –Feature predicates External Jess function written in Java (defrule multi-lhs … ?var22140 <- (column (cells ? ? ?var22143 ? ? ? ? ?)) ?var22143 <- (cell (value ?val0&~nil)) (test (fraction-term ?val0 )) => (bind ?val2 (denominator ?val0)) (bind ?input (mul-term-by ?val0 ?val2)) … )

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 7 Example: Stoichiometry Tutor

PSLC Summer Intern Seminar :: Noboru Matsuda :: July 11, 2006 Simulated Student Project 8 Learn more about Simulated Students Example Tutor (Equation) User’s Guide … and more would come soon Send to (Noboru)