EvoLogic: Toward an ITS for Teaching Propositional Logic

Autor/inn/en	Galafassi, Cristiano; Galafassi, Fabiane Flores Penteado; Vicari, Rosa Maria; Reategui, Eliseo Berni
Titel	EvoLogic: Toward an ITS for Teaching Propositional Logic
Quelle	In: International Journal of Artificial Intelligence in Education, 33 (2023) 1, S.35-58 (24 Seiten)Infoseite zur Zeitschrift PDF als Volltext Verfügbarkeit
Zusatzinformation	ORCID (Galafassi, Cristiano)
Sprache	englisch
Dokumenttyp	gedruckt; online; Zeitschriftenaufsatz
ISSN	1560-4292
DOI	10.1007/s40593-021-00287-7
Schlagwörter	Intelligent Tutoring Systems; Logical Thinking; Models; Teaching Methods; Instructional Design; Problem Solving; Algorithms + Suchen Sie Ihr Suchwort? Intelligentes Tutorsystem; Analogiemodell; Teaching method; Lehrmethode; Unterrichtsmethode; Lesson concept; Lessonplan; Unterrichtsentwurf; Problemlösen; Algorithm; Algorithmus
Abstract	This work presents the intelligent tutoring system, EvoLogic, developed to assist students in problems of natural production in propositional logic. EvoLogic has been modeled as a multiagent system composed of three autonomous agents: interface, pedagogical and specialist agents. It supports pedagogical strategies inspired by the theory of example-based learning based on the use of an automated model tracing mechanism. This mechanism eliminates the necessity of the teacher to manually design every possible interaction between students and EvoLogic. It also includes several examples for each propositional rule. A specific study carried out with a set of 10 exercises taken from a real-world scenario is then presented to evaluate EvoLogic's performance and compare it to that of an earlier ITS (Heráclito) developed for the same purpose. The study showed that EvoLogic was able to provide different (and correct) solutions for the exercises analyzed. By having these solutions available, the model tracing mechanism was able to follow the students' steps, providing help that was consistent with the line of reasoning pursued by each student. A direct comparison between EvoLogic and Heráclito, which operates using one single line of reasoning for each theorem proof, showed that the model tracing mechanism of EvoLogic was more accurate in guiding students in the exercises. In addition to this positive outcome, EvoLogic's model tracing mechanism is novel in its use of genetic algorithms to build solutions on the fly for propositional logic exercises started by the students. (As Provided).
Anmerkungen	Springer. Available from: Springer Nature. One New York Plaza, Suite 4600, New York, NY 10004. Tel: 800-777-4643; Tel: 212-460-1500; Fax: 212-460-1700; e-mail: customerservice@springernature.com; Web site: https://link.springer.com/
Erfasst von	ERIC (Education Resources Information Center), Washington, DC
Update	2024/1/01