Model-Based Reasoning for Domain Modeling, Explanation Generation and Animation in an ITS to help Students Learn C++
نویسنده
چکیده
We have been developing an Intelligent Tutoring System to teach students to analyze and debug C++ programs for semantic and run-time errors. In this tutor, we have used Model-Based Reasoning for domain modeling and explanation generation. In addition, we plan to use it for program animation. In this paper, we will present our design of the tutor, and results from evaluating one instance of the tutor in several sections of our Computer Science II course.
منابع مشابه
Model-Based Reasoning for Domain Modeling in a Web-Based Intelligent Tutoring System to Help Students Learn to Debug C++ Programs
The benefits of using Model-Based Reasoning for domain modeling are several-fold. We analyze these benefits and illustrate them in the context of a Web-based Intelligent Tutoring System. The system is designed to teach students to analyze and debug C++ programs for semantic and run-time errors. We have evaluated one instance of the Model-Based tutor, which deals with debugging pointers in C++, ...
متن کاملMultiple representations to support learning of complex ecological processes in simulation environments
This paper combines Multi-Agent based simulation with causal modeling and reasoning to help students learn about ecological processes. Eighth grade students who took part in the study showed highly significant pre to post test gains on learning domain content and causal reasoning ability. Moreover, students’ success in reasoning with a causal model of the ecosystem was strongly correlated with ...
متن کاملHow to Explain Mistakes
Usually we teach formal methods relying for a large part on one kind of reasoning technique about a formal model. For instance, we either use formal proof or we use model-checking. It would appear that it is already hard enough to learn one technique and having to cope with two puts just another burden on the students. This is not our experience. Especially model-checking is easily used to comp...
متن کاملDistributed Case Based Reasoning for Intelligent Tutoring System: An Agent Based Student Modeling Paradigm
Online learning with Intelligent Tutoring System (ITS) is becoming very popular where the system models the student’s learning behavior and presents to the student the learning material (content, questions-answers, assignments) accordingly. In today’s distributed computing environment, the tutoring system can take advantage of networking to utilize the model for a student for students from othe...
متن کاملExplanation of step-by-step execution as feedback for problems on program analysis, and its generation in model-based problem-solving tutors
We have been developing problem-solving tutors for programming. The tutors target program analysis tasks – evaluating expressions, predicting the output of programs and debugging programs. As part of the feedback, the tutors provide explanation of the step-by-step execution of programs. In this paper, we will present the pedagogy behind providing such explanation. In order to be able to automat...
متن کامل