Skip navigation
Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.ufpe.br/handle/123456789/45914

Comparte esta pagina

Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorFREITAS, Frederico Luiz Gonçalves de-
dc.contributor.authorFELIX FILHO, Hélder Paixão-
dc.date.accessioned2022-08-24T14:05:39Z-
dc.date.available2022-08-24T14:05:39Z-
dc.date.issued2022-02-23-
dc.identifier.citationFELIX FILHO, Hélder Paixão. Análise didaticamente estruturada das correspondências entre lógicas de descrições e lógicas modais. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Recife, 2022.pt_BR
dc.identifier.urihttps://repositorio.ufpe.br/handle/123456789/45914-
dc.description.abstractEste 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 Km. Posteriormente é apresentada a Lógica Híbrida: ramificação modal que completa a correspondência com uma base de conhecimento de ALC. Por fim, propositalmente alocado no apêndice, são escolhidas ramificações que apresentam correspondência entre si: da Lógica de Descrições a linguagem ALCreg e a Lógica Dinâmica Proposicional, que é ramificação (modalidade) da Lógica Modal.pt_BR
dc.description.sponsorshipCAPESpt_BR
dc.language.isoporpt_BR
dc.publisherUniversidade Federal de Pernambucopt_BR
dc.rightsopenAccesspt_BR
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/br/*
dc.subjectTeoria da computaçãopt_BR
dc.subjectLógica modalpt_BR
dc.subjectLógica de descriçõespt_BR
dc.titleAnálise didaticamente estruturada das correspondências entre lógicas de descrições e lógicas modaispt_BR
dc.typemasterThesispt_BR
dc.contributor.advisor-coOLIVEIRA, Anjolina Grisi de-
dc.contributor.authorLatteshttp://lattes.cnpq.br/6197057942902197pt_BR
dc.publisher.initialsUFPEpt_BR
dc.publisher.countryBrasilpt_BR
dc.degree.levelmestradopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/6195215666638965pt_BR
dc.publisher.programPrograma de Pos Graduacao em Ciencia da Computacaopt_BR
dc.description.abstractxThis work proposes an analysis of the correspondence between ramifications of Modal Logic with ramifications of Logic of Descriptions. In addition, due to the lack of more palatable material, this text has as its main proposal to fill this gap and make a naturally dense subject logically and mathematically more accessible. The didactic presentation of formalisms is made in the opening chapters; for the Description Logic, the language ALC was chosen, and for the Modal Logic, the K system. It is shown why matching does not occur at first, so the K system is enriched for the multimodal version Km. Afterward, the Hybrid Logic is presented: a modal branch that completes the correspondence with a knowledge base of ALC. Finally, intentionally allocated in the appendix, branches that correspond to each other are chosen: from Description Logic, the language ALCreg and Propositional Dynamic Logic, which is a branch (modality) of Modal Logic.pt_BR
dc.contributor.advisor-coLatteshttp://lattes.cnpq.br/9932708325371272pt_BR
Aparece en las colecciones: Dissertações de Mestrado - Ciência da Computação

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
DISSERTAÇÃO Hélder Paixão Felix Filho.pdf1,72 MBAdobe PDFVista previa
Visualizar/Abrir


Este ítem está protegido por copyright original



Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons