Sistema Heráclito: Objeto de Aprendizagem para o Ensino da Dedução Natural na Lógica Proposicional

Resumo

O presente artigo tem como objetivo apresentar o sistema Heráclito e seu editor de provas. Caracterizado como um objeto de aprendizagem, o sistema Heráclito aborda o ensino da dedução natural na lógica proposicional. Tem seu foco associado ao uso de tecnologias de agentes com características pedagógicas que fazem o uso de diversas estratégias de ensino-aprendizagem com o intuito de auxiliar o aluno em seu processo de raciocínio na resolução de um exercício. Experimentos preliminares em sala de aula mostraram que a ferramenta obteve boa aceitação e o sistema tutor se mostrou eficiente.