STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior
Resumo
O presente trabalho aborda o desenvolvimento e a avaliação de um Sistema Tutor Inteligente (STI) utilizado para auxiliar na aprendizagem de Equivalência Lógica Proposicional no Curso de Licenciatura em Computação do Setor Palotina da UFPR. Na criação do STI foram utilizadas técnicas de Desenvolvimento Web e de Inteligência Artificial (IA), tais como Bootstrap e Lógica Fuzzy. Sua utilização foi baseada na solução de desafios pelo aluno sendo que, a cada desafio, o sistema lhe reporta um feedback e o acompanha no progresso de sua aprendizagem. O software foi submetido a experimentos, com o intuito de validá-lo enquanto ferramenta educacional. Como resultado obtivemos uma melhora na aprendizagem dos alunos da disciplina de Lógica de nossa instituição.
Palavras-chave:
Sistema Tutor Inteligente, Equivalência Lógica, Educação Superior, Desenvolvimento Web, Inteligência Artificial
Referências
Ausubel, D. P. (2003). Aquisição e retenção de conhecimentos: uma perspectiva cognitiva (Vol. 1). Lisboa: Platano.
Carbonell, J. R. (1970). Ai incai: An artificial-intelligence approach to computer-assisted instruction. IEEE transactions on man-machine systems, 11(4), 190–202. Retrieved from [link]
Carbonell, J. R. (1971). Artificial intelligence and large interactive man-computer systems. BOLT BERANEK AND NEWMAN INC CAMBRIDGE MASS. Retrieved from [link]
Coppin, B. (2010). Inteligência Artificial. Tradução e revisão técnica: Jorge Durães Pires Valério. Rio de Janeiro: LTC.
Elsom-Cook, M. (1987). Intelligent computer-aided instruction research at the open university. citereportno.10. EUA: Open University: ERIC.
Fowler, D. G. (1991). A model for designing intelligent tutoring systems. Journal of Medical Systems, 15(1), 47-63.
Gavidia, J. J. Z., e ANDRADE, L. C. V. d. (2003). Sistemas tutores inteligentes. Rio de Janeiro – RJ.
Grivokostopoulou, F., Perikos, I., e Hatzilygeroudis, I. (2013). An intelligent tutoring system for teaching folequivalence. The First Workshop on AI-supported Education for Computer Science (AIEDCS 2013), 20.
Klir, G., e Yuan, B. (1995). Fuzzy sets and fuzzy logic (Vol. 4). New Jersey, USA: Prentice hall.
Lodder, J., Heeren, B., e Jeuring, J. (2015). A pilot study of the use of logex, lessons learned. arXiv preprint arXiv:1507.03671. Retrieved from [link]
Lodder, J., Heeren, B., e Jeuring, J. (2016). A domain reasoner for propositional logic. J. UCS, 22(8), 1097–1122. Retrieved from [link]
Lodder, J., Passier, H., e Stuurman, S. (2008). Using ideas in teaching logic, lessons learned. In Computerscience and software engineering, 2008 international conference on (Vol. 5, pp. 553–556).
Mostafavi, B., e Barnes, T. (2017). Evolution of an intelligent deductive logic tutor using data-driven elements. International Journal of Artificial Intelligence in Education, 27(1), 5–36. Retrieved from [link]
Nwana, H. S. (1990). Intelligent tutoring systems: an overview. Artificial Intelligence Review, 4(4), 251–277. Retrieved from [link]
Pimentel, E. P., de França, V. F., e Omar, N. (2003). A identificação de grupos de aprendizes no ensino presencial utilizando técnicas de clusterização. Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação - SBIE), 1(1), 495–504. Retrieved from [link]
Rissoli, V. R. V., Giraffa, L. M. M., e Martins, J. P. (2006). Sistema tutor inteligente baseado na teoria da aprendizagem significativa com acompanhamento fuzzy. Informática na educação: teoria & prática, 9(2).
Veen, W., e Vrakking, B. (2009). Homo zappiens: educando na era digital. Porto Alegre: Artimed: Artmed Editora.
Vygotsky, L. S. (1978). Mind in society: The development of higher psychological processes. EUA: Library of congress cataloging in publication data: Harvard university press.
Carbonell, J. R. (1970). Ai incai: An artificial-intelligence approach to computer-assisted instruction. IEEE transactions on man-machine systems, 11(4), 190–202. Retrieved from [link]
Carbonell, J. R. (1971). Artificial intelligence and large interactive man-computer systems. BOLT BERANEK AND NEWMAN INC CAMBRIDGE MASS. Retrieved from [link]
Coppin, B. (2010). Inteligência Artificial. Tradução e revisão técnica: Jorge Durães Pires Valério. Rio de Janeiro: LTC.
Elsom-Cook, M. (1987). Intelligent computer-aided instruction research at the open university. citereportno.10. EUA: Open University: ERIC.
Fowler, D. G. (1991). A model for designing intelligent tutoring systems. Journal of Medical Systems, 15(1), 47-63.
Gavidia, J. J. Z., e ANDRADE, L. C. V. d. (2003). Sistemas tutores inteligentes. Rio de Janeiro – RJ.
Grivokostopoulou, F., Perikos, I., e Hatzilygeroudis, I. (2013). An intelligent tutoring system for teaching folequivalence. The First Workshop on AI-supported Education for Computer Science (AIEDCS 2013), 20.
Klir, G., e Yuan, B. (1995). Fuzzy sets and fuzzy logic (Vol. 4). New Jersey, USA: Prentice hall.
Lodder, J., Heeren, B., e Jeuring, J. (2015). A pilot study of the use of logex, lessons learned. arXiv preprint arXiv:1507.03671. Retrieved from [link]
Lodder, J., Heeren, B., e Jeuring, J. (2016). A domain reasoner for propositional logic. J. UCS, 22(8), 1097–1122. Retrieved from [link]
Lodder, J., Passier, H., e Stuurman, S. (2008). Using ideas in teaching logic, lessons learned. In Computerscience and software engineering, 2008 international conference on (Vol. 5, pp. 553–556).
Mostafavi, B., e Barnes, T. (2017). Evolution of an intelligent deductive logic tutor using data-driven elements. International Journal of Artificial Intelligence in Education, 27(1), 5–36. Retrieved from [link]
Nwana, H. S. (1990). Intelligent tutoring systems: an overview. Artificial Intelligence Review, 4(4), 251–277. Retrieved from [link]
Pimentel, E. P., de França, V. F., e Omar, N. (2003). A identificação de grupos de aprendizes no ensino presencial utilizando técnicas de clusterização. Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação - SBIE), 1(1), 495–504. Retrieved from [link]
Rissoli, V. R. V., Giraffa, L. M. M., e Martins, J. P. (2006). Sistema tutor inteligente baseado na teoria da aprendizagem significativa com acompanhamento fuzzy. Informática na educação: teoria & prática, 9(2).
Veen, W., e Vrakking, B. (2009). Homo zappiens: educando na era digital. Porto Alegre: Artimed: Artmed Editora.
Vygotsky, L. S. (1978). Mind in society: The development of higher psychological processes. EUA: Library of congress cataloging in publication data: Harvard university press.
Publicado
11/11/2019
Como Citar
SCHREINER, Marcos A.; GIL, Fabio H.; LISBÔA, Eliana S.; KARLING, Daniel A..
STI - Lógica Livre: uma ferramenta para auxiliar a aprendizagem de equivalência lógica no âmbito da educação superior. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 30. , 2019, Brasília/DF.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2019
.
p. 1661-1670.
DOI: https://doi.org/10.5753/cbie.sbie.2019.1661.
