edtechhigher educationlearning designvisualizationlogic programming

評估用於學習宣告式邏輯程式設計的視覺化查詢追蹤器與建構器

arXiv - Human-Computer InteractionJuli\'an M\'endez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Kr\"otzsch, Raimund Dachselt

研究發現專為專家設計的視覺化工具，在輔助學生學習複雜的 Datalog 邏輯程式語言時具有極高的價值。

AI 幫你先抓重點

AI 重點 1

專業工具向教育工具的「跨界轉化」價值

滑鼠懸停看 AI 判斷理由
這項研究展示了原本為專家設計的高階技術工具，透過視覺化介面，可以轉化為降低學習門檻的教學資源，這對於開發複雜領域（如邏輯程式設計）的學習軟體具有啟發意義。
AI 重點 2

視覺化解釋在理解抽象邏輯中的關鍵作用

滑鼠懸停看 AI 判斷理由
宣告式邏輯語言具有高度抽象性，視覺化追蹤器能將隱性的推理過程顯性化，幫助學習者建立正確的心理模型，這對於提升學習者的認知負荷管理至關重要。

核心研究發現

  1. 1

    開發了 Nemo Explain Visualizer (nev)，這是一款針對 Datalog 推理器設計的互動式視覺化查詢追蹤與建構工具。

  2. 2

    透過對 14 名參與知識圖譜課程的不同程度學生進行定性研究，證實了該工具在教學上的潛力。

  3. 3

    研究結果顯示學生對該工具的評價非常正面，顯示視覺化解釋工具能有效跨越專業門檻。

對教育工作者的啟發

教育工作者在設計複雜技術課程時，不一定需要從零開發專門的教學軟體；透過引入並調整現有的專業視覺化工具（如查詢追蹤器），可以有效輔助學生理解抽象概念。建議課程設計者在教授邏輯或演算法等高抽象度主題時，應優先考慮具備「過程視覺化」功能的工具，以協助學生進行自我監控與錯誤偵錯，從而提升學習成效。

原始文獻資訊

英文標題：
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
作者：
Juli\'an M\'endez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Kr\"otzsch, Raimund Dachselt
來源：
arXiv - Human-Computer Interaction
AI 摘要模型：
/models/gemma-4-26B-A4B-it
閱讀原文

每週精選研究電子報

每週五信箱收到精選 5 篇教育科技重點研究摘要，零時間壓力掌握學術前沿。