SAAPIENS: Uma ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional

Resumo

A necessidade de ferramentas que auxiliem os professores, no planejamento, implementação e no monitoramento do processo de ensinoaprendizagem, é uma realidade importante na área educacional. Em alguns casos, as dificuldades de acesso a essas tecnologias, juntamente com a falta de conhecimento e compreensão por parte dos professores, prejudica a forma como conteúdos educacionais poderiam ser desenvolvidos e utilizados. Esta é a principal motivação por trás da criação do SAAPIEnS ferramenta de autoria e acompanhamento educacional. A ferramenta tem uma arquitetura de sistema multiagente construída sobre o sistema Tutor Heráclito. Isso possibilita aos professores criar objetos de aprendizagem personalizáveis para o domínio de aprendizagem na dedução natural na lógica proposicional. Ele também ajuda os professores a verificar e monitorar o quanto os objetos de aprendizagem estão contribuindo para a melhoria e progresso dos alunos.