Relatie Algebra in een Intelligent Tutoring Systeem 1 April 2017 Esther Hageraats Student master BPMIT Faculteit Management, Science & Technology Examencommissie: L. Rutledge en S. Joosten
Studie en loopbaan 1982: VWO examen 1990: Vriend liet zien wat programmeren was 1991-1993: C-programmeur 1995 Administratie van software development Quality Assurance engineer 2005 CMM-auditor 2006 docent bij IT opleiding van Saxion 2008 2014 Bachelor bedrijfskunde 2014 2016 BPMIT Page 2
De context Page 3
Bedrijfsregels (1) Page 4
Bedrijfsregels (2) Page 5
Relatie Algebra voor Bedrijfsregels Regel: de koper en verkoper van hetzelfde ding moeten verschillende personen zijn Relatie Algebra is goed beschreven. De formaliteit geeft vertrouwen dat berekeningen kloppen. Pagina 6 Joosten, S.M.M. and S.J.C. Joosten, Type Checking by Domain Analysis in Ampersand, in Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal,
Ampersand genereert prototypes Page 7
Page 8
RAP2 voor/met bedrijfsregels Page 9 Michels, G., Development Environment for Rule-based Prototyping [THESIS]. 2015, Open Universiteit Nederland: Heerlen.
Onderzoeksvraag Hoe kan relatie algebra worden gebruikt om feedback te creëren voor studenten op hun model voor bedrijfsregels? Page 10
Belangrijkste bronnen en tools Veel literatuur over Intelligent Tutoring Systemen Gesprek met Hieke Keuning Proefscript van Gerard Michels bouwer RAP2 meta-model Ampersand XAMPP installatie Gitbook en de Ampersand Research Group Page 11
Embedded Case Study Ontwerp Oefeningen om te leren modelleren in Ampersand Page 12
Embedded Case Study Ontwerp Meta-model Gebaseerd op Michels, G., Development Environment for Rule-based Prototyping [THESIS]. 2015. 5 oefeningen: Opdracht Referentiemodel Regels om het studentmodel te beoordelen Studentmodellen (correct en incorrect) Hoe goed identificeren de regels de problemen in het studentmodel? Page 13
Meta-model Gebaseerd op het bestaande meta-model voor RAP2 Page 14
Meta-model Gebaseerd op het bestaande meta-model voor RAP2 Referentie model INJ, SUR = beperking van de case study Page 15
Probleem VERIFIEERBAARHEID Page 16
Het probleem van verifieerbaarheid Page 17
Classificatie van educatieve problemen Page 18 Le, N.-T., F. Loll, and N. Pinkwart, Operationalizing the continuum between well-defined and ill-defined problems for educational technology. Learning Technologies, IEEE Transactions on, 2013.
Ampersand modeleer-problemen Casus à verifieerbaar? Alleen aantal concepten Class 5 Concepten vast 2b: Alleen aantal relaties 2a: Relaties vast Aantal en naam van concepten = strategie Page 19
Embedded Case Study Ontwerp Regel Beschrijving Class 2/ Rule-only Class 2/ Rule-rel Class 3 1 Identieke Namen X 2 Identieke Bron X 3 Gerelateerde Concepten X X 4 Antecedent X X X 5 Anoniem Model X Page 20
Voorbeeld 1 GERELATEERDE CONCEPTEN Page 21
Gerelateerde concepten (1) Oefening: Definieer 2 relaties tussen de gegeven concepten en definieer 1 regel die stelt dat koper en verkoper van een ding niet dezelfde persoon kunnen zijn. Persoon Ding Class 2/Rule-rel Concepten zijn gegeven Student maakt relaties en regels Page 22
Gerelateerde concepten (2) Verifieerbaarheid: Elk patroon heeft een beperkt aantal typerende oplossingen Page 23
Gerelateerde concepten (3) Regel: Twee concepten die gerelateerd zijn in het studentmodel zijn ook gerelateerd in het referentiemodel. Page 24
Pagina 25
Pagina 26
Voorbeeld 2 PATRONEN VOOR REGELS Page 27
Antecedent/Consequent (1) Veel voorkomend patroon: Alle relatie expressies in een regel staat aan één kant. De constante I of V aan de andere kant. Page 28
Antecedent/Consequent (2) Regel: Alle relatie expressies in de regel moeten aan één kant staan, in de antecedent of de consequent. Page 29
Antecedent/Consequent (3) RULE "at_one_side": (sant;sant~) - -(scons;scons~) VIOLATION (TXT "Rule '", SRC I, TXT "' has relation terms in both the antecendent and consequent.") Pagina 30
Voorbeeld 3 ANONIEM MODEL Page 31
Verifieerbaarheid van classe 3 Alleen het aantal concepten is gegeven Verifieerbaarheid Het aantal typerende oplossingen is bekend Page 32
Anoniem model (1) Oefening: Definieer een model met 3 concepten om te controleren of de straat waar iemand woont, bestaat in de stad waar deze persoon is geregistreerd. Patroon: 3 concepten, 3 relaties, elk concept is gerelateerd met de 2 andere concepten. Page 33
Anoniem model (3): 5 regels voor een patroon Regels : Drie concepten Drie relaties Geen endo-relaties Unieke sign Geen flipped sign Page 34
Anoniem model (4) Relaties nextrelation en nextconcept om te kunnen tellen Page 35
Pagina 36
CONCLUSIE Page 37
Conclusie Hoe kan relatie algebra worden gebruikt om feedback te creëren voor studenten op hun model voor bedrijfsregels? 1. Meta-model, referentiemodel en regels 2. Niet alle varianten die studenten kunnen bedenken worden herkend. Dit is gebruikelijk bij ITS-en. 3. Het meta-model kan worden uitgebreid voor meer regels. 4. Conditionele feedback is niet mogelijk. Page 38
Discussie: mogelijk, ook wenselijk? Bedrijfsregels om een leerproces te ondersteunen Bedrijfsproces leerproces Scaffolding is tijdelijk, bedrijfsregels niet Advies: Bouw het Ampersand-ITS met Haskell Advies: Maak oefeningen voor class 2 en class 3 Toekomstig onderzoek: Patronen voor Ampersand modellen Didactisch onderzoek: analyse van gegevens in RAP2 Page 39
Vragen? e.m.hageraats@saxion.nl e.hageraats@home.nl http://portal.ou.nl/web/informatica ou.nl/informatica Page 40