460 likes | 899 Views
LIPSTICK. Creation and Analysis of a Problem Space Based on No-Feedback Exercises. Michael Bellem. Overview. Motivation / Goals Problem Solution / LIPSTICK Evaluation LIPSTICK Demo Discussion. Overview. Motivation / Goals Problem Solution / LIPSTICK Evaluation LIPSTICK Demo
E N D
LIPSTICK Creation and Analysis of a Problem Space Based on No-Feedback Exercises Michael Bellem
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • LIPSTICK Demo • Discussion
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • LIPSTICK Demo • Discussion
Motivation / Goals • Analyze students’ problem solving behavior • Level of detail: exercise micro structure • Visualize it! • High-level overview + details • Use ActiveMath’s OpenMath-, metadata • Simplify complex problem spaces using contexts
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • LIPSTICK Demo • Discussion
Problem • Extract information from user logs • Build individual problem spaces • Merge problem spaces • Display problem space • Collapse problem space
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Behavior Graphs • Workflow • Node / Edge Merging • Graph Collapsing • Contexts • Evaluation • LIPSTICK Demo • Discussion
Solution / LIPSTICK • Log based • Interactive • Problem Space • Tool Incorporating a • Context Kit
Solution / LIPSTICK • Behavior Graphs Start 2 1 1+3 3+1 1 1 1 5 4 2 1 Finish
Solution / LIPSTICK • Node attributes: • ID • plainFormula • OMFormula • userID • exerciseID • mergeTarget • representedNodes
Solution / LIPSTICK • Edge attributes: • ID • userID • exerciseID • traversalCount • accumulatedTraversalCount • mergeTarget • representedEdges
Solution / LIPSTICK • Workflow: • Chose log files to import • Exercise IDs extracted, displayed • Select Exercise ID • Logs filtered and converted to GraphML (via XSL) • GraphML files loaded using prefuse • Subgraphs merged • Interactive graph + statistics displayed • Select context • Collapse graph by merging equivalent nodes
Solution / LIPSTICK GraphML + XSL +prefuse prefuse, custom Collapsing, contexts Merging XML logs XML logs prefuse graphs merged prefuse graph prefuse, custom
Solution / LIPSTICK • Node / Edge Merging: • Node formulas equivalent merge • Requires redirecting / merging edges • Want to keep “merge victims”
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 5 4 4 1 1 1 Finish
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 5 4 4 1 1 1 Finish
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 5 4 4 1 1 1 Finish
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 5 4 4 1 1 1 Finish
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 1 5 4 4 1 1 1 Finish
Solution / LIPSTICK Start 1 1 1 1+3 1+3 3+1 1 1 1 1 1 5 4 4 1 2 1 Finish
Solution / LIPSTICK • Graph Collapsing: • Merge all “equivalent” nodes • Equivalency relation determined by user, e.g. CAS
Solution / LIPSTICK Start 3 1+3 2 1 5 2 1 Finish
Solution / LIPSTICK • Contexts: • Rule: checks equivalence • Context: set of rules, applied recursively • Programmers can create new rules • Users can define new contexts Basic Context Associativity Commutativity Distributivity
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • Basis: No-Feedback Exercises • Graph Collapsing: Quantitative / Qualitative • Runtimes • Improvements • LIPSTICK Demo • Discussion
Evaluation • No-Feedback Exercises: • Winter term 2005 • 10 students of basic seminar • 7 Exercises • No assistance from ActiveMath • Input several steps • Click finish, when you want
Evaluation • Quantitative: Syntactical equivalence
Evaluation • Associativity
Evaluation • Commutativity
Evaluation • YACAS
Evaluation • Qualitative: • Contexts should enable teachers / tutors to find good representations / simplifications
Evaluation • Runtimes: • Graph loading / saving fast • Importing logs slower:
Evaluation • Improvements: • Performance optimization • More stable CAS (or better usage?) • More equivalency rules • Different system of contexts? • Better formula renderer (or better usage?) • Exercise generation • Manual editing of the behavior graph • Port to Linux • Real-world evaluation
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • LIPSTICK Demo • Discussion
Overview • Motivation / Goals • Problem • Solution / LIPSTICK • Evaluation • LIPSTICK Demo • Discussion
Discussion • Questions? • Remarks? Thank You
Additional Topics • Related Work – Behavior Recorder: • Carnegie Mellon University • Displays behavior graphs • Live behavior recording from Cognitive Tutors • Exercise generation • Nice UI and graph layout • No complex formulas from Open Math • Hard to import ActiveMath logs