Nexian Leer-interface

De Nexian Leer interface (NLI) dwingt gebruikers om a) leerstof te structureren en b) deze leerstof grondig te leren door iedere bewering te toetsen. Het doel hiervan is dat docenten en leerlingen hierdoor sneller “gaten” kunnen ontdekken in hun eigen kennis en deze snel kunnen vullen om uiteindelijk tot een efficiëntere methode te komen dan gevestigde methodes, zoals het zogenaamde “stampen”.

Theorie

De theorie waarop het systeem is gebaseerd, het recursieve bewijs principe, gaat ervan uit dat a) leerstof, in welke vorm dan ook, kan worden omgezet in een set aan beweringen en b) deze beweringen recursief zijn te onderbouwen met bewijzen, betekenende dat bewijzen onderbouwd kunnen worden met nieuwe bewijzen, die ook weer kunnen worden bewezen, enzovoort.

Een bewering is een verklarende zin die waar of onwaar kan zijn. Een bewijs is een bewering die volgens formele regels aantoont dat, gegeven bepaalde axioma's (-onbewezen en als grondslag gegeven beweringen-), een bepaalde bewering waar is.

Dit gegeven, kan alle leerstof worden omgezet in zogenaamde bomen van beweringen. Neem bijvoorbeeld de volgende zin:

Gegeven dat A gelijk is aan B, en B gelijk is aan C, kan worden geconcludeerd dat A gelijk is aan C.

De volgende beweringen worden hier gedaan:

1. A is gelijk aan B
2. B is gelijk aan C
3. A is gelijk aan B

Deze vormen als volgt een boom:

API

NLI is een systeem dat leerstof opneemt die is gestructureerd volgens het recursieve bewijs principe en deze vervolgens aanleert aan de gebruiker. Het systeem doet dit door middel van zogenaamde quiz-sessies. Het gebruiken van een quiz-sessie gaat als volgt:

1. De gebruiker vraagt een sessie aan en geeft daar een bebouwingsstructuur aan mee;
2. De gebruiker vraagt een vraag op bij de quiz, NLI zoekt naar de hoogste bewering(en) in de eerder gegeven beweringsstructuur en genereert een vraag die de kennis van deze bewering toetst;
3. De gebruiker stuurt een antwoord; Er is hier sprake van verschillende mogelijkheden:

• Als het antwoord correct is, kijkt het systeem of er nog meer beweringen moeten worden geleerd. Zo niet, word het quiz succesvol afgerond. Zo ja, stelt het systeem voor deze een vraag op;
• Als het antwoord niet correct is, gaat het systeem ervan uit dat de gebruiker nog geen (voldoende) kennis heeft van de onderliggende bewijzen van de bewering. Hij gaat terug naar stap 3, maar dan op de onderliggende bewijzen van de getoetste bewering in plaats van de hoogste bewering(en);
  • Als er geen onderliggende bewijzen meer zijn, dan geeft het systeem simpelweg het correcte antwoord aan de gebruiker.
    

Doel

Het doel van de organisatie Nexian is het aanleren van effectievere denk- en leermethoden aan mensen waardoor zij een effectiever leven kunnen leiden. NLI streeft ernaar dit doel te bereiken door gebruikers toegang te geven tot een systeem dat werkt volgens een door Nexian uitgewerkt (- nog onbewezen -) leermodel.
Momenteel is het doel van Nexian:
De Leer-interface live krijgen zodat er tests kunnen worden gedaan met middelbare scholieren.
Hiervoor moet het volgende gebeuren:

• Rond de API af
  • Authenticatie
• Bouw een frontend