Development and Evaluation of an Intelligent Tutoring System for Teaching Natural Deduction

Abstract

We present an intelligent tutoring system that teaches natural deduction to undergraduates. Our system was implemented on a client-server framework. An expert problem solver in the system provides basic instructional help, such as suggesting the use of a rule in the next step of solving a problem and indicating the inference drawn by applying the rule. Students learning with our tutoring system can vary the degree of help they receive (from low to high and vice versa). Empirical evaluation showed that the system enhanced the problem-solving performance of participants during the learning phase, and these performance gains were carried over to the post-test phase.