Use visual explanation tools to support learning in communities with scarce tailored learning resources¶

Strategy · All strategies
Evidence · 4 claims (4 for) · 1 study (1 qualitative), q2 · 0 of 1 report an effect size · 4 claims rest on one study

Description¶

The article recommends that visual explanation tools such as nev can serve learners where dedicated learning materials are lacking, concluding that "visual explanation tools might alleviate the need for tailored learning resources". The strategy is to expose learners to expert-oriented debugging and tracing tools so they can inspect derivations, build and manipulate queries, and develop computational thinking without purpose-built curricula.

Design Implications¶

Context¶

Requirements¶

• A reasoning system that can compute proof traces (traces) for derived facts, exposed through a visual explanation interface

Constraints¶

• The study's positive results were influenced by interviewer assistance that alleviated the learning curve; learning benefits were not quantitatively measured

Target Learners¶

• early and advanced learners of declarative logic programming
• students in knowledge-graph courses

Target Learning Goals¶

• computational thinking skills such as decomposition, abstraction, and pattern recognition
• understanding and debugging rule-based programs

Claims¶

• The with/without-tools difficulty gap narrowed as graph size grew, which the authors read as a positive indication of scalability [+W]
• Perceived task difficulty with the tools was rated much easier than imagined difficulty without them, with gaps of at least 2.5 SEQ points on every task [+W]
• A qualitative study with 14 students found very positive perceived task-difficulty and user-experience assessments for the Nemo+nev environment [+W]
• UEQ-S user-experience ratings were positive across tasks except one hedonic item on Task 1, with pragmatic qualities rated higher than hedonic [+W]

Related Strategies¶

Examples¶

-

Key Sources¶

• Julián Méndez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Krötzsch, Raimund Dachselt. (2026). Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming. arXiv preprint. https://arxiv.org/abs/2607.18864