Portal de Periódicos da CAPES

Capítulo de livro Produção Nacional Revisado por pares

BIBTEX RIS

Heráclito: Intelligent Tutoring System for Logic

2019; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-030-24209-1_24

1611-3349

Fabiane Flores Penteado Galafassi, Cristiano Galafassi, Rosa María Vicari, Jo�ão Carlos Gluz,

Logic, Reasoning, and Knowledge

The present article aims to present the Heraclito environment that has in the Logical Studies and Exercises Logic (LOGOS) an important tool. The Heraclito environment assists students in solving various types of Logic exercises and provides the LOGOS Electronic Notebook to create and edit formulas, truth tables and proofs of Propositional Logic. The LOGOS Electronic Notebook is compatible with tablets, smartphones and PCs. It is currently being used with 1st and 2nd year undergraduate students in curricula in the scientific and technological areas. In addition, the Heraclito environment has an Intelligent Tutor System based on Multiagent Systems that identifies the individual knowledge of each student in the context of Natural Deduction in Propositional Logic.