Banca de DEFESA: ACARCIO GOMES DE ALMEIDA JUNIOR

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: ACARCIO GOMES DE ALMEIDA JUNIOR
DATA : 02/08/2024
HORA: 13:00
LOCAL: Virtual
TÍTULO:

Um Estudo dos N-Grafos para a Lógica de Primeira Ordem

PALAVRAS-CHAVES:

N-grafos. Primeira Ordem. Lógica. Métodos de Prova. Grafos.

PÁGINAS: 74
RESUMO:

Este trabalho apresenta propostas de regras e definições para os N-grafos na lógica de primeira ordem. O estudo faz um levantamento abrangente dos métodos de prova nos quais os N-grafos são baseados, incluindo dedução natural, cálculo de sequentes e proof-nets. Assim como as proof-nets, os N-grafos são sistemas de provas geométricos, tornando essencial o seu estudo detalhado. A pesquisa se aprofunda nas linguagens de primeira ordem associadas a esses métodos, buscando adaptar suas características e restrições para a estrutura dos N-grafos. O objetivo é desenvolver uma linguagem específica que permita uma representação eficiente e robusta dos N-grafos, contribuindo para a melhoria dos sistemas de inferência lógica.

MEMBROS DA BANCA:
Interno - 1650867 - ABEL GUILHERMINO DA SILVA FILHO
Presidente - 1766476 - DIVANILSON RODRIGO DE SOUSA CAMPELO
Externo à Instituição - EVANDRO LEONARDO SILVA TEIXEIRA - UnB