Comparação experimental de critérios para adaptação de granularidade em provas matemáticas

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Oliveira, Lucas Vieira de
Orientador(a): Pimentel, Edson Pinheiro
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: Universidade Federal do ABC
Programa de Pós-Graduação: Programa de Pós-Graduação em Ciência da Computação
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=124746&midiaext=80972
Resumo: Coordenação de Aperfeiçoamento de Pessoal de Nivel Superior
id UFBC_02403ebeb092415983c51452307b3b33
oai_identifier_str oai:BDTD:124746
network_acronym_str UFBC
network_name_str Repositório Institucional da UFABC
repository_id_str
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisComparação experimental de critérios para adaptação de granularidade em provas matemáticas2022-11-28Pimentel, Edson PinheiroOliveira, Lucas Vieira deUniversidade Federal do ABCPrograma de Pós-Graduação em Ciência da ComputaçãoUFABCporGRANULARIDADELÓGICADEMONSTRASISTEMAS FORMAISGRANULARITYLOGICMATHEMATICAL PROOFFORMAL SYSTEMSPROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO - UFABCCoordenação de Aperfeiçoamento de Pessoal de Nivel SuperiorSistemas formais de demonstração matemática têm papel fundamental no aprimoramento e desenvolvimento de novas demonstrações. Além disso, os métodos e estruturas envolvidos em sistemas formais têm o potencial de apoiar o desenvolvimento de sistemas de tutoria para o aprendizado de demonstrações. No entanto, o fato destes sistemas formais não terem objetivos pedagógicos como motivação principal, traz alguns obstáculos para o seu uso em um contexto de ensino. Um desses problemas é a granularidade (nível de detalhe) que uma demonstração é apresentada. Provas apresentadas dentro de sistemas formais necessitam que todos os passos sejam deduzidos explicitamente, o que di?culta sua interpretação, já que mesmo inferências consideradas óbvias para determinadas audiências devem ser utilizadas. Adaptar a apresentação de uma prova formal para que inferências óbvias sejam omitidas, como na apresentação de provas matemáticas em linguagem natural, não é uma tarefa trivial já que a princípio não existem critérios claros que possam ser utilizados para este ?m. Alguns trabalhos têm estudado esse problema nas últimas décadas, no entanto vários deles utilizam representações e dados diferentes. Essa fragmentação di?culta que avanços na área sejam pesquisados, já que impede a comparação direta dos diferentes critérios utilizados e sua comparação com possíveis novos critérios. Assim, o objetivo desta pesquisa foi comparar diferentes critérios de adaptação de granularidade de provas matemáticas em torno de uma mesma representação e mesmo conjunto de dados, a ?m de identi?car quais critérios são mais efetivos. Foram comparadas características isoladas de provas matemáticas, composição de características e composição de características associadas a aprendizado de máquina. Dentro do contexto desta pesquisa utilizando o ambiente metamath, foi concluído que utilizar composição de características de provas matemáticas associadas a aprendizado de máquina é a maneira mais e?caz de adaptar a granularidade de provas matemáticas. No entanto, investigações em contextos mais abrangentes ainda são necessárias.http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=124746&midiaext=80972application/pdfreponame:Repositório Institucional da UFABCinstname:Universidade Federal do ABC (UFABC)instacron:UFABCinfo:eu-repo/semantics/openAccess2026-01-15T22:03:54Zoai:BDTD:124746Repositório InstitucionalPUBhttp://www.biblioteca.ufabc.edu.br/oai/oai.phpopendoar:2023-08-24T14:05:38Repositório Institucional da UFABC - Universidade Federal do ABC (UFABC)false
dc.title.pt.fl_str_mv Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
title Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
spellingShingle Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
Oliveira, Lucas Vieira de
title_short Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
title_full Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
title_fullStr Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
title_full_unstemmed Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
title_sort Comparação experimental de critérios para adaptação de granularidade em provas matemáticas
author Oliveira, Lucas Vieira de
author_facet Oliveira, Lucas Vieira de
author_role author
dc.contributor.advisor1.fl_str_mv Pimentel, Edson Pinheiro
dc.contributor.author.fl_str_mv Oliveira, Lucas Vieira de
contributor_str_mv Pimentel, Edson Pinheiro
description Coordenação de Aperfeiçoamento de Pessoal de Nivel Superior
publishDate 2022
dc.date.issued.fl_str_mv 2022-11-28
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 http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=124746&midiaext=80972
url http://biblioteca.ufabc.edu.br/index.php?codigo_sophia=124746&midiaext=80972
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 Universidade Federal do ABC
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação
dc.publisher.initials.fl_str_mv UFABC
publisher.none.fl_str_mv Universidade Federal do ABC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFABC
instname:Universidade Federal do ABC (UFABC)
instacron:UFABC
instname_str Universidade Federal do ABC (UFABC)
instacron_str UFABC
institution UFABC
reponame_str Repositório Institucional da UFABC
collection Repositório Institucional da UFABC
repository.name.fl_str_mv Repositório Institucional da UFABC - Universidade Federal do ABC (UFABC)
repository.mail.fl_str_mv
_version_ 1854475890006687744

Registros relacionados