Apresenta-se neste trabalho uma abordagem de Redes de Petri Coloridas para especificação e verificação formal de um modelo de Sistema Tutor Inteligente que utiliza a Aprendizagem Baseada em Problemas como estratégia pedagógica. A especificação e a verificação formal permitem verificar se as funcionalidades planejadas do modelo pedagógico serão realizadas, antes da etapa de implementação do sistema. Adicionalmente, o mecanismo de inferência avalia as informações coletadas nas atividades de interação do aprendiz no processo de solução de problemas e infere, por simulação de Cadeias de Markov Monte Carlo, a probabilidade de o aprendiz resolver um problema, com o propósito de capacitar o sistema à tomada de decisões. Experimentos iniciais indicam consistência geral e benefícios da proposta.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2229 |
| Date | 06 March 2009 |
| Creators | Eliane Santiago Ramos |
| Contributors | José Maria Parente de Oliveira |
| Publisher | Instituto Tecnológico de Aeronáutica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0019 seconds