Um tutor inteligente para a programação em lógica : idealização, projecto e desenvolvimento

Abstract

Este trabalho de investigação situa-se na área dos Tutores Inteligentes, para o ensino da Programação em Lógica, envolvendo figuras de programação (decisão, repetição e recursão) e estruturas de representação da informação. O Tutor Prolog ensina um subconjunto da linguagem de programação Prolog através da geração automática de exemplos organizados em níveis de complexidade dentro de um contexto instrucional. Estes exemplos são apresentados simultaneamente em Português e em Prolog. O modelo de ensino é suportado por conhecimentos e por hipóteses que representam o conhecimento que o aluno possuia ou adquiriu através do tutorial. O Tutor-Prolog aprende através de modelos (do aluno e da interação) resultantes da aplicação de hipóteses geradas com base no conhecimento existente a cada momento. Em grande parte dos casos as hipóteses são utilizadas conjuntamente com os exemplos. A capacidade de aprendizagem do Tutor Prolog é limitada a determinadas áreas de sua intervenção, como a selecção das estratégias de ensino (ao nível do tutorial), os programas que o aluno escreve (ao nível da depuração) e o vocabulário e a sintaxe que utiliza para as consultas (ao nível da interface em língua natural escrita). O presente trabalho apoiou-se em experimentação prática realizada com alunos do ensino secundário de uma escola de Lisboa, tendo o Tutor-Prolog resultado de diversas observações feitas com os três protótipos desenvolvidos.