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

A necessidade de ferramentas que auxiliem os professores, no planejamento, implementacao e no monitoramento do processo de ensinoaprendizagem, e uma realidade importante na area educacional. Em alguns casos, as dificuldades de acesso a essas tecnologias, juntamente com a falta de conhecimento e compreensao por parte dos professores, prejudica a forma como conteudos educacionais poderiam ser desenvolvidos e utilizados. Esta e a principal motivacao por tras da criacao do SAAPIEnS ferramenta de autoria e acompanhamento educacional. A ferramenta tem uma arquitetura de sistema multiagente construida sobre o sistema Tutor Heraclito. Isso possibilita aos professores criar objetos de aprendizagem personalizaveis para o dominio de aprendizagem na deducao natural na logica proposicional. Ele tambem ajuda os professores a verificar e monitorar o quanto os objetos de aprendizagem estao contribuindo para a melhoria e progresso dos alunos.