Skip to main content
Springer Nature Link
Log in

Heráclito: Learning Environment to Teach Logic

  • Conference paper
  • First Online:
Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection (PAAMS 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10349))

  • 1427 Accesses

Abstract

The present paper aims to present the Heráclito environment. The Heráclito is an Intelligent Tutoring System focused on teaching Logic and assists students in solving exercises that ask them to calculate the logical value of a formula, going through truth table exercises, and even doing argument-proof exercises through rules of Natural Deduction. In order to do so, it provides the Electronic Logic Exercise Notebook - LOGOS (Free to use at http://obaa.unisinos.br/heraclito/.) [1] (with two different test editors) that allows creating and editing formulas, truth tables and proofs of Natural Deduction to Propositional Logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    More information at: http://www.portalobaa.org/padrao-obaa/relatorios-tecnicos/copy_of_1o-relatorio-parcial-obaa-milos-comunidade-finep/AnexoA-EspecArqMILOSV10.pdf/view.

References

  1. Heráclito Environment. http://obaa.unisinos.br/heraclito/. Accessed 01 Feb 2017

  2. Portal MEC: Diretrizes Curriculares - Cursos de Graduação. Computação. http://portal.mec.gov.br/component/docman/?task=doc_download&gid=11205&Itemid=. Accessed 01 Feb 2017

  3. PortalTAOS3: Sistema de Ensino de Lógica. http://obaa.unisinos.br/drupal7/?q=node/33. Accessed 01 Feb 2017

  4. Galafassi, F.F.P., Santos, A.V., Peres, R.K., Vicari, R.M., Gluz, J.C.: Multi-plataform interface to an ITS of proposicional logic teaching. In: Bajo, J., Hallenborg, K., Pawlewski, P., Botti, V., Sánchez-Pi, N., Duque Méndez, N.D., Lopes, F., Julian, V. (eds.) PAAMS 2015. CCIS, vol. 524, pp. 309–319. Springer, Cham (2015). doi:10.1007/978-3-319-19033-4_26

    Chapter  Google Scholar 

  5. Galafassi, F.F.P.: Agente Pedagógico para Mediação do Processo de Ensino-Aprendizagem da Dedução Natural na Lógica Proposicional. Dissertação de Mestrado. UNISINOS (2012). http://biblioteca.asav.org.br/vinculos/000003/00000335.pdf. Accessed 01 Feb 2017

  6. Gluz, J.C., Py, M.: Lógica para Computação. Coleção EAD. Editora Unisinos (2010)

    Google Scholar 

  7. Viccari, R., Gluz, J., Passerino, L., et al.: The OBAA proposal for learning objects supported by agents. In: Proceedings of MASEIE Workshop – AAMAS 2010, Toronto, Canada (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, RS, 91501-970, Brazil

    Fabiane Flores Penteado Galafassi, Rosa Maria Vicari & Rafael Koch Peres

  2. Universidade Federal do Pampa (UNIPAMPA), Campus Itaqui, Itaqui, RS, 97650-000, Brazil

    Cristiano Galafassi

  3. Programa Interdisciplinar de Pós Graduação em Computação Aplicada (PIPCA), Universidade do Vale do Rio dos Sinos (UNISINOS), Caixa Postal 275, São Leopoldo, RS, 93022-000, Brazil

    João Carlos Gluz

Authors
  1. Fabiane Flores Penteado Galafassi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cristiano Galafassi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. João Carlos Gluz
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rosa Maria Vicari
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Rafael Koch Peres
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabiane Flores Penteado Galafassi .

Editor information

Editors and Affiliations

  1. Centre National de la Rech. Scientifique , Grenoble, France

    Yves Demazeau

  2. Malmö University , Malmö, Sweden

    Paul Davidsson

  3. Universidad Politécnica de Madrid , Madrid, Spain

    Javier Bajo

  4. Polytechnic Institute of Porto , Porto, Portugal

    Zita Vale

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Galafassi, F.F.P., Galafassi, C., Gluz, J.C., Vicari, R.M., Peres, R.K. (2017). Heráclito: Learning Environment to Teach Logic. In: Demazeau, Y., Davidsson, P., Bajo, J., Vale, Z. (eds) Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection. PAAMS 2017. Lecture Notes in Computer Science(), vol 10349. Springer, Cham. https://doi.org/10.1007/978-3-319-59930-4_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59930-4_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59929-8

  • Online ISBN: 978-3-319-59930-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics