EEG Helps Knowledge Tracing! Yanbo Xu, Kai-min Chang, Yueran Yuan, and Jack Mostow Carnegie Mellon University {yanbox, kkchang, yuerany, mostow}@cs.cmu.edu

Abstract. Knowledge tracing (KT) is widely used in Intelligent Tutoring Systems (ITS) to measure student learning. Inexpensive portable electroencephalography (EEG) devices are viable as a way to help detect a number of student mental states relevant to learning, e.g. engagement or attention. In this paper, we combine such EEG measures with KT to improve estimates of the students’ hidden knowledge state. We propose two approaches to insert the EEG measured mental states into KT as a way of fitting parameters learn, forget, guess and slip specifically for the different mental states. Both approaches improve the original KT prediction, and one of them outperforms KT significantly. Keywords: EEG, knowledge tracing, logistic regression

1

Introduction

Knowledge tracing (KT) is widely used in Intelligent Tutoring Systems (ITS) to measure student learning. In this paper, we improve KT’s estimates of students’ hidden knowledge states by incorporating input from inexpensive EEG devices. EEG sensors record brainwaves, which result from coordinated neural activity. Patterns in these recorded brainwaves have been shown to correlate with a number of mental states relevant to learning, e.g. workload [1], associate learning [2], reading difficulty [3], and emotion [4]. Importantly, cost-effective, portable EEG devices (like those used in this work) allow us to collect longitudinal data, tracking student performance over months of learning. Prior work on adding extra information in KT includes using student help requests as an additional source of input [5] and individualizing student knowledge [6]. Thus for the first time, students’ longitudinal EEG signals can be directly used as input to dynamic Bayes nets to help trace their knowledge of different skills. An EEG-enhanced student model allows direct assessment to be performed unobtrusively in real time. The ability to detect learning while it occurs instead of waiting to observe future performance could accelerate teaching dramatically. Current EEG is much too noisy to detect learning reliably on its own. However, as we show in this paper, combining EEG with KT allows us to detect learning significantly better than using KT alone.

2

Approach

KT is a type of Hidden Markov Model, which uses a binary latent variable (K (i) ) to model whether a student knows a skill at step i. It estimates the hidden variable from a sequence of observations (C (i) ’s) of whether the student has applied the skill correctly up to step i. In this paper, KT is used to capture the changes in knowledge state of a word over time (e.g., the school year), based on observations of whether or not the student read the word fluently (defined in more detail in Section 3). Standard KT usually has 4 (sometimes 5) parameters: initial knowledge (L0 ), learning rate (t), forgetting rate (f ) (usually set to zero, but not in this paper), guessing rate (g), and slipping rate (s). We add another observed variable (E (i) ), representing the EEG measured mental state that is extracted from EEG signals and is time-aligned to the student’s performance at step i. We present two approaches to insert this variable into KT so that the student’s hidden knowledge is inferred not only from the observed student’s performance but also from the student’s mental state measured by EEG.

E1(1)

L0

K(1)

te fe

K(2)

E(1) ge se

ge se

C(1)

C(2) (a) EEG-KT

te … fe E(2)

… Em(1)

L0

K(1)

te fe

K(2)

g s

g s

C(1)

C(2)

te … f e

(b) EEG-LRKT

Fig. 1: Add EEG measures into KT Approach I: Insert 1-dimensional binary EEG measure into KT (EEG-KT). EEG-derived signals are often described as a type of measure for human mental states. For example, NeuroSky uses EEG signal to derive proprietary attention and meditation measures that indicate focus and calmness in students [7]. By adding a binary EEG input into KT, we hypothesize that a student can have a higher learning rate t given that the student is focusing at that step. Thus EEG-KT, shown in Figure 1a, extends KT by adding a binary variable E (i) computed from EEG input. We started with a binary (vs. continuous) EEG input for ease of implementation. This approach is reported in [8]. Approach II: Combine multi-dimensional continuous EEG measures in KT (EEG-LRKT). We also try an m-dimensional continuous variable E (i) , denoting m EEG measures extracted from the raw EEG signal at step i. Xu

and Mostow [9] proposed a method that uses logistic regression to trace multiple subskills in a Dynamic Bayes Net (LR-DBN). Without exploding the conditional probability tables in a DBN, LR-DBN combines the multi-dimensional inputs via a sigmoid function, which increases the number of parameters linearly (in number of inputs) instead of exponentially. This combination function was used in tracing multiple subskills [10]. Similarly, EEG-LRKT uses logistic regression to combine continuous EEG measures in KT. Figure 1b shows the graphical representation of EEG-LRKT, where circle nodes denote continuous variables. Hidden knowledge states are now determined by various EEG inputs. KT parameters te and fe are computed by logistic regression over all m EEG measures.

3 3.1

Evaluation and Results Data sets

Our EEG data comes from children 6-8 years old who used Project LISTEN’s Reading Tutor at their primary school during the 2013-2014 school year [11]. We model the growth of students’ oral reading fluency, by labeling a word as fluent if it was 1) accepted by the automatic speech recognizer (ASR) [12], as read 2) with no hesitation (the latency determined by ASR is less than 0.05s), and 3) without the student clicking on a word for help from the tutor. EEG raw signals are captured by NeuroSky’s BrainBand device at 512 Hz, and are denoised as in [11]. We use NeuroSky’s proprietary algorithms to generate 4 channels: signal quality, attention, meditation, and rawwave. We then use Fast Fourier Transform to generate 5 additional channels from rawwave: delta, theta, alpha, beta, and gamma. We break EEG data into 1-second long segments, and filter out any segment with a poor EEG signal quality score (cutting off at 100 on the 0 to 200 signal quality scale provided by Neurosky). We then remove any observation for which more than 50% of its corresponding EEG signal is filtered out. We remove every word encounter whose next encounter (by the same student) has poor EEG signal quality, e.g. the first encounter of “cat” by a student is removed because the second encounter of “cat” by the same student has bad EEG quality. We keep only encounters whose next encounter had good signal quality, which reduces our data size by 1/3. The original data set includes 16 students who read 600 distinct words. We discard 4 students who have fewer than 100 observations, resulting in 6,313 observations from 12 students. To maintain enough data for EM estimations of the parameters, however, we keep 4 students who have many more than 500 observations in the training data and cross validate the other 8 students. 3.2

Train classifiers as an extra EEG measure

We train Gaussian Naive Bayes classifiers to predict fluency. We compute the average and variance of the values of each of the 8 channels (excluding signal quality) over the duration of each word according to ASR as the classifier features (16 features in total). The validation is between-subject (i.e. training on

all but one subject and testing on that remaining subject). Because the large majority class in this dataset will create overpowering priors, we pre-balance our data using under-sampling. This classifier uses a similar training pipeline as [11] with a few notable differences: 1) no feature selection due to the large training set; 2) to account for individual differences, we normalize every feature by converting features to z-scores over the distribution of that feature for that subject. Normalization is done before we train our classifier. The classifier has a prediction accuracy of 61.8%. We evaluate it against a 50:50 chance classifier since we train the classifier on pre-balanced data. Our classifier performs significantly above chance on a Chi-squared test (p < 0.05). Finally, in Eq. 1, we compute a confidence-of-fluency (Fconf) metric as our 9th EEG measure and use it in the same way as the above 8 EEG scalar features: Fconf = Pr(fluent|2 × 8 features) − Pr(disfluent|2 × 8 features) 3.3

(1)

Model fit with cross validation

We compare EEG-KT and EEG-LRKT to KT on a real data set. We normalize each EEG measure within student by subtracting the measure’s mean and dividing by the measure’s standard deviation across each student’s observations. As EEG-KT requires, we discretize each measure as a binary variable: TRUE if the value is above zero; FALSE otherwise. We individually insert each of the binary EEG measures into KT and obtain in total 9 EEG-KT models: ATT(ention)KT, MED(itation)-KT, RAW-KT, Delta-KT, Theta-KT, Alpha-KT, Beta-KT, Gamma-KT, and Fconf-KT. EEG-LRKT directly combines the 8 normalized EEG measures (excluding Fconf). Besides, we fit Rand-KT and Rand-LRKT, which replace EEG with randomly generated values from Bernoulli and standard Normal distributions respectively. We use EM algorithms to estimate the parameters, and implement the models in Matlab Bayesian Net Toolkit for Student Modeling (BNT-SM) [13, 10]. We conduct a leave-one-student-out cross validation (CV), which trains word specific models on 11 out of 12 students and tests on the remaining single student. We use receiver operating characteristic (ROC) curve and area under the curve (AUC) to assess the performance of model prediction (i.e., binary classification) since we have an unbalanced data with 83% labeled as fluent. Since we do not change the parameter of initial knowledge (L0 ) in EEG-KT or EEG-LRKT, we clamp L0 to 0.4 in our experiments in order to assess only the effect of those modified KT parameters. To test the statistical significance of differences between the proposed models and KT, we do two-tailed paired t-tests on AUC scores across the 8 students. EEG-LRKT significantly outperforms KT; the other 8 EEG measures and Rand-KT do not differ significantly from KT. Rand-LRKT seems to have a high AUC, but lacks results for half of the tested skills because of rank deficiency when fitting random values with logistic regression in DBN. Figure 2a shows a ROC graph with only the models that have significantly better AUC scores than KT with 8-fold CV; Table 2b shows a full list of AUC scores.

the parameters, and implement the models in Matlab Byesian Net Toolkit for Student Modeling (BNT-SM) [12, 13]. 1

We compare 0.9 model fit with cross validation in Section 5.1, present the KT parameters differentiated by EEG in Section 5.2. 0.8

5.1 Model fit0.7with cross validation True positive rate

We conduct a leave-one student-out cross validation (CV), which 0.6models on 11 out of 12 students and tests on trains word specific the remaining single 0.5 student. The original data set includes 16 students who read 600 distinct words. We discard 4 students who 0.4 have much less than 100 observations, and finally result at 6,313 EEG−LRKT AUCdata = 0.7665 observations from 0.3 12 students. In order to maintain enough Rand−LRKT* AUC = 0.7255 for EM estimations of the parameters, however, we constantly 0.2 KT AUC = 0.6479 keep 4 students who have many more than 500 observations in the Rand−KT AUC = 0.6146 0.1 validate the other 8 students. training data and cross Majority AUC = 0.5000

Table 1. AUC scores by 8-fold CV (Underlined if P-Value <0.05 in paired T-test with KT; AUC for Rand-LRKT (starred*) is based on incomplete test data) Models

AUC

Models

AUC

EEG-LRKT

0.7665

Beta-KT

0.6355

Rand-LRKT*

0.7255

Gamma-KT

0.6317

Fconf-KT

0.6613

RAW-KT

0.6275

Theta-KT

0.6568

MED-KT

0.6230

KT

0.6479

Delta-KT

0.6224

ATT-KT

0.6435

Rand-KT

0.6146

Alpha-KT

0.6429

0 operating characteristic (ROC) curve and We use receiver 0 0.2 0.4 0.6 0.8 1 area under the curve (AUC) to assess the performance False positive rate of model prediction (i.e., binary classification) since we have an unbalanced Table 1 gives a complete list of AUC scores for all the data with 83% labeled as fluent. ROC plots thecurves true positive rate models. To test the (b) statistical (a) ROC AUCsignificance scores of the difference (TPR) vs. false positive rate (FPR) at different thresholds for between the proposed models (EEG-KT and EEG-LRKT) and KT, cutting off the predicted probabilities. TPR (also known as Recall) we do two-tailed paired t-test on AUC scores across the 8 students. p-valueoutperforms <0.05 inKT.paired Fig. Modelinstance fit comparison 8-fold CV (Underlined is the percentage that2: a positive (e.g., a fluently by reading We see that EEG-LRKT if significantly Fconf-KT word) is correctly classified as positive; FPR (also known as(starred*) the beatsis KTbased for 6 outon of 8 incomplete students; Theta-KT beatsdata) KT for 5 out of 8 T-test with KT; Rand-LRKT test Fall-out) is the percentage that a negative instance (e.g. a not students. ATT-, Alpha-, and Beta-KT are close to KT with no fluently reading word) is incorrectly classified as positive. So the significant difference. The other 4 EEG measures actually hurt curve shows a trade-off between the Recall (benefits) and Fall-out KT’ model fit, but still better than Rand-KT. Rand-LRKT seems (costs). AUC calculates the area under the ROC curve, which is having a high AUC, however, about half of the tested skills don’t also insensitive to an unbalanced dataset. A perfect classification have fitted parameters due to the rank deficiency by EM algorithm. model would reach the top left corner in ROC space, and yield an So the AUC of Rand-KT is computed only based on roughly half AUC score of 1, while a majority vote model (probability of 1 to of the test data. Figure 3 shows a visible ROC graph with only the thisandpaper, weas disfluent) combine EEG KTAUC to scores improve predict a word In as fluent 0 to predict would show measures models thatwith have better than KT estimates by 8-fold CV. of a diagonal line from the bottom left to the top right corner in ROC the student’s hidden knowledge state. Estimating Pr(K) enables us to from predict So far, we have shown that the EEG signals a simple space, and get an AUC score of 0.5. portablethan deviceestimating can help KT performance predictions, even directly with possible performance (e.g. fluency) more accurately Since we do not change the parameter of initial knowledge random noise. Now we want to infer the amount of noise in the since the estimate isKT, conditioned on allWeobservations so far. Weperfectly present (L0) in EEG-KT nor EEG-LRKT comparingofto Pr(K) the original so EEG signals. say an EEG-KT model predicts if the we clamp L0 astwo 0.4 inapproaches: our experiments in1) order to only assess the one binary EEG variable with the true of reading word EEG-KT adds binary EEGagrees measure intolabelKT, and a 2) effect of those modified KT parameters. fluently or not. The model fit starts to decline when some values EEG-LRKT uses logistic regression onofvarious continuous EEG measures in KT. the variable disagree with the true labels (like labels being 1 flipped),KT, and the noise level increases the flips increase. in Thus Both approaches outperform the original significantly for asEEG-LRKT we generate a set of binary variables by randomly flipping the true 0.9 terms of ROC and AUC, when predicting an unseen student’s reading fluency on labels of fluent from 0% (perfect, named as F100%) up to 50% 0.8 (random, as F50%). insert each are of these simulatedused random words in the Reading Tutor. For the first time, EEGWe measures directly variables into KT as new EEG-KT models, and compare them 0.7 to help model students’ knowledge. Though not all the single-channel measures with the real EEG measured model Fconf-KT. Recall Fconf denotes tracing, the confidence of using allEEG the EEG measures to 0.6 (like Theta) from EEG can help knowledge thescore combined measure the true label of fluent. The goal is to see what position significantly improves KT predictions.predict 0.5 Fconf-KT would locate among the F100% ~ F50%-KT models, so that we can approximate EEG’s noise level as what extendbut FconfEEG studies in the neuroscience literature have better instrumentation 0.4 EEG−LRKT AUC = 0.7665 KT can help KT to recover the true labels. Rand−LRKT AUC = 0.7255 True positive rate

4

Conclusion and Future Directions

not longitudinal data like we have. EEG-based information (especially using a Fconf−KT AUC = 0.6613 Theta−KT AUC = 0.6568 single sensor like NeuroSky’s BrainBand) is noisy and is by no means a reliable, 0.2 KT AUC = 0.6479 precise measure of a meaningful brain state. However, as demonstrated in this Rand−KT AUC = 0.6146 0.1 Majority AUC = 0.5000 paper, longitudinal EEG does provide measurable improvement in predictive 0 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 accuracy anyway. False positive rate In this paper, we focus on reading (specifically, fluency development), which Figure 3. ROC curves of EEG-LRKT vs. EEG-KT vs. KT is good by for8-fold studying EEG-enriched KT thanks to density of sensing (many words CV per minute). The framework that we proposed is also applicable to other types of learning. Another future direction is to analyze the practical significance of the result in terms of impact on learning. As Beck and Gong [14] pointed out, tiny improvements in predictive accuracy don’t matter - actionable intelligence does. We want to estimate the possible speedup in learning as a result of being able to use EEG to detect learning while it occurs (instead of waiting to observe future performance). 0.3

5

Acknowledgements

This work was supported by the National Science Foundation under Cyberlearning Grant IIS1124240. The opinions expressed are those of the authors and do not necessarily represent the views of the National Science Foundation.

References 1. Berka, C., Levendowski, D. J., Lumicao, M. N., Yau, A., Davis, G., Zivkovic, V. T., Vladimir, T., Olmstead, R. E., Tremoulet, P. D., Patrice, D., Craven, P. L.: EEG correlates of task engagement and mental workload in vigilance, learning, and memory tasks. Aviation, Space, and Environmental Medicine. 78 (Supp 1), B231-244 (2007). 2. Miltner, W. H. R., Braun, C., Arnold, M., Witte, H., Taub, E: Coherence of gammaband EEG activity as a basis for associative learning. Nature, 397, 434-436 (1999). 3. Chang, K. M., Nelson, J., Pant, U., Mostow, J.: Toward Exploiting EEG Input in a Reading Tutor. International Journal of Artificial Intelligence in Education, 22, 1-2, 19-38 (2013). 4. Heraz, A., Frasson, C.: Predicting the three major dimensions of the learner’s emotions from brainwaves. World Academy of Science, Engineering and Technology, 31, 323-329 (2007). 5. Beck, J. E., Chang, K. M., Mostow, J., Corbett, A.: Does help help? Introducing the Bayesian evaluation and assessment methodology. In Proceedings of the 9th International Conference on Intelligent Tutoring Systems, 383-394 (2008). 6. Pardos, Z. A., Heffernan, N. T.: Modeling individualization in a bayesian networks implementation of knowledge tracing. In User Modeling, Adaptation, and Personalization, pp. 255-266. Springer Berlin Heidelberg, (2010). 7. NeuroSky.: NeuroSky’s eSenseTM meters and detection of mental sate. Neurosky, Inc. (2009). 8. Xu, Y., K.-m. Chang, Y. Yuan, and J. Mostow. Using EEG in Knowledge Tracing. In Proceedings of the 7th International Conference on Educational Data Mining. 2014: London, UK. 9. Xu, Y., Mostow, J.: Using logistic regression to trace multiple sub-skills in a dynamic bayes net. In Proceedings of the 4th International Conference on Educational Data Mining, 241-246 (2011). 10. Xu, Y., Mostow, J.: Comparison of methods to trace multiple subskills: Is LRDBN best? In Proceedings of the 5th International Conference on Educational Data Mining, 41-48 (2012). 11. Yuan, Y., Chang, K. M., Xu, Y., Mostow, J.: A Toolkit and Dataset for EEG in Reading. In Proceedings of the 12th International Conference on Intelligent Tutoring Systems Workshop on Utilizing EEG Input in Intelligent Tutoring Systems (to appear). 12. Mostow, J., Beck, J. E.: When the Rubber Meets the Road: Lessons from the InSchool Adventures of an Automated Reading Tutor that Listens. In B. Schneider & S.-K. McDonald (Eds.), Scale-Up in Education (Vol. 2, pp. 183-200) (2007). 13. Chang, K. M., Beck, J. E., Mostow, J., Corbett, A.: A Bayes net toolkit for student modeling in intelligent tutoring systems. In Proceedings of the 8th International Conference on Intelligent Tutoring Systems, 104-113 (2006). 14. Beck, J. E., Gong, Y.: Wheel-spinning: Students who fail to master a skill. In Proceedings of the 16th Artificial Intelligence in Education, 431-440 (2013).

EEG Helps Knowledge Tracing! - Carnegie Mellon School of ...

3.3 Model fit with cross validation. We compare EEG-KT and EEG-LRKT to KT on a real data set. We normalize each EEG measure within student by subtracting ...

359KB Sizes 6 Downloads 288 Views

Recommend Documents

reCAPTCHA - Carnegie Mellon School of Computer Science
Sep 12, 2008 - They do so by asking humans to perform a task that computers cannot yet perform, such as ... computer. The acronym stands for Completely. Automated Public Turing test to tell Computers and Humans Apart. A typical CAPTCHA is an image co

A Public Toolkit and ITS Dataset for EEG - Carnegie Mellon School of ...
better educational technologies. Electroencephalography (EEG) records a student's brain activity using electrodes on the scalp. Studies show EEG can be ...

The Data Locality of Work Stealing - Carnegie Mellon School of ...
Department of Computer Sciences. University of Texas at Austin .... race-free computation that can be represented with a series-parallel dag [33]. ... In the second class, data-locality hints supplied by the programmer are used in thread ...

The Data Locality of Work Stealing - Carnegie Mellon School of ...
work stealing algorithm that improves the data locality of multi- threaded ...... reuse the thread data structures, typically those from the previous step. When a ...

The Data Locality of Work Stealing - Carnegie Mellon School of ...
running time of nested-parallel computations using work stealing. ...... There are then two differences between the locality-guided ..... Pipelining with fu- tures.

Mechanisms for Multi-Unit Auctions - Carnegie Mellon School of ...
Following Nisan and Ronen (2007), Dobzinski and Nisan (2007) view this result as a negative one. Namely, they show that in the setting of combinatorial auctions with submodular bidders, MIR algorithms do not have much power. This might imply that in

carnegie mellon university
Data transfer to/from storage nodes may be done using NFS or other protocols, such as iSCSI or OSD, under the control of an. NFSv4 server with parallel NFS ...

Online Matching and Ad Allocation Contents - Carnegie Mellon School ...
354. 10.1 Related Models. 354. 10.2 Open Problems. 360. References. 363 ... Google Research, 1600 Amphitheatre Pkwy, Mountain View, CA 94043,.

Online Matching and Ad Allocation Contents - Carnegie Mellon School ...
allocating jobs to machines in cloud computing. Recently, the ..... It also has the advantage ...... Clearly, the adversarial algorithms have two advantages: (1) they.

Bored in the USA - Carnegie Mellon University
understanding of boredom by providing, to the best of our knowl- edge, the .... the phone from a larger, nationally representative study, in which ..... et al., 2016a, 2016b). ..... Business and Psychology, 16, 317–327. http://dx.doi.org/10.1023/A:

Survivable Information Storage Systems - Carnegie Mellon University
xFS,1 NASD,2 and Petal.3 These systems all provide applications with a single, ... such as RAID (redundant array of independent disks)4 ensuring scalable ...

Bored in the USA - Carnegie Mellon University
the phone from a larger, nationally representative study, in which they completed extensive .... dynamics, the predicted level of boredom for a 25-year-old in our.

The costs of poor health (plan choices ... - Carnegie Mellon University
Affordable Care Act (ACA) were designed to help consumers ... curbing health care costs, less has been paid .... videos, online help, and a customer service.

DDSS 2006 Paper - CMU Robotics Institute - Carnegie Mellon University
potential for the use of machine learning in the solving of urban planning ... of complex data analysis algorithms on a large amount of data available from.

DDSS 2006 Paper - The Robotics Institute Carnegie Mellon University
to spam email filters. ... experiment by building a software program that can identify a certain type of ..... Mining and Knowledge Discovery,2(2), p121-167. Blum ...

DDSS 2006 Paper - The Robotics Institute Carnegie Mellon University
Isenberg, A., 2004, Downtown America: a history of the place and the people who made it. Chicago, University of Chicago Press: xviii, 441 p., [2] p. of plates (col). Joachims, T., 1998, “Text Categorization with Support Vector Machines: Learning wi

Survivable Storage Systems - Parallel Data Lab - Carnegie Mellon ...
Sep 7, 1999 - a single storage node would let an attacker bypass access- control policies .... for several secure distributed systems, such as Rampart. [22] and ...

Why are Benefits Left on the Table? - Carnegie Mellon University
introduction of a credit for childless individuals (who have lower take)up rates) and prior to the cessation of an IRS practice to ... associated with the EITC. A second psychometric survey, administered online, assesses how the ...... have a bank ac

Linear Logic and Strong Normalization - Carnegie Mellon University in ...
one of every Bs are contracted together via a copy of the cut ?-tree Tc, and the ...... In Linear Logic in Computer Science, volume 316 of London Mathematical ...

D-Nets: Beyond Patch-Based Image Descriptors - Carnegie Mellon ...
Illustration of the modified list structure for the iterative version corresponding to .... of-the-art patch-based methods, such as SIFT and ORB. We also describe two ...

Linear Logic and Strong Normalization - Carnegie Mellon University in ...
one of every Bs are contracted together via a copy of the cut ?-tree Tc, and the ...... In Linear Logic in Computer Science, volume 316 of London Mathematical ...

Why are Benefits Left on the Table? - Carnegie Mellon University
2 These calculations are based on author calculations from IRS statistics for TY 2005. For the day of ..... 23 The choice of tax year was motivated by a desire for recency, while the choice of state, as well as the decision to target ...... projectio