Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
| Ano de defesa: | 2005 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| 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: | 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 |
|
| 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/openAccesspor2024-10-07T19:10:40Zoai: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:27212024-10-07T19:10:40Biblioteca 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_ |
1865491620340695040 |