Detalhes bibliográficos
| Ano de defesa: |
2009 |
| Autor(a) principal: |
Eliane Santiago Ramos |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2229
|
Resumo: |
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. |
