Provador de teoremas para GeoBGL

Detalhes bibliográficos
Autor(a) principal: Figueiredo, Igor Cruz
Data de Publicação: 2023
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal Fluminense (RIUFF)
Texto Completo: http://app.uff.br/riuff/handle/1/27881
Resumo: O presente projeto tem como objetivo apresentar um provador de teoremas para o fragmento geométrico do basic graph logic (BGL). BGL é um sistema de prova com diagramas para os problemas de validade e consequência no Cálculo Relacional com relações binárias, representando as relações em dígrafos com multiarestas rotuladas e dois nós distinguidos denominados entrada e saída do grafo. Além do provador de teoremas, também são apresentados algoritmos para encontrar homomorfismo entre grafos (necessários para a prova diagramática) e a interface construída para permitir a visualização da prova
id UFF-2_eb924d2f5c6e4a094631dc7470e1a08a
oai_identifier_str oai:app.uff.br:1/27881
network_acronym_str UFF-2
network_name_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository_id_str 2120
spelling Provador de teoremas para GeoBGLCálculo relacionalGrafosProvadorGrafoAlgoritmoRelational calculusGraphsProverO presente projeto tem como objetivo apresentar um provador de teoremas para o fragmento geométrico do basic graph logic (BGL). BGL é um sistema de prova com diagramas para os problemas de validade e consequência no Cálculo Relacional com relações binárias, representando as relações em dígrafos com multiarestas rotuladas e dois nós distinguidos denominados entrada e saída do grafo. Além do provador de teoremas, também são apresentados algoritmos para encontrar homomorfismo entre grafos (necessários para a prova diagramática) e a interface construída para permitir a visualização da provaThis project aims to present a theorem prover for the geometric fragment of basic graph logic (BGL). BGL is a diagrammatic proof system for validity and consequence problems in Relational Calculus with binary relations, representing relations in digraphs with labeled multi-edges and two distinguished nodes called input and output of the graph. In addition to the theorem prover, algorithms to find homomorphism between graphs (necessary for the diagrammatic proof) and the interface built to allow the visualization of the proof are also presented85 p.Lopes, BrunoFreitas, Renata deBenevides, Mario Roberto FolhadelaOliveira, Daniel Cardoso Moraes deFigueiredo, Igor Cruz2023-02-14T13:58:38Z2023-02-14T13:58:38Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisapplication/pdfFIGUEIREDO, Igor Cruz. Provador de teoremas para GeoBGL. 2022. 85 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2022.http://app.uff.br/riuff/handle/1/27881CC-BY-SAinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)instname:Universidade Federal Fluminense (UFF)instacron:UFF2023-02-14T13:58:41Zoai:app.uff.br:1/27881Repositório InstitucionalPUBhttps://app.uff.br/oai/requestriuff@id.uff.bropendoar:21202023-02-14T13:58:41Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)false
dc.title.none.fl_str_mv Provador de teoremas para GeoBGL
title Provador de teoremas para GeoBGL
spellingShingle Provador de teoremas para GeoBGL
Figueiredo, Igor Cruz
Cálculo relacional
Grafos
Provador
Grafo
Algoritmo
Relational calculus
Graphs
Prover
title_short Provador de teoremas para GeoBGL
title_full Provador de teoremas para GeoBGL
title_fullStr Provador de teoremas para GeoBGL
title_full_unstemmed Provador de teoremas para GeoBGL
title_sort Provador de teoremas para GeoBGL
author Figueiredo, Igor Cruz
author_facet Figueiredo, Igor Cruz
author_role author
dc.contributor.none.fl_str_mv Lopes, Bruno
Freitas, Renata de
Benevides, Mario Roberto Folhadela
Oliveira, Daniel Cardoso Moraes de
dc.contributor.author.fl_str_mv Figueiredo, Igor Cruz
dc.subject.por.fl_str_mv Cálculo relacional
Grafos
Provador
Grafo
Algoritmo
Relational calculus
Graphs
Prover
topic Cálculo relacional
Grafos
Provador
Grafo
Algoritmo
Relational calculus
Graphs
Prover
description O presente projeto tem como objetivo apresentar um provador de teoremas para o fragmento geométrico do basic graph logic (BGL). BGL é um sistema de prova com diagramas para os problemas de validade e consequência no Cálculo Relacional com relações binárias, representando as relações em dígrafos com multiarestas rotuladas e dois nós distinguidos denominados entrada e saída do grafo. Além do provador de teoremas, também são apresentados algoritmos para encontrar homomorfismo entre grafos (necessários para a prova diagramática) e a interface construída para permitir a visualização da prova
publishDate 2023
dc.date.none.fl_str_mv 2023-02-14T13:58:38Z
2023-02-14T13:58:38Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv FIGUEIREDO, Igor Cruz. Provador de teoremas para GeoBGL. 2022. 85 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2022.
http://app.uff.br/riuff/handle/1/27881
identifier_str_mv FIGUEIREDO, Igor Cruz. Provador de teoremas para GeoBGL. 2022. 85 f. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Computação, Universidade Federal Fluminense, Niterói, 2022.
url http://app.uff.br/riuff/handle/1/27881
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv CC-BY-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC-BY-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal Fluminense (RIUFF)
instname:Universidade Federal Fluminense (UFF)
instacron:UFF
instname_str Universidade Federal Fluminense (UFF)
instacron_str UFF
institution UFF
reponame_str Repositório Institucional da Universidade Federal Fluminense (RIUFF)
collection Repositório Institucional da Universidade Federal Fluminense (RIUFF)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal Fluminense (RIUFF) - Universidade Federal Fluminense (UFF)
repository.mail.fl_str_mv riuff@id.uff.br
_version_ 1807838740465319936

Registros relacionados