This paper describes LOGAX, an interactive tutoring tool that gives hints and feedback to a student who stepwise constructs a Hilbert-style axiomatic proof in propositional logic. LOGAX generates proofs to calculate hints and feedback. We compare these generated proofs with expert proofs and student solutions, and conclude that the quality of the…

Large Language Models (LLMs) hold promise as dynamic instructional aids. Yet, it remains unclear whether LLMs can replicate the adaptivity of intelligent tutoring systems (ITS)--where student knowledge and pedagogical strategies are explicitly modeled. We propose a prompt variation framework to assess LLM-generated instructional moves' adaptivity…

This paper demonstrates that a teachable agent (TA) can play a dual role in an online learning environment (OLE) for learning by teaching--the teachable agent working as a synthetic peer for students to learn by teaching and as an interactive tool for cognitive task analysis when authoring an OLE for learning by teaching. We have developed an OLE…

Intelligent tutoring systems (ITS) have been shown to be highly effective at promoting learning as compared to other computer-based instructional approaches. However, many ITS rely heavily on expert design and hand-crafted rules. This makes them difficult to build and transfer across domains and limits their potential efficacy. In this paper, we…

Purpose: The purpose of this study is to develop an intelligent tutoring system (ITS) for programming learning based on information tutoring feedback (ITF) to provide real-time guidance and feedback to self-directed learners during programming problem-solving and to improve learners' computational thinking. Design/methodology/approach: By…

This report showcases a new type of online homework system that provides students with a free-form interface and dynamic feedback. The ORCCA Tutor (Open-Response Chemistry Cognitive Assistance Tutor) is a production rules-based online tutoring system utilizing the Cognitive Tutoring Authoring Tools (CTAT) developed by Carnegie Mellon University.…

This systematic literature review explores the implementation and effectiveness of active learning approaches in online training environments. The rapid growth of online education necessitates strategies that enhance learner engagement and improve educational outcomes. The review identifies various active learning techniques, such as discussions,…

Higher Education faces challenges in providing learning experiences and cultivating competencies in our modern environment. Academic discourse centres on tutoring automation, a complicated educational dilemma in the age of Machine Learning, Deep Learning, and Artificial Intelligence. Establishing a structured technique for real competency…

Feedback in exploratory learning systems has been depicted as an important contributor to encourage exploration. However, few studies have explored learners' interaction patterns associated with feedback and the use of external representations in exploratory learning environments. This study used Fractions Lab, an exploratory learning environment…

Feedback on student answers and even during intermediate steps in their solutions to open-ended questions is an important element in math education. Such feedback can help students correct their errors and ultimately lead to improved learning outcomes. Most existing approaches for automated student solution analysis and feedback require manually…

Hypothesis testing involves a complex stepwise procedure that is challenging for many students in introductory university statistics courses. In this paper we assess how feedback from an Intelligent Tutoring System can address the logic of hypothesis testing and whether such feedback contributes to first-year social sciences students' proficiency…

The effect of metacognitive scaffolding for learning by teaching was investigated and compared against learning by being tutored. Three versions of an online learning environment for learning algebra equations were created: (1) APLUS that allows students to interactively teach a synthetic peer with a goal to have the synthetic peer pass the quiz…

How to support students in programming learning has been a great research challenge in the last years. To address this challenge, prior works have mainly focused on proposing solutions based on syntactic analysis to provide students with personalized feedback about their grammatical programming errors and misconceptions. However, syntactic…

Design tasks are difficult to teach, due to large, unstructured solution spaces, underspecified problems, non-existent problem solving algorithms and stopping criteria. In this paper, we comment on our approach to develop KERMIT, a constraint-based tutor that taught database design. In later work, we re-implemented KERMIT as EER-Tutor, and…

Help seeking is an important process in self-regulated learning (SRL). It may influence learning with intelligent tutoring systems (ITSs), because many ITSs provide help, often at the student's request. The Help Tutor was a tutor agent that gave in-context, real-time feedback on students' help-seeking behavior, as they were learning with an ITS.…