Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 2.154
Aluno: Jorge Soares de Farias Júnior
Orientadora: Profa. Anjolina Grisi de Oliveira
Coorientador: Prof. Ruan Vasconcelos Bezerra de Carvalho (UFRPE)
Título: Um Estudo dos N-Grafos para a Lógica de Primeira Ordem
Data: 23/08/2024
Hora/Local: 9h – Virtual – Interessados em assistir entrar em contato com o aluno
Banca Examinadora:
Prof. Frederico Luiz Gonçalves de Freitas (UFPE / Centro de Informática)
Prof. Gleifer Vaz Alvez (UTFPR / Departamento de Computação)
Prof. Ruan Vasconcelos Bezerra de Carvalho (UFRPE / Departamento de Computação)
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.
Palavras-chave: N-grafos. Primeira Ordem. Lógica. Métodos de Prova. Grafos.
Comentários desativados