Banca de DEFESA: HELDER PAIXAO FELIX FILHO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : HELDER PAIXAO FELIX FILHO
DATA : 23/02/2022
HORA: 10:00
LOCAL: Virtual
TÍTULO:

Análise didaticamente estruturada das correspondências entre 
Lógicas de Descrições e Lógicas Modais.


PALAVRAS-CHAVES:

Lógica Modal. Lógica de Descrições. Lógica Híbrida. 
Multimodal. Lógica Dinâmica. PDL. ALC. ALC_reg. Correspondência.


PÁGINAS: 121
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.


MEMBROS DA BANCA:
Externo à Instituição - CLEYTON MÁRIO DE OLIVEIRA RODRIGUES - UPE
Presidente - 479992 - FREDERICO LUIZ GONCALVES DE FREITAS
Externo à Instituição - RUAN VASCONCELOS BEZERRA CARVALHO - UFRPE
Notícia cadastrada em: 04/02/2022 15:30
SIGAA | Superintendência de Tecnologia da Informação (STI-UFPE) - (81) 2126-7777 | Copyright © 2006-2024 - UFRN - sigaa02.ufpe.br.sigaa02