Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados
Resumo
Apesar da importância da disciplina de Lógica para o currículo de áreas científicas e tecnológicas, existem vários problemas com o ensino desta disciplina em cursos de graduação. As ferramentas computacionais, especialmente os sistemas tutores inteligentes, podem ter um impacto positivo na aprendizagem da Lógica. O presente trabalho apresenta um ambiente inteligente para o ensino da Lógica Proposicional, que se destaca de seus predecessores em dois aspectos fundamentais: a adesão aos princípios dialécticos e sócio-históricos em seus processos de tutoria e um suporte de aprendizagem para os principais conceitos da Lógica Proposicional. O artigo apresenta a interface do usuário e os recursos de tutoria do ambiente. Experimentos empíricos realizados com o ambiente mostram, com um alto nível de significância estatística, que o ambiente teve um impacto positivo na aprendizagem da Lógica e foi bem aceito pelos alunos
Palavras-chave:
Lógica Proposicional, Tutoria Inteligente, Ensino de Lógica
Referências
Andrade, J., Canese, M. (2013) Um Sistema Web Gamificado para a Aprendizagem de Logica Formal. Anais do CBIE2013, Campinas.
Alonso, J.A., Aranda, G.A., Martin-Mateos, F. J. (2007) KRRT: Knowledge Representation and Reasoning Tutor System. Procs of EUROCAST-2007.
Barnes, T., Stamper, J. (2010) Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. In Educational Technology & Society, 13 (1), pg. 3–12.
Baronett, S. (2008) Logic. Pearson
Benzmuller, C., Horacek, H., Kruijff-Korbayov. I., Pinkal, M., Siekmann, J., Wolska, M. (2007) Natural language dialog with a tutor system for mathematical proofs. In Ullrich, C., Siekmann, J.H., Lu, R. (eds.) Cognitive Systems. LNCS (LNAI), v. 4429.
Costa, E., Silva, P., Silva, M., Silva, E., Santos, A. (2012) A Multiagent-Based ITS Using Multiple Viewpoints for Propositional Logic. Procs of ITS 2012, Chania, Crete. LNCS. v. 7315. New York: Springer, pg. 640-641.
Diaz, R., Neal, C., Amaya-Williams, M. (1992) The Social Origin of Self-regulation. In Moll, L.C (Comp.), Vygotsky and Education: Instructional Implications and Applications of Sociohistorical Psychology. Cambridge University Press.
Gersting, A. L. (2012) Fundamentos Matemáticos para a Ciência da Computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro: LTC.
Gluz, J. C., Penteado, F., Mossmann, M., Gomes, L., Vicari, R.M. (2014) A Student Model for Teaching Natural Deduction Based on a Prover that Mimics Student Reasoning. Procs. of ITS 2014, Haway. LNCS, v. 8474, p. 482-489
Lukins, S., Levicki, A., Burg, J. (2002) A tutorial program for propositional logic with human/computer interactive learning. SIGCSE Bull. 34, 1, Feb. 2002, pg. 381-385.
Malhotra, R. (2016) Empirical Research In Software Engineering: Concepts, Analysis And Applications. CRC Press. 1. ed. 486 p.
Marangunić, N., Granić, A. (2015) Technology Acceptance Model: A Literature Review from 1986 to 2013. J. of Univers. Access Inf. Soc. v. 14, n. 1, p. 81-95.
Nolt, J., Rohatyn, D., Varzi, A. (1998) Schaum's Outline of Logic. McGraw Hill.
Passerino, L. M., Santarosa, L. (2008) Autism and Digital Learning Environments: processes of interaction and mediation. Computers and Education, v.51, pg. 385-402.
Penteado, F., Gluz, J.C. (2011) Sistema Heráclito: Suporte a Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Dedução Natural na Lógica Proposicional. Anais do SBIE 2011, Aracaju. v. 1. p. 244-253.
Stamper, J, Barnes, T., Croy, M. (2010) Enhancing the Automatic Generation of Hints with Expert Seeding. Proceedings of ITS 2010, Pittsburgh. LNCS. v. 6095. New York: Springer, pg. 31-40.
Tomasello, M. (2001). The Cultural Origins of Human Cognition. Harvard Univ. Press.
Vygotsky, L. S. (1986). Thought and Language. The M.I.T. Press, Cambridge, MA.
Yacef, K. (2005) The Logic-ITA in the classroom: a medium scale experiment. In International Journal of Artificial Intelligence in Education, v.15(1).
Alonso, J.A., Aranda, G.A., Martin-Mateos, F. J. (2007) KRRT: Knowledge Representation and Reasoning Tutor System. Procs of EUROCAST-2007.
Barnes, T., Stamper, J. (2010) Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. In Educational Technology & Society, 13 (1), pg. 3–12.
Baronett, S. (2008) Logic. Pearson
Benzmuller, C., Horacek, H., Kruijff-Korbayov. I., Pinkal, M., Siekmann, J., Wolska, M. (2007) Natural language dialog with a tutor system for mathematical proofs. In Ullrich, C., Siekmann, J.H., Lu, R. (eds.) Cognitive Systems. LNCS (LNAI), v. 4429.
Costa, E., Silva, P., Silva, M., Silva, E., Santos, A. (2012) A Multiagent-Based ITS Using Multiple Viewpoints for Propositional Logic. Procs of ITS 2012, Chania, Crete. LNCS. v. 7315. New York: Springer, pg. 640-641.
Diaz, R., Neal, C., Amaya-Williams, M. (1992) The Social Origin of Self-regulation. In Moll, L.C (Comp.), Vygotsky and Education: Instructional Implications and Applications of Sociohistorical Psychology. Cambridge University Press.
Gersting, A. L. (2012) Fundamentos Matemáticos para a Ciência da Computação: um tratamento moderno de matemática discreta. 5. ed. Rio de Janeiro: LTC.
Gluz, J. C., Penteado, F., Mossmann, M., Gomes, L., Vicari, R.M. (2014) A Student Model for Teaching Natural Deduction Based on a Prover that Mimics Student Reasoning. Procs. of ITS 2014, Haway. LNCS, v. 8474, p. 482-489
Lukins, S., Levicki, A., Burg, J. (2002) A tutorial program for propositional logic with human/computer interactive learning. SIGCSE Bull. 34, 1, Feb. 2002, pg. 381-385.
Malhotra, R. (2016) Empirical Research In Software Engineering: Concepts, Analysis And Applications. CRC Press. 1. ed. 486 p.
Marangunić, N., Granić, A. (2015) Technology Acceptance Model: A Literature Review from 1986 to 2013. J. of Univers. Access Inf. Soc. v. 14, n. 1, p. 81-95.
Nolt, J., Rohatyn, D., Varzi, A. (1998) Schaum's Outline of Logic. McGraw Hill.
Passerino, L. M., Santarosa, L. (2008) Autism and Digital Learning Environments: processes of interaction and mediation. Computers and Education, v.51, pg. 385-402.
Penteado, F., Gluz, J.C. (2011) Sistema Heráclito: Suporte a Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Dedução Natural na Lógica Proposicional. Anais do SBIE 2011, Aracaju. v. 1. p. 244-253.
Stamper, J, Barnes, T., Croy, M. (2010) Enhancing the Automatic Generation of Hints with Expert Seeding. Proceedings of ITS 2010, Pittsburgh. LNCS. v. 6095. New York: Springer, pg. 31-40.
Tomasello, M. (2001). The Cultural Origins of Human Cognition. Harvard Univ. Press.
Vygotsky, L. S. (1986). Thought and Language. The M.I.T. Press, Cambridge, MA.
Yacef, K. (2005) The Logic-ITA in the classroom: a medium scale experiment. In International Journal of Artificial Intelligence in Education, v.15(1).
Publicado
30/10/2017
Como Citar
GLUZ, João Carlos; BUENO, Rafael; PERES, Rafael Koch; GALAFASSI, Fabiane Penteado.
Tutoria Inteligente Completa para os Conceitos Formais da Lógica Proposicional: Experimentos e Resultados. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 28. , 2017, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2017
.
p. 1107-1116.
DOI: https://doi.org/10.5753/cbie.sbie.2017.1107.
