Relatie Algebra in een Intelligent Tutoring Systeem

Maat: px

Weergave met pagina beginnen:

Download "Relatie Algebra in een Intelligent Tutoring Systeem"

Juliaan Smets
5 jaren geleden
Aantal bezoeken:

1 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

2 Studie en loopbaan 1982: VWO examen 1990: Vriend liet zien wat programmeren was : C-programmeur 1995 Administratie van software development Quality Assurance engineer 2005 CMM-auditor 2006 docent bij IT opleiding van Saxion Bachelor bedrijfskunde BPMIT Page 2

3 De context Page 3

4 Bedrijfsregels (1) Page 4

5 Bedrijfsregels (2) Page 5

6 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,

7 Ampersand genereert prototypes Page 7

8 Page 8

9 RAP2 voor/met bedrijfsregels Page 9 Michels, G., Development Environment for Rule-based Prototyping [THESIS]. 2015, Open Universiteit Nederland: Heerlen.

10 Onderzoeksvraag Hoe kan relatie algebra worden gebruikt om feedback te creëren voor studenten op hun model voor bedrijfsregels? Page 10

11 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

12 Embedded Case Study Ontwerp Oefeningen om te leren modelleren in Ampersand Page 12

13 Embedded Case Study Ontwerp Meta-model Gebaseerd op Michels, G., Development Environment for Rule-based Prototyping [THESIS] 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

14 Meta-model Gebaseerd op het bestaande meta-model voor RAP2 Page 14

15 Meta-model Gebaseerd op het bestaande meta-model voor RAP2 Referentie model INJ, SUR = beperking van de case study Page 15

16 Probleem VERIFIEERBAARHEID Page 16

17 Het probleem van verifieerbaarheid Page 17

18 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.

19 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

20 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

21 Voorbeeld 1 GERELATEERDE CONCEPTEN Page 21

22 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

23 Gerelateerde concepten (2) Verifieerbaarheid: Elk patroon heeft een beperkt aantal typerende oplossingen Page 23

24 Gerelateerde concepten (3) Regel: Twee concepten die gerelateerd zijn in het studentmodel zijn ook gerelateerd in het referentiemodel. Page 24

25 Pagina 25

26 Pagina 26

27 Voorbeeld 2 PATRONEN VOOR REGELS Page 27

28 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

29 Antecedent/Consequent (2) Regel: Alle relatie expressies in de regel moeten aan één kant staan, in de antecedent of de consequent. Page 29

30 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

31 Voorbeeld 3 ANONIEM MODEL Page 31

32 Verifieerbaarheid van classe 3 Alleen het aantal concepten is gegeven Verifieerbaarheid Het aantal typerende oplossingen is bekend Page 32

33 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

34 Anoniem model (3): 5 regels voor een patroon Regels : Drie concepten Drie relaties Geen endo-relaties Unieke sign Geen flipped sign Page 34

35 Anoniem model (4) Relaties nextrelation en nextconcept om te kunnen tellen Page 35

36 Pagina 36

37 CONCLUSIE Page 37

38 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

39 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

40 Vragen? ou.nl/informatica Page 40

Vergelijkbare documenten

Curriculum 2015-2016 Afkortingen Bachelor Informatica Propedeuse Postpropedeuse Start Vervolg Afsluiting 60,0 Gebonden keuze (8,6 EC) Afsluiting

Curriculum 2015-2016 Afkortingen Bachelor Informatica Propedeuse Postpropedeuse Start Vervolg Afsluiting 60,0 Gebonden keuze (8,6 EC) Afsluiting Curriculum 2015-2016 Opleidingen Open Universiteit, faculteit Management, Science & Technology, wetenschapsgebied Informatica en informatiekunde, geldig vanaf 1-9-2015 Afkortingen European Credits (studiepunten)