Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)

Detalhes bibliográficos
Autor(a) principal: Teixeira, Pedro Alexandre Pereira
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/102902
Resumo: Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia
id RCAP_3f64aabb29a2c234232efc41d40c1a53
oai_identifier_str oai:estudogeral.uc.pt:10316/102902
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)The Deductive Database Method for Geometry (Automated Deduction in Geometry)Dedução automáticaProvadores geométricos automáticosGeometria dinâmicaAutomated deductionAutomated theorem proversDynamic geometryDissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e TecnologiaOs provadores automáticos de geometria são programas que permitem desenvolver demonstrações formais para conjecturas geométricas de forma automática sem intervenção humana. Têm como objetivo principal a decisão, em tempo útil e relativamente a um conjunto de condições iniciais, do valor lógico de uma conclusão estabelecida. Originalmente concebidos durante a década de 50, permitem o desenvolvimento de demonstrações formais, em alguns casos produzindo uma versão legível por um matemático. Este relatório tem como objetivo providenciar uma introdução ao conceito de provadores automáticos de geometria, uma introdução básica dos principais métodos e com um interesse principal no método das bases de dados dedutivas. Introduz a história dos provadores automáticos, as diferentes áreas que auxiliaram o desenvolvimento e alguns dos diferentes sistemas utilizados atualmente. A secção conclui com uma breve introdução aos diferentes métodos disponíveis e uma primeira visão do método das bases de dados dedutivas. Finalmente, é introduzido um programa, criado com a esperança de resolver problemas geométricos, utilizando uma lista de regras definida com base em um artigo publicado anteriormente. Devido à complexidade do projecto e ao tempo limitado para o executar, o programa desenvolvido, emboracompleto, ainda necessita de algum trabalho para efeitos de eficiência, tanto em termos de tempo,como taxa de sucesso. São documentadas as dificuldades ultrapassadas durante o seu desenvolvimento, os limites presentes no sistema e conjunto de regras utilizadas como base para o programa, bem como os problemas identificados durante o desenvolvimento do programa.Automatic geometry provers are programs that allow you to develop formal proofs for geometric conjectures automatically without human intervention. Their main objective is to decide, in good time, and in relation to a set of initial conditions, the logical value of an established conclusion. Originally conceived during the 1950s, they allow the development of formal proofs, in some cases producing a version readable by a mathematician. This report aims to provide an introduction to the concept of automatic geometry provers, a basic introduction to the main methods and with a main interest in the method of deductive databases. It introduces the history of automated theorem provers, the different areas that helped their development and some of the different systems used today. The section concludes with a brief introduction to the different methods available and a first view of the method of deductive databases. Finally, the implementation of the deductive database method is described. Created with the hope of solving geometric problems, using a list of rules defined based on an article previously published. Due to the complexity of the project and the limited time to execute it, the developed program, although complete, still needs some work for efficiency purposes, both in terms of time and success rate. The difficulties overcome during its development, the limits present in the system and set of rules used as a basis for the program, as well as the problems identified during the development of the program are documented.2022-07-22info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10316/102902http://hdl.handle.net/10316/102902TID:203080122porTeixeira, Pedro Alexandre Pereirainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-10-19T20:39:39Zoai:estudogeral.uc.pt:10316/102902Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:19:48.194900Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
The Deductive Database Method for Geometry (Automated Deduction in Geometry)
title Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
spellingShingle Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
Teixeira, Pedro Alexandre Pereira
Dedução automática
Provadores geométricos automáticos
Geometria dinâmica
Automated deduction
Automated theorem provers
Dynamic geometry
title_short Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
title_full Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
title_fullStr Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
title_full_unstemmed Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
title_sort Método das Bases de Dados Deductivas para a Geometria (Dedução Automática na Geometria)
author Teixeira, Pedro Alexandre Pereira
author_facet Teixeira, Pedro Alexandre Pereira
author_role author
dc.contributor.author.fl_str_mv Teixeira, Pedro Alexandre Pereira
dc.subject.por.fl_str_mv Dedução automática
Provadores geométricos automáticos
Geometria dinâmica
Automated deduction
Automated theorem provers
Dynamic geometry
topic Dedução automática
Provadores geométricos automáticos
Geometria dinâmica
Automated deduction
Automated theorem provers
Dynamic geometry
description Dissertação de Mestrado em Matemática apresentada à Faculdade de Ciências e Tecnologia
publishDate 2022
dc.date.none.fl_str_mv 2022-07-22
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://hdl.handle.net/10316/102902
http://hdl.handle.net/10316/102902
TID:203080122
url http://hdl.handle.net/10316/102902
identifier_str_mv TID:203080122
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.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134092030115840

Registros relacionados