2020 | OriginalPaper | Chapter
EvoLogic: Intelligent Tutoring System to Teach Logic
Authors: Cristiano Galafassi, Fabiane F. P. Galafassi, Eliseo B. Reategui, Rosa M. Vicari
Publisher: Springer International Publishing
Published in:
Intelligent Systems
Abstract
This article presents the cognitive model of the EvoLogic Intelligent Tutoring System, developed to assist in the teaching-learning process of Natural Deduction in Propositional Logic. EvoLogic consists of 3 agents, among which, the Pedagogical agent (treated here as the student model) and the Specialist agent (based on a Genetic Algorithm) compose the cognitive model. This cognitive model allows an efficient model tracing mechanism to be developed, which will follow each student’s step during the theorem proof. The purpose of the article, in addition to presenting the EvoLogic, is to analyze the efficiency of the ITS in a known exercise that has already been studied in the literature (applied to 57 students). The results show that the EvoLogic obtained all the solutions presented by the students, allowing it to follow the student’s steps, providing real-time feedback, based on the steps that the students are taking (in real time), known as model tracing.
