Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos

Detalhes bibliográficos
Autor(a) principal: Delgado, Karina Valdivia
Data de Publicação: 2005
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144719/
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 para o aprendizado de programação é a depuração do programa construído pelo aluno. O resultado desta depuração serve para guiar o sistema tutor em suas futuras decisões instrucionais, enquanto o processo de depuração em si pode ser explorado para promover a aprendizagem. Ou seja, num processo interativo de depuração, é possível fazer com que o aluno aprenda detectando e corrigindo seus próprios erros. Dentre as propostas de depuração automática de programas, a técnica de IA denominada Diagnóstico Baseado em Modelos (MBD), tem apresentado bons resultados para diagnosticar programas escritos por programadores experientes. Como é feito tradicionalmente para sistemas físicos, MBD analisa um modelo de um programa representado na forma de componentes e conexões, onde os componentes correspondem às estruturas lógicas da linguagem de programação e as conexões representam as constantes e os valores de variáveis. Apesar do sucesso de MBD para depuração de programas, nenhuma proposta foi feita incorporando essa técnica em sistemas tutores. Este trabalho propõe o desenvolvimento de um sistema de diagnóstico do tipo MBD para analisar programas de alunos de cursos introdutórios de programação. O trabalho estende trabalhos anteriores de depuração automática do tipo MBD para programadores experientes, para ser usado como ferramenta de suporte ao aprendizado de programação. O sistema de diagnóstico desenvolvido ProPAT_deBUG faz parte de um ambiente de programação com padrões, chamado ProPAT. Nessa ferramenta, enquanto o aluno edita um programa, ele pode acessar e inserir Padrões Elementares no programa com a intenção de satisfazer sub-metas de um dado problema. Após o programa ser compilado com sucesso, ele é testado para um conjunto de casos de teste e, em caso de falha, o sistema de diagnóstico é chamado para descobrir falhas lógicas funcionais e estruturais. Os Padrões Elementares usados pelo aluno na construção do programa são usados para a comunicação das hipóteses de falha.
id USP_8294854fdfb2fbaf9f6f1edfe2f10557
oai_identifier_str oai:teses.usp.br:tde-20210729-144719
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicosnot availableInteligência ArtificialTutores 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 para o aprendizado de programação é a depuração do programa construído pelo aluno. O resultado desta depuração serve para guiar o sistema tutor em suas futuras decisões instrucionais, enquanto o processo de depuração em si pode ser explorado para promover a aprendizagem. Ou seja, num processo interativo de depuração, é possível fazer com que o aluno aprenda detectando e corrigindo seus próprios erros. Dentre as propostas de depuração automática de programas, a técnica de IA denominada Diagnóstico Baseado em Modelos (MBD), tem apresentado bons resultados para diagnosticar programas escritos por programadores experientes. Como é feito tradicionalmente para sistemas físicos, MBD analisa um modelo de um programa representado na forma de componentes e conexões, onde os componentes correspondem às estruturas lógicas da linguagem de programação e as conexões representam as constantes e os valores de variáveis. Apesar do sucesso de MBD para depuração de programas, nenhuma proposta foi feita incorporando essa técnica em sistemas tutores. Este trabalho propõe o desenvolvimento de um sistema de diagnóstico do tipo MBD para analisar programas de alunos de cursos introdutórios de programação. O trabalho estende trabalhos anteriores de depuração automática do tipo MBD para programadores experientes, para ser usado como ferramenta de suporte ao aprendizado de programação. O sistema de diagnóstico desenvolvido ProPAT_deBUG faz parte de um ambiente de programação com padrões, chamado ProPAT. Nessa ferramenta, enquanto o aluno edita um programa, ele pode acessar e inserir Padrões Elementares no programa com a intenção de satisfazer sub-metas de um dado problema. Após o programa ser compilado com sucesso, ele é testado para um conjunto de casos de teste e, em caso de falha, o sistema de diagnóstico é chamado para descobrir falhas lógicas funcionais e estruturais. Os Padrões Elementares usados pelo aluno na construção do programa são usados para a comunicação das hipóteses de falha.not availableBiblioteca Digitais de Teses e Dissertações da USPBarros, Leliane Nunes deDelgado, Karina Valdivia2005-12-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144719/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:15:06Zoai:teses.usp.br:tde-20210729-144719Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:15:06Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
not available
title Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
spellingShingle Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
Delgado, Karina Valdivia
Inteligência Artificial
title_short Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
title_full Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
title_fullStr Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
title_full_unstemmed Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
title_sort Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
author Delgado, Karina Valdivia
author_facet Delgado, Karina Valdivia
author_role author
dc.contributor.none.fl_str_mv Barros, Leliane Nunes de
dc.contributor.author.fl_str_mv Delgado, Karina Valdivia
dc.subject.por.fl_str_mv Inteligência Artificial
topic Inteligência Artificial
description 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 para o aprendizado de programação é a depuração do programa construído pelo aluno. O resultado desta depuração serve para guiar o sistema tutor em suas futuras decisões instrucionais, enquanto o processo de depuração em si pode ser explorado para promover a aprendizagem. Ou seja, num processo interativo de depuração, é possível fazer com que o aluno aprenda detectando e corrigindo seus próprios erros. Dentre as propostas de depuração automática de programas, a técnica de IA denominada Diagnóstico Baseado em Modelos (MBD), tem apresentado bons resultados para diagnosticar programas escritos por programadores experientes. Como é feito tradicionalmente para sistemas físicos, MBD analisa um modelo de um programa representado na forma de componentes e conexões, onde os componentes correspondem às estruturas lógicas da linguagem de programação e as conexões representam as constantes e os valores de variáveis. Apesar do sucesso de MBD para depuração de programas, nenhuma proposta foi feita incorporando essa técnica em sistemas tutores. Este trabalho propõe o desenvolvimento de um sistema de diagnóstico do tipo MBD para analisar programas de alunos de cursos introdutórios de programação. O trabalho estende trabalhos anteriores de depuração automática do tipo MBD para programadores experientes, para ser usado como ferramenta de suporte ao aprendizado de programação. O sistema de diagnóstico desenvolvido ProPAT_deBUG faz parte de um ambiente de programação com padrões, chamado ProPAT. Nessa ferramenta, enquanto o aluno edita um programa, ele pode acessar e inserir Padrões Elementares no programa com a intenção de satisfazer sub-metas de um dado problema. Após o programa ser compilado com sucesso, ele é testado para um conjunto de casos de teste e, em caso de falha, o sistema de diagnóstico é chamado para descobrir falhas lógicas funcionais e estruturais. Os Padrões Elementares usados pelo aluno na construção do programa são usados para a comunicação das hipóteses de falha.
publishDate 2005
dc.date.none.fl_str_mv 2005-12-19
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144719/
url https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144719/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090928038641664