Resumo
Este projeto visa a investigação de Sistemas Tutores Inteligentes (STI) no domínio da Matemática e a implementação de um STI para o Cálculo Proposicional. Para tanto, será necessário propor modelos de representação de conhecimentos vaiados, como o próprio assunto Tutorial, os diferentes métodos didáticos usados para ensiná-lo o status do usuário-aluno (seu conhecimento sobre o assunto, su…