1 The Pépite project Élisabeth Delozanne, Paris Universitas, UPMC D. Prévit, B. Grugeon, F. Chenevotot Automatic Multi-criteria Assessment of Open-Ended.

Slides:



Advertisements
Similar presentations
Schema Matching and Query Rewriting in Ontology-based Data Integration Zdeňka Linková ICS AS CR Advisor: Július Štuller.
Advertisements

Visual Scripting of XML
Technology from seed Automatic Equivalence Checking of UF+IA Programs Nuno Lopes and José Monteiro.
© 2009 IBM Corporation July, 2009 | PADTAD Chicago, Illinois A Proposal of Operation History Management System for Source-to-Source Optimization.
Fast Algorithms For Hierarchical Range Histogram Constructions
TENCompetence Assessment Model, Related Tools and their Evaluation Milen Petrov, Adelina Aleksieva-Petrova, Krassen Stefanov, Judith Schoonenboom, Yongwu.
1 Draft of a Matchmaking Service Chuang liu. 2 Matchmaking Service Matchmaking Service is a service to help service providers to advertising their service.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
EXPERT SYSTEMS Part I.
Introduction Using the Pythagorean Theorem to solve problems provides a familiar example of a relationship between variables that involve radicals (or.
Building Knowledge-Driven DSS and Mining Data
31 st October, 2012 CSE-435 Tashwin Kaur Khurana.
USING SOFTWARE METRICS IN EDUCATIONAL ENVIRONMENT Ivan Pribela, Zoran Budimac, Gordana Rakić.
Efficient design of interpretation of REL license using Expert Systems Chun Hui Suen, Munich University of Technology, Institute for Data Processing.
EPSII 59:006 Spring Topics Using TextPad If Statements Relational Operators Nested If Statements Else and Elseif Clauses Logical Functions For Loops.
Chapter Seven Advanced Shell Programming. 2 Lesson A Developing a Fully Featured Program.
Project START System MARS(a new generation 32-bit computer) (1990) Kronos processor2 microprocessor standard cards OS Excelsior LabtamKronos Compilers.
Made with Protégé: An Intelligent Medical Training System Olga Medvedeva, Eugene Tseytlin, and Rebecca Crowley Center for Pathology Informatics, University.
A Review of Recursion Dr. Jicheng Fu Department of Computer Science University of Central Oklahoma.
1 CSC 427: Data Structures and Algorithm Analysis Fall 2011 See online syllabus (also available through BlueLine): Course goals:
Math rigor facilitating student understanding through process goals
AToM 3 : A Tool for Multi- Formalism and Meta-Modelling Juan de Lara (1,2) Hans Vangheluwe (2) (1) ETS Informática Universidad Autónoma de Madrid Madrid,
Introduction to Computational Linguistics Programming I.
What toolbox is necessary for building exercise environments for algebraic transformations Rein Prank University of Tartu
Intelligent Database Systems Lab Presenter : WU, MIN-CONG Authors : Jorge Villalon and Rafael A. Calvo 2011, EST Concept Maps as Cognitive Visualizations.
My talk describes how the detailed error diagnosis and the automatic solution procedure of problem solving environment T-algebra can be used for automatic.
ORDER OF OPERATIONS x 2 Evaluate the following arithmetic expression: x 2 Each student interpreted the problem differently, resulting in.
CITA 330 Section 6 XSLT. Transforming XML Documents to XHTML Documents XSLT is an XML dialect which is declared under namespace "
RELATIONAL FAULT TOLERANT INTERFACE TO HETEROGENEOUS DISTRIBUTED DATABASES Prof. Osama Abulnaja Afraa Khalifah
Variables, operators, canvas, and multimedia Dr. José M. Reyes Álamo.
LEARNING DISABILITIES IMPACTING MATHEMATICS Ann Morrison, Ph.D.
Distribution of Student Mistakes between Three Stages of Solution Steps in Case of Action-Object-Input Solution Scheme Dmitri Lepp University of Tartu.
C++ Programming Language Lecture 2 Problem Analysis and Solution Representation By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department.
Teresa Farran Lecturer ICT & Mathematics Education Using an ILS to support learning of numeracy and basic algebra.
Chapter 1 - Fundamentals Equations. Definitions Equation An equation is a statement that two mathematical statements are equal. Solutions The values.
CS62S: Expert Systems Requirements Specification and Design Based on Chap. 12: The Engineering of Knowledge-based Systems: Theory and Practice, A. J. Gonzalez.
VLDB Demo WISE-Integrator: A System for Extracting and Integrating Complex Web Search Interfaces of the Deep Web Hai He, Weiyi Meng, Clement Yu, Zonghuan.
SOLVING SYSTEMS ALGEBRAICALLY SECTION 3-2. SOLVING BY SUBSTITUTION 1) 3x + 4y = 12 STEP 1 : SOLVE ONE EQUATION FOR ONE OF THE VARIABLES 2) 2x + y = 10.
Linguistic Markers to Improve the Assessment of students in Mathematics: An Exploratory Study Sylvie NORMAND-ASSADI, IUFM de Créteil Lalina COULANGE, IUFM.
Goal: Solve linear equations.. Definitions: Equation: statement in which two expressions are equal. Linear Equation (in one variable): equation that.
 Solve and algebraic equation and provide a justification for each step.  Identify which property of equality or congruence is being used.
Propositional Calculus CS 270: Mathematical Foundations of Computer Science Jeremy Johnson.
LINGOT Project: Monitoring the Learning of Algebra according to Students’ Cognitive Profiles Élisabeth DELOZANNE CRIP5 (Paris 5) Brigitte GRUGEON-ALLYS.
OPERATIONS WITH DERIVATIVES. The derivative of a constant times a function Justification.
Cross Language Clone Analysis Team 2 October 13, 2010.
MM150 Unit 3 Seminar Agenda Seminar Topics Order of Operations Linear Equations in One Variable Formulas Applications of Linear Equations.
1.3 Solving Linear Equations
1 Knowledge Acquisition and Learning by Experience – The Role of Case-Specific Knowledge Knowledge modeling and acquisition Learning by experience Framework.
Unit 5: Properties of Logarithms MEMORIZE THEM!!! Exponential Reasoning [1] [2] [3] [4] Cannot take logs of negative number [3b]
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
Data Management Seminar, 8-11th July 2008, Hamburg WinW3S – Listing Students and Assigning Booklets.
Algebraic Proof Addition:If a = b, then a + c = b + c. Subtraction:If a = b, then a - c = b - c. Multiplication: If a = b, then ca = cb. Division: If a.
Bonus 1. Questions of reviewers  ISAC system ?  CAS et theorem prover  Lot of expertise  sure; Quality applications needs lot of expertise  Why a.
ModTransf A Simple Model to Model Transformation Engine Cédric Dumoulin.
LEARNING DISABILITIES IMPACTING MATHEMATICS Ann Morrison, Ph.D.
ME 142 Engineering Computation I Exam 3 Review Mathematica.
ANALYSIS PHASE OF BUSINESS SYSTEM DEVELOPMENT METHODOLOGY.
Problem Solving. Definition Basic intellectual process that has been refined and systemized for the various challenges people face.
George Goguadze, Eric Andrès Universität des Saarlandes Johan Jeuring, Bastiaan Heeren Open Universiteit Nederland Generation of Interactive Exercises.
Identifying “Best Bet” Web Search Results by Mining Past User Behavior Author: Eugene Agichtein, Zijian Zheng (Microsoft Research) Source: KDD2006 Reporter:
Reasoning with Properties from Algebra Algebraic Properties of Equality let a, b, and c be real numbers. Addition Property: If a=b, then a+c=b+c. Subtraction.
From Errors to Stereotypes: Different Levels of Cognitive Models in School Algebra  Élisabeth DELOZANNE (CRIP5 Paris 5) Christian VINCENT (Math teacher)
IMPACT SAMR Cover Sheet Task OverviewLearning Objective(s)Suggested Technology Create a word problem using the Tellagami app. Use the distributive property.
Algebra 1 Foundations, pg 187 Focus Question How is solving an inequality with addition or subtraction similar to solving an equation?  You can use the.
On the Relation Between Simulation-based and SAT-based Diagnosis CMPE 58Q Giray Kömürcü Boğaziçi University.
Architecture Components
Other Kinds of Arrays Chapter 11
Towards Automatic Model Synchronization from Model Transformation
Practice Quarter 1 Assessment
Presentation transcript:

1 The Pépite project Élisabeth Delozanne, Paris Universitas, UPMC D. Prévit, B. Grugeon, F. Chenevotot Automatic Multi-criteria Assessment of Open-Ended Questions: a case study in school algebra ITS’2008

Cognitive modeling authoring tool  Problem  Multi-step reasoning, multiple equivalent reasonings  Our approach 1.An expert teacher (or a researcher) defines diagnosis exercises 2.A cognitive engineer implements templates that generalize these particular diagnosis exercises 3.A teacher clones these diagnosis exercises by filling template forms 4.A domain specific application generates the clone and a set of plausible correct and incorrect anticipated solutions matches the student’s reasoning with anticipated solutions 2

Outline  An introductory example  Pépite : a specific diagnosis tool  PépiGen : a system to clone Pépite  Author’s and Student’s points of view  Automatic Diagnosis  How does it work ?  Pépinière * Formal processing of expression trees  Conclusion 3 * in French : tree nursery

Blandine ValidityIncorrectV3 Use of lettersIncorrectL3 TranslationStep-by-step with incorrect chainsT4 Algebraic Expressions writing Incorrect use of parentheses with memory of meaning EA31 JustificationBy algebra using incorrect rulesJ3

Aliou ValidityIncorrectV3 Use of lettersNoL5 TranslationStep-by-stepT2 Algebraic writingNoEA? JustificationBy exampleJ2

Definitions  Diagnosis exercise  An exercise (statement and user interface)   an analysis grid to assess every plausible solution anticipated by experts  Clone  A similar exercise has the same kind of statement and user interface gives the same kind of information on students’ competence  an analysis grid to assess every plausible solution automatically generated by the system 6

PépiGen  A system to clone the Pépite diagnosis tool  An author (a teacher)  Chooses an exercise to be cloned  Enters the statement of the clone  PépiGen generates  The student’s interface  Each plausible solution (correct or incorrect) and its assessment on several dimensions 7

The Author’s interface 8

The Student’s interface 9

The Automatic Diagnostic 10

Outline An introductory example Pépite : a specific diagnosis tool PépiGen : a system to clone Pépite  How does it work ?  Pépinière  Expanding the tree of plausible steps of correct and incorrect algebraic transformations  Walking through the tree to anticipate different solutions and their assessment  Diagnosing the student’s reasoning  Conclusion 11

Plausible steps (x+6)*3-3x -2x x+18-3x x*3+6*3-3xx+6*3-3x 3x+18-3x 18x 21x-3x R1 R3 R2 R4 R3 21x-3x 18x R5 Correct rules R1 : (A+B)C AC+BC R3 : AB+AC A(B+C) R2: (A+B)C A+BC R4: AB+C B(A+C) R5: A+B*C (A+B)*C Incorrect rules 18 R3 R4 V1,EA1V3,EA42 V3,EA31 V3,EA31EA42 V3,EA32

Analysis grid generation  PépiGen 1.sends the algebraic expression to Pépinière that returns a tree of plausible steps Validity and Algebraic Expression Writing 2.completes the plausible solutions set with Non optimal algebraic 3.completes each solution assessment on the 5 dimensions V, EA, L, T, J 4.saves each algebraic solution and its assessment XML file : solution analysis grid  Note :  arithmetic reasonings are analyzed by the diagnosis system 13

Analysis grid (extract) (…) Algebraic proof ; the student interprets the statement as an equation V2,EA1,L1,T1,J1 (x+6)*3-3*x = 18 x*3+6*3-3*x = 18 C,3 x*3+18-3*x = = 18 14

Automatic diagnosis XM L Diagnosis system loaded Expressions Tree processor Pépinière Equivalent expression tree ? True/False save XM L Analysis grid XM L Student’s reasoning loaded Student’s reasoning+ assessment

Diagnosis algorithm  Numerical or algebraic approach?  Loop on each expression of the student’s reasonning  Build the expression tree (ST)  Loop on each Plausible solution in the analysis grid Build the expression tree (PT) If numerical approach -substitute the numerical value in PT If ST  PT -keep :PT, the rule and the comment and stop  At the end  walk through PT to set up the final assessment  save the final assessment, the comment and the applied rules 16

Results and tests  On going work  A demonstration prototype implements a complex exercise cloning  Authoring clones  Solving  Diagnosing  Preliminary Tests  assessment of a corpus of 141 students’ solutions Multi-step reasoning Multiple equivalent reasonings  3 teachers tested it in the lab 17

Discussion  Diagnosis  compared with model tracing ≈Tree of plausible steps: correct and incorrect rules ≠Emphasis : whole reasoning/step-by-step ≠Several student’s types of reasoning derived from a single solution branch ≠Multidimensional assessment  Authoring  Filling template forms - Limited to specified exercises  Automatic multidimensional diagnosis validated by experts  No programming, no modeling for teachers 18

Automatic Multi-criteria Assessment  Our proposal  Teachers clone a diagnosis tool previously designed by experts  The cloning process relies on A preliminary educational study in the domain An implementation of templates of diagnosis exercises A specific application to analyze reasonings that are not pre-formated  Demo: Friday afternoon  19