Skip to main content
SpringerLink
Log in

Multi-plataform Interface to an ITS of Proposicional Logic Teaching

  • Conference paper
  • First Online:
Book cover Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection (PAAMS 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 524))

Abstract

The present article has the objective to show some preliminary results of new Web interface developed to multi-agent system named Heraclito. The Heraclito is one Intelligent Tutoring System (ITS) who has as objective teach propositional logic to undergraduate students of Computer. This version was developed with Test Driven Development (TDD) technique. This approach allowed us to create an interface more friendly and, the access by Web Browser, turned the tool adaptive, may now been available to work on computers, tablets, smartphones and also on Smart TVs.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The compiled data for this article who justify the development of this teach system for Logic can be founded on: http://biblioteca.asav.org.br/vinculos/000003/00000335.pdf, page 15, item 2.1 Justification.

  2. 2.

    The infrastructure MILOS agents is an agent infrastructure that supports authoring, management, search and provision of learning objects compatible with the OBAA (Learning Object Based Artificial Agents), and is more general objective of the project Infrastructure OBAA-MILOS create the technological foundation that can perform the adoption of the proposed metadata OBAA learning objects. More information at: http://www.portalobaa.org/padrao-obaa/relatorios-tecnicos/copy_of_1o-relatorio-parcial-obaa-milos-comunidade-finep/AnexoA-EspecArqMILOSV10.pdf/view.

  3. 3.

    The Heraclito system can be accessed in: http://gia.inf.ufrgs.br/heraclito_web/. Information and documentation in: http://obaa.unisinos.br/heraclito.htm.

  4. 4.

    More information about the OBAA project in: http://www.portalobaa.org/.

  5. 5.

    The latest versions can be downloaded in: http://obaa.unisinos.br/heraclito.htm.

  6. 6.

    The tools found and used in Table 1 for comparison between Logic tutoring systems surveyed and Heraclitus system, the latest systems dating from 2005, which leads us to believe that this issue stopped being studied and addressed in the middle research academic (at least temporarily).

  7. 7.

    More information about the SAAPIENS in: systemhttp://www.br-ie.org/pub/index.php/sbie/article/view/3041/2552.

References

  1. 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. Acesso em 9 January 2015

  2. Vicari, R., Gluz, J., Passerino, L., et al.: The OBAA proposal for learning objects supported by agents. In: Procs. of MASEIE Workshop – AAMAS 2010, Toronto, Canadá (2010)

    Google Scholar 

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

    Google Scholar 

  4. Gluz, J.C., Vicari, R.M.: MILOS: Infraestrutura de Agentes para Suporte a Objetos de Aprendizagem OBAA. Anais do XXI SBIE (2010)

    Google Scholar 

  5. Galafassi, F.F.P., Gluz, J.C., Gomes, L., Mossmann, M.: Sistema Heráclito: Objeto de Aprendizagem para o Ensino da Dedução Natural na Lógica Proposicional. In: Anais dos Workshops do CBIE 2013. http://www.br-ie.org/pub/index.php/wcbie/article/view/2674. Acesso em 10 Jan 2015

  6. Bootstrap: Framework web gratuito da empresa twitter. http://getbootstrap.com/. Acesso em 10 Jan 2015

  7. COQ Proof Assistent. http://coq.inria.fr/. Acesso em 08 Mar 2015

  8. HOL4. http://hol.sourceforge.net/. Acesso em 08 Mar 2015

  9. JAPE. http://www.cs.ox.ac.uk/people/bernard.sufrin/jape.html. Acesso em 08 Mar 2015

  10. OTTER. http://www.cs.unm.edu/~mccune/otter/. Acesso em 08 Mar 2015

  11. PANDORA. http://www.doc.ic.ac.uk/pandora/newpandora/. Acesso em 08 Mar 2015

  12. PROVER9. http://www.cs.unm.edu/~mccune/prover9/. Acesso em 08 Mar 2015

  13. SPASS: An Automated Theorem Prover for First-Order Logic with Equality. http://www.spass-prover.org/. Acesso em 08 Mar 2015

  14. The E Theorem Prover. http://www4.informatik.tu-muenchen.de/~schulz/E/E.html. Acesso em 08 Mar 2015

  15. Barnes, T.; Stamper, J.: Automatic hint generation for logic proof tutoring using historical data. J. Educ. Technol. Soc., Special issue on Intelligent Tutoring Systems. 13(1), 3–15 (2010). http://www.academia.edu/442299/Automatic_Hint_Generation_for_Logic_Proof_Tutoring_Using_Historical_Data. Acesso em 08 Mar 2015

  16. Lesta, L., Yacef, K.: An intelligent teaching assistant system for logic. In: 12th International Conference on Artificial Intelligence in Education. http://sydney.edu.au/engineering/it/~kalina/publis/lesta_yacef_its02.pdf. Acesso em 08 Mar 2015

  17. Croy, M., Barnes, T., Stamper, J.: Towards an Intelligent Tutoring System for Propositional Proof Construction. University of North Carolina, Charlotte. http://www.philosophy.uncc.edu/mjcroy/croy_pubs/Croy_Barnes_Stamper_ECAP.pdf. Acesso em 08 Mar 2015

  18. Alonso, J.A; Aranda, Gonzalo A.; Martin-Mateos, F.J.: KRRT: Knowledge Representation and Reasoning Tutor System. http://150.214.140.135/~jalonso/publicaciones/2007-EUROCAST.pdf. Acesso em 08 Mar 2015

  19. Moreno, A.: Mathematical Logic Tutor - Propositional Calculus. http://aracne.usal.es/congress/PDF/AntonioMoreno.pdf. Acesso em 08 Mar 2015

  20. Lukins, S., Levicki, A., Burg, J.A.: Tutorial Program for Propositional Logic with Human/Computer Interactive Learning. Department of Computer Science Wake Forest University. Winston-Salem, NC. http://csweb.cs.wfu.edu/~burg/BurgMain/public/media/PropLogic.pdf. Acesso em 08 Mar 2015

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 F. P. Galafassi, Alan Velasques Santos, Rafael Koch Peres & Rosa Maria Vicari

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

    João Carlos Gluz

Authors
  1. Fabiane F. P. Galafassi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alan Velasques Santos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rafael Koch Peres
    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. João Carlos Gluz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabiane F. P. Galafassi .

Editor information

Editors and Affiliations

  1. Departamento de Inteligencia Artificial, Universidad Politécnica de Madrid, Madrid, Spain

    Javier Bajo

  2. University of Southern Denmark, Odense, Denmark

    Kasper Hallenborg

  3. Faculty of Engineering Management, Poznan University, Poznan, Poland

    Pawel Pawlewski

  4. Departamento de Sistemas Informáticos y Computación, Polytechnic University of Valencia, Valencia, Spain

    Vicente Botti

  5. Fluminense Federal University, Rio de Janeiro, Brazil

    Nayat Sánchez-Pi

  6. Universidad Nacional de Colombia, Manizales, CALDAS, Colombia

    Nestor Darío Duque Méndez

  7. Lab. Nacional de Energia e Geologia, Lisbon, Portugal

    Fernando Lopes

  8. Universidad Politécnica de Valencia, Valencia, Spain

    Vicente Julian

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Galafassi, F.F.P., Santos, A.V., Peres, R.K., Vicari, R.M., Gluz, J.C. (2015). Multi-plataform Interface to an ITS of Proposicional Logic Teaching. In: Bajo, J., et al. Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection. PAAMS 2015. Communications in Computer and Information Science, vol 524. Springer, Cham. https://doi.org/10.1007/978-3-319-19033-4_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19033-4_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19032-7

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation