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

Detalhes bibliográficos
Autor(a) principal: Eliane Santiago Ramos
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações do ITA
Texto Completo: 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.
id ITA_185d9d3a3f5a6fa3fc657e261c3a53d6
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2229
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridasSistemas tutores inteligentesAprendizagem (inteligência artificial)Redes de PetriInstrução assistida por computadorSimulaçãoCadeias de MarkovMétodo de Monte CarloEducaçãoComputaçãoApresenta-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.Instituto Tecnológico de AeronáuticaJosé Maria Parente de OliveiraEliane Santiago Ramos2009-03-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2229reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:04:44Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2229http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:38:35.687Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
title Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
spellingShingle Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
Eliane Santiago Ramos
Sistemas tutores inteligentes
Aprendizagem (inteligência artificial)
Redes de Petri
Instrução assistida por computador
Simulação
Cadeias de Markov
Método de Monte Carlo
Educação
Computação
title_short Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
title_full Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
title_fullStr Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
title_full_unstemmed Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
title_sort Especificação e verificação formal de um modelo de STI-PBL por redes de PETRI coloridas
author Eliane Santiago Ramos
author_facet Eliane Santiago Ramos
author_role author
dc.contributor.none.fl_str_mv José Maria Parente de Oliveira
dc.contributor.author.fl_str_mv Eliane Santiago Ramos
dc.subject.por.fl_str_mv Sistemas tutores inteligentes
Aprendizagem (inteligência artificial)
Redes de Petri
Instrução assistida por computador
Simulação
Cadeias de Markov
Método de Monte Carlo
Educação
Computação
topic Sistemas tutores inteligentes
Aprendizagem (inteligência artificial)
Redes de Petri
Instrução assistida por computador
Simulação
Cadeias de Markov
Método de Monte Carlo
Educação
Computação
dc.description.none.fl_txt_mv 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.
description 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.
publishDate 2009
dc.date.none.fl_str_mv 2009-03-06
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2229
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2229
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Sistemas tutores inteligentes
Aprendizagem (inteligência artificial)
Redes de Petri
Instrução assistida por computador
Simulação
Cadeias de Markov
Método de Monte Carlo
Educação
Computação
_version_ 1706809281848803328

Registros relacionados