Knowledge tracing is a family of computational methods designed to estimate a learner’s evolving mastery over time. In a typical system, each exercise is linked to one or more knowledge components, such as solving a linear equation, applying a grammatical rule or identifying a chemical property. The model receives a stream of responses and updates an internal estimate of the learner’s knowledge after each interaction. Traditional Bayesian knowledge tracing represents learning as transitions between states, often balancing the probability that a student has learned a skill against the possibility of guessing, making a careless mistake or forgetting. More recent approaches use neural networks and other machine-learning architectures to capture complex patterns in long sequences of student activity. These systems have generally emphasized temporal information: what happened previously, how much time has passed and how a learner’s performance changes across attempts. The study’s authors note that this focus leaves another source of information comparatively underused—the spatial organization of the knowledge itself. Here, spatial does not mean physical distance. It describes the relational arrangement of concepts in a knowledge graph, where edges indicate dependencies, influence or causal connections among components.

The distinction matters because educational knowledge is often hierarchical. Understanding how to solve a two-step equation may depend on addition, subtraction, multiplication, division and the ability to preserve equality across operations. In a science course, interpreting a graph may require knowledge of axes, variables and proportional relationships before a student can reason about a more advanced model. If an assessment system examines only the label attached to the current exercise, it may overlook the chain of concepts that supports performance. A network-based system can represent these dependencies explicitly. In such a representation, a knowledge component is a node, while a directed connection can indicate that changes in one component are related to another. Immediate neighbors form a first-order structure. A second-order structure includes connections reached through those neighbors, allowing the model to consider a wider local context. The researchers studied whether these multilevel relationships could improve knowledge tracing models across both deep-learning and traditional machine-learning settings. Their analysis treats the structure as informative evidence rather than as a decorative visualization added after prediction.

To construct the relevant relationships, the researchers used causal structure learning, a group of statistical methods that attempts to infer directional connections from observed variables and their patterns of association. In educational data, the variables can represent knowledge components and the response information associated with them. Causal discovery does not automatically prove that one concept directly causes another in the psychological sense, but it can provide a principled way to estimate a network of dependencies from data. The resulting structure was then incorporated into knowledge-tracing models. This step is technically important because it changes the information available during prediction. Instead of relying solely on a student’s past response sequence, a model can also aggregate signals from related concepts and from concepts linked through an additional level of the network. A learner’s performance on one skill can therefore be interpreted alongside evidence about prerequisite or neighboring skills. The approach gives the model a way to distinguish a narrowly isolated weakness from a broader pattern that may arise when several connected components remain uncertain.

The reported experiments found that second-order spatial information consistently improved model performance. The source article does not present the result as a replacement for temporal modeling; rather, it shows that spatial structure can complement the time-based information already central to knowledge tracing. That combination is significant because learning is both sequential and relational. A student’s latest answer depends on prior practice, but it can also reflect the status of concepts connected to the current task. A model that captures only one of these dimensions may miss part of the explanation. The researchers tested the structural information in deep-learning models as well as traditional machine-learning models, indicating that the benefit was not confined to a single algorithmic family. The finding suggests that educational prediction systems may gain from improved representations of knowledge even when their core predictive machinery differs. It also reframes model development: progress may depend not only on building larger or more complicated networks, but on supplying models with a more meaningful description of the domain they are trying to understand.

Performance, however, is only one part of the study’s contribution. The researchers also examined interpretable features to clarify how spatial information shaped diagnostic predictions. Interpretability methods are intended to show which inputs most strongly influence a model’s output, helping researchers and educators investigate why a system reaches a particular conclusion. In this context, a spatial feature might represent information propagated from a related knowledge component or from a concept several links away in the inferred structure. If such a feature contributes strongly to a prediction of difficulty, it may indicate that the current error is connected to a weakness elsewhere in the knowledge network. This is different from simply reporting that a student answered an item incorrectly. It offers a possible explanation for the prediction and can make automated recommendations easier to scrutinize. The article identifies interpretable analysis as a route toward understanding the factors underlying students’ learning challenges, while the associated keywords identify explainable artificial intelligence and SHAP, a method commonly used to examine feature contributions. The practical value lies in connecting prediction with a diagnostic account.

That account could support more targeted instruction, although the study does not claim to have demonstrated outcomes in classrooms. A tutoring system informed by hierarchical dependencies might recommend reviewing a prerequisite rather than assigning more exercises that repeat the same surface-level task. It could also avoid treating every wrong answer as an independent event. Suppose a student repeatedly fails problems involving a particular advanced operation while also showing uncertainty on its prerequisites. A spatially aware model could flag the connected pattern and help an instructor decide whether to revisit foundational material, change the explanation or provide practice that bridges the concepts. The system might likewise identify cases in which a student has mastered supporting skills but is struggling with a specific application. Those distinctions matter for adaptive learning because effective feedback depends on the source of an error, not merely its existence. The researchers describe the spatial perspective as having potential to inform more effective instructional strategies, but the appropriate use of such predictions would still require validation with teachers, learners and real educational interventions.

The work also leaves important questions for future research. Inferred relationships can reflect the quality and scope of the data used to learn them, and knowledge dependencies may differ across curricula, age groups, subjects and populations. A hierarchy that describes one mathematics course may not transfer directly to another, while relationships in language learning or programming may be less strictly hierarchical. Student behavior can also be influenced by factors that a knowledge graph does not capture, including motivation, fatigue, unfamiliar wording and access to prior instruction. Better structural information should therefore be treated as one component of a broader assessment system, not as a complete representation of learning. The study provides evidence that second-order relationships can improve knowledge-tracing performance and make predictions more interpretable. Its larger message is that educational AI should model the architecture of knowledge as carefully as it models the passage of time. By combining learner histories with causal and hierarchical maps of concepts, future systems may move closer to diagnosing how understanding develops—and where the next useful lesson should begin.

The result is especially relevant to the distinction between prediction and diagnosis in educational data mining. A model can become better at forecasting a response without revealing whether its estimate reflects durable learning, temporary performance, or an unresolved dependency elsewhere in the curriculum. By examining contributions from spatial features, the study provides a way to investigate whether a prediction is being driven by the assessed component itself or by information carried through connected components. This makes the inferred structure potentially useful not only as an input to a predictor, but also as an object for examining the model’s reasoning.

At the same time, the study’s causal terminology requires careful interpretation. Causal structure learning produces an inferred pattern of directional dependencies from data; it does not by itself establish that mastering one knowledge component will produce mastery of another. For instructional use, those inferred links would therefore be most defensible as hypotheses about relationships to test through assessment and intervention. The strongest near-term application is likely to be prioritizing which connected skills deserve further examination, rather than automatically prescribing a specific remedy. This distinction can help prevent a system from converting a statistical association into an unwarranted claim about the source of a learner’s difficulty. It also creates a foundation for future studies comparing structurally informed predictions with teachers’ diagnoses and students’ subsequent learning outcomes.

Subject of Research: Hierarchical knowledge structures in knowledge tracing

Article Title: Unveiling the Impact of Hierarchical Knowledge Dependencies on Knowledge Tracing: A Spatial Structure Perspective

Article References: Wei, Y., Jia, R., Ding, Y., & Jiang, B. (2026). Unveiling the Impact of Hierarchical Knowledge Dependencies on Knowledge Tracing: A Spatial Structure Perspective. Frontiers of Digital Education, 3(3), Article 23. https://doi.org/10.1007/s44366-026-0097-8

Image Credits: AI Generated

DOI: 10.1007/s44366-026-0097-8

Keywords: knowledge tracing, educational AI, learning analytics, knowledge graphs, causal structure learning, explainable AI, adaptive learning, student modeling, Unveiling, Impact, Hierarchical, Knowledge

The challenge has become more complicated as artificial-intelligence coding assistants have entered programming education. A student may now submit correct code after receiving suggestions from ChatGPT, GitHub Copilot, or a similar tool, while the process that produced that code remains hidden. A flawless final program does not necessarily show whether the learner understood the algorithm, struggled for half an hour, or accepted a generated solution without grasping its logic. The researchers therefore focused on the process rather than only the product. Programming environments record a continuous stream of events, including edits, compilations, executions, pauses, browser navigation, documentation searches, and interactions with course platforms. These events can reveal patterns that are invisible in the final source code. But the signals are inherently ambiguous: a pause can reflect careful planning or confusion, and frequent edits can indicate either systematic debugging or increasingly random attempts. The proposed system addresses that ambiguity by examining several dimensions of behavior at once.

The first layer is a Markov Chain, a probabilistic model that estimates how likely one observable action is to follow another. It can recognize workflow structures such as fluent editing followed by a validation compile, as well as less productive loops involving hesitant editing, repeated compilation, and long pauses. In mathematical terms, the model assigns probabilities to transitions between behavioral states, using smoothing so that rare or unseen transitions do not produce extreme conclusions. The second layer is a Hidden Markov Model, or HMM. Rather than treating cognitive condition as directly measurable, the HMM infers latent states from the observed sequence. The operational categories used in evaluation were Progressing, Hesitating, Blocked, and Confused. These labels are not diagnoses of a student’s mind; they are probabilistic summaries of behavior that can guide instructional decisions. A student classified as Hesitating might benefit from a targeted hint, while one classified as Confused may need a question that clarifies the strategy being attempted. A student identified as Blocked may require direct help with a persistent error.

The third layer is a recurrent neural network with attention. The study describes a bidirectional gated recurrent unit architecture that processes activity in both temporal directions and represents each time window using features such as typing speed, deletion ratio, pause duration, navigation density, compilation frequency, repeated errors, and code progress. Attention assigns greater weight to moments that are especially informative for the current prediction. This allows the system to connect a present difficulty with events that occurred several minutes earlier, overcoming the short memory of a basic Markov model. The final prediction combines the outputs of all three components using confidence-adaptive weights. If the transition probabilities are uncertain, the Markov contribution is reduced. If the inferred HMM state changes erratically, its influence falls. If attention is diffuse rather than concentrated on particular moments, the neural component contributes less. The result is intended to be not just a blockage score, but a record of which behavioral transitions, latent state patterns, and time points shaped the alert.

To evaluate the framework, the researchers analyzed 287,236 timestamped actions gathered from 70 first-year students enrolled in an introductory C++ course. The students had no prior programming experience and completed six exercises of increasing complexity in a standardized software environment. The analysis concentrated on 220 annotated sequences from two representative exercises. Events were converted into overlapping 30-second windows advancing in five-second steps, allowing the models to track changes during a session rather than relying only on totals such as the number of compilations. Two experienced programming instructors independently labeled a subset of the windows, reaching a Cohen’s kappa of 0.81, a measure of strong agreement. The dataset was divided using student-level five-fold cross-validation, so all sequences from a student remained in either the training or testing portion. This design reduces the risk that a model simply learns an individual student’s habits and then appears to generalize.

The results contain a notable twist. The hybrid model achieved a Macro-F1 score of approximately 90.7 percent across the four cognitive-state categories, but so did the simpler comparison models, including a Random Forest, a Markov Chain alone, an HMM alone, and a recurrent neural network with attention. A Friedman test found no statistically significant differences among the eight evaluated configurations, with a reported p-value of 0.83. The authors interpret this equivalence as evidence that the behavioral taxonomy itself is highly discriminating: once the observable categories are defined precisely, several machine-learning approaches can learn to recognize them. The hybrid architecture should therefore not be presented as a more accurate classifier. Its distinctive contribution lies elsewhere. The HMM supplies pedagogically meaningful state labels, the Markov layer exposes workflow transitions, and attention highlights relevant moments in the sequence. Together, these outputs can provide more context than a single risk label, even when the final classification accuracy is nearly identical.

Signals associated with impending blockage included progressive typing deceleration, a rising proportion of deleted characters, and lengthening pauses. In the study’s corpus, these patterns often appeared three to five minutes before a blockage was fully visible. A transition from neutral activity cycles to destructive cycles was another strong warning sign: when hesitation increased across consecutive observation windows and repetitive error attempts continued, blockage followed in 78 percent of the sequences examined. The model’s attention mechanism could emphasize earlier failed compilations or pauses, while the HMM summarized the broader trajectory from Progressing to Hesitating to Blocked. In a pilot deployment involving 12 instructors and 180 students across three institutions, 82 percent of alerts were judged accurate and actionable by instructors. The report also describes 18 percent more completed exercises, a 12 percent reduction in completion time, and final programming examination scores 6.3 percentage points higher than in control classrooms. These pilot outcomes are promising, but they should be interpreted alongside the study’s limitations and the authors’ description of the system as real-time-capable rather than fully validated in live classroom operation.

The research team emphasizes that behavioral tracking cannot reveal cognition with certainty. A student may pause because they are thinking deeply, because they are distracted, or because they have lost their strategy. The rare Confused category, representing 5.9 percent of windows, had the lowest F1 score at 79.0 percent and was frequently confused with Hesitating. Short sessions also produced more missed blockages because there was not enough time for precursor signals to accumulate. The dataset came from one institution, one introductory C++ course, and a relatively small group of students, so the thresholds may not transfer directly to other languages, teaching styles, or learners. The study also warns that attention weights show where the model focused, not necessarily what caused its decision. Any educational deployment would need strong privacy protections, informed consent, and safeguards preventing formative monitoring from becoming a grading mechanism. The authors propose testing the framework across institutions and programming languages, incorporating additional signals such as self-reports, and developing an instructor dashboard. For now, the work suggests that the most useful educational AI may not be the system that claims to know exactly why a student is struggling, but one that notices a changing pattern early, explains the evidence cautiously, and leaves the final judgment to a human teacher.

An important methodological distinction is between recognizing a labeled behavioral category and establishing that a learner is cognitively blocked. The study’s four-class taxonomy—progression, hesitation, blockage, and confusion—provides an operational language for analyzing traces, but its categories remain model-based interpretations of observable activity. This matters because the reported similarity in Macro-F1 across the tested approaches suggests that performance depends substantially on how the behavioral states are defined and represented, not only on architectural complexity. The absence of significant differences among models also cautions against treating a more elaborate system as automatically more accurate.

The hybrid design is therefore most valuable as a decision-support framework. Markov transition scores can describe local workflow changes, while the HMM offers a probabilistic account of how activity may correspond to a changing latent state. The recurrent component adds a way to connect events separated in time, and confidence-adaptive fusion can reduce the influence of a component when its evidence is unreliable. These signals could help an instructor distinguish a single unusual pause from a sustained deterioration across successive activity windows. Such distinctions are particularly relevant in programming, where debugging often involves temporary failure and repeated experimentation that should not be mistaken for learning collapse.

The reported pilot findings provide an initial indication that interpretable alerts can be linked to instructional outcomes, but they do not by themselves establish effectiveness across settings. The evaluation involved a limited number of students and instructors, and the source describes the deployment as a pilot. Future testing would need to examine whether alerts remain calibrated when students use different programming languages, development environments, or assistance tools, and whether interventions prompted by the system produce benefits beyond those attributable to increased instructor attention. It will also be important to assess how students perceive monitoring and whether uncertainty information is presented clearly enough to prevent probabilistic alerts from being treated as definitive judgments.

Subject of Research: Machine-learning detection of novice programming difficulties from fine-grained activity traces

Article Title: A multi-dimensional hybrid stochastic model for early and interpretable blockage detection in programming education

Article References: Abdelkader, G., Mohammed, E., Patrick, E., & Thierry, N. (2026). A multi-dimensional hybrid stochastic model for early and interpretable blockage detection in programming education. Discover Informatics, 1(1), Article 9. https://doi.org/10.1007/s44564-026-00007-0

Image Credits: AI Generated

DOI: 10.1007/s44564-026-00007-0

Keywords: programming education, learning analytics, educational data mining, student blockage detection, Hidden Markov models, Markov Chains, recurrent neural networks, explainable AI, multi-dimensional, hybrid, stochastic, model