Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 1.996
Aluno: Hélder Paixão Felix Filho
Orientador: Prof. Frederico Luiz Gonçalves de Freitas
Co-orientadora: Profa. Anjolina Grisi de Oliveira
Título: Análise didaticamente estruturada das correspondências entre
Lógicas de Descrições e Lógicas Modais.
Data: 23/02/2022
Hora/Local: 10h – 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. Ruan Vasconcelos Bezerra Carvalho (UFRPE / Departamento de Computação)
Prof. Cleyton Mário de Oliveira Rodrigues (UPE / Escola Politécnica de PE)
RESUMO:
Este trabalho se propõe a apresentar uma análise sobre a correspondência
entre ramificações da Lógica Modal com ramificações da Lógica de
Descrições. Além disso, este texto tem como principal proposta, pela falta
de um material mais palatável, preencher esta lacuna e tornar mais
acessível um assunto naturalmente denso lógica e matematicamente. A
apresentação didática dos formalismos é feita nos capítulos iniciais; da
Lógica de Descrições foi escolhida a linguagem ALC e da Lógica Modal, o
sistema K. É demonstrado por que a correspondência não ocorre a princípio,
por isso o sistema K é enriquecido para a versão multimodal K_m.
Posteriormente é apresentada a Lógica Híbrida: ramificação modal que
completa a correspondência com uma base de conhecimento de ALC. Por fim,
são escolhidas ramificações que apresentam correspondência entre si: da
Lógica de Descrições a linguagem ALC_reg e a Lógica Dinâmica Proposicional,
que é ramificação da Lógica Modal.
Palavras-chave: Lógica Modal. Lógica de Descrições. Lógica Híbrida.
Multimodal. Lógica Dinâmica. PDL. ALC. ALC_reg. Correspondência.
Comentários desativados