Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Galafassi, F.F.P.: Agente Pedagógico para Mediação do Processo de Ensino-Aprendizagem da Dedução Natural na Lógica Proposicional. Master Thesis. UNISINOS (2012)
FIPA-ACL. “FIPA ACL Message Structure Specification”. Foundation for Intelligent Physical Agents. Disponível em. http://www.fipa.org/specs/fipa00061/SC00061G.html. Accessed 30 Mar 2019
Bellifemine, F., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. In: Wooldridge, M. (ed.) Wiley Series in Agent Technology, Liverpool University, UK (2007)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in Agent Speak using Jason, vol. 8. Wiley, Hoboken (2007)
Galafassi, P.F.F., Santos, A.V., Peres, R.K., Vicari, R.M., Gluz, J.C.: Multi-plataform interface to an ITS of proposicional logic teaching. In: 13 International Conference on Practical Applications of Agents and Multi-Agent Systems, 2015, Salamanca. Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection, vol. 524, pp. 309–319 (2015)
Gluz, J.C., Bueno, R., Peres, R.K., Galafassi, P.F.F.: Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados. VI Congresso Brasileiro de Informática na Educação (CBIE 2017). In: Proceedings of the XXVIII Brazilian Symposium of Informatics in Education (2017)
Gluz, J.C., Py, M.: Lógica para Computação. Coleção EAD. Editora Unisinos (2010)
ISELab - Laboratório de Engenharia de Softwares Inteligentes. Projeto Heráclito: Ambiente Inteligente de Ensino de Lógica. http://obaa.unisinos.br/drupal7/?q=node/25. Accessed 30 Mar 2019
AMBIENTE HERÁCLITO. http://labsim.unipampa.edu.br:8080/heraclito/. Accessed 30 Mar 2019
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Galafassi, F.F.P., Galafassi, C., Vicari, R.M., Gluz, J.C. (2019). Heráclito: Intelligent Tutoring System for Logic. In: Demazeau, Y., Matson, E., Corchado, J., De la Prieta, F. (eds) Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection. PAAMS 2019. Lecture Notes in Computer Science(), vol 11523. Springer, Cham. https://doi.org/10.1007/978-3-030-24209-1_24
Download citation
DOI: https://doi.org/10.1007/978-3-030-24209-1_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-24208-4
Online ISBN: 978-3-030-24209-1
eBook Packages: Computer ScienceComputer Science (R0)