Título: Diagnóstico Baseado em Modelos e Intenções num Sistema Tutor
        Inteligente para Programação 

Palestrante: Karina Valdivia Delgado



Resumo: Tutores Inteligentes são sistemas computacionais de
ensino/aprendizagem que empregam técnicas de Inteligência Artificial
(IA) com o objetivo de promover o aprendizado individualizado. 
Um dos aspectos centrais de um sistema Tutor Inteligente de Programação
é a depuração do programa construido pelo aluno. Dentre as propostas de
depuração automática de programas, a técnica de IA denominada Model
Based Diagnosis (MBD), tem apresentado bons resultados para diagnosticar
programas. MBD analisa um modelo do programa representado na forma de
componentes e conexões, onde os componentes correspondem às estruturas
lógicas da linguagem de programação. No entanto, todas as propostas de
depuração automática são consideradas insuficientes por não detectarem 
todos os erros não-sintáticos, isto é, erros que estão relacionados à
intenção do programador e sua implementação no código.

PROUST é um Sistema Tutor Inteligente de Programação, baseado em
intenções, para programadores aprendizes de Pascal que é capaz de
encontrar erros não-sintáticos de programas. Este sistema, tenta
analisar a solução do estudante comparando seu programa com os elementos
de uma biblioteca de "planos de programação" - estratégias gerais para
realizar objetivos (intenções) de programação. Esse trabalho, proposto
nos anos 80, tem sido citado como inspiração para a comunidade de
padrões pedagógicos de programação. 

Neste seminário, será apresentada uma proposta que combina diagnóstico
baseado em modelos e intenções, adotando como planos, um conjunto de
padrões pedagógicos de programação que também serão modelados como
componentes para o diagnóstico baseado em modelos.