Provador de teoremas para GeoBGL

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorLopes, Bruno-
Autor(es): dc.contributorFreitas, Renata de-
Autor(es): dc.contributorBenevides, Mario Roberto Folhadela-
Autor(es): dc.contributorOliveira, Daniel Cardoso Moraes de-
Autor(es): dc.creatorFigueiredo, Igor Cruz-
Data de aceite: dc.date.accessioned2024-07-11T17:46:56Z-
Data de disponibilização: dc.date.available2024-07-11T17:46:56Z-
Data de envio: dc.date.issued2023-02-13-
Data de envio: dc.date.issued2023-02-13-
Fonte completa do material: dc.identifierhttp://app.uff.br/riuff/handle/1/27881-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/757367-
Descrição: dc.descriptionO 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-
Descrição: dc.descriptionThis 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 presented-
Descrição: dc.description85 p.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsOpen Access-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectCálculo relacional-
Palavras-chave: dc.subjectGrafos-
Palavras-chave: dc.subjectProvador-
Palavras-chave: dc.subjectGrafo-
Palavras-chave: dc.subjectAlgoritmo-
Palavras-chave: dc.subjectRelational calculus-
Palavras-chave: dc.subjectGraphs-
Palavras-chave: dc.subjectProver-
Título: dc.titleProvador de teoremas para GeoBGL-
Tipo de arquivo: dc.typeTrabalho de conclusão de curso-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.