Return to search

Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas

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.

Identiferoai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2229
Date06 March 2009
CreatorsEliane Santiago Ramos
ContributorsJosé Maria Parente de Oliveira
PublisherInstituto Tecnológico de Aeronáutica
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0024 seconds