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.
CITATION STYLE
Galafassi, F. F. P., Galafassi, C., Vicari, R. M., & Gluz, J. C. (2019). Heráclito: Intelligent Tutoring System for Logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11523 LNAI, pp. 251–254). Springer Verlag. https://doi.org/10.1007/978-3-030-24209-1_24
Mendeley helps you to discover research relevant for your work.