Advertisement
Published in:
2020 | OriginalPaper | Chapter
EvoLogic: Intelligent Tutoring System to Teach Logic
Authors : Cristiano Galafassi, Fabiane F. P. Galafassi, Eliseo B. Reategui, Rosa M. Vicari
Published in: Intelligent Systems
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.