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.advisor | FREITAS, Frederico Luiz Gonçalves de | - |
dc.contributor.author | FELIX FILHO, Hélder Paixão | - |
dc.date.accessioned | 2022-08-24T14:05:39Z | - |
dc.date.available | 2022-08-24T14:05:39Z | - |
dc.date.issued | 2022-02-23 | - |
dc.identifier.citation | FELIX 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.uri | https://repositorio.ufpe.br/handle/123456789/45914 | - |
dc.description.abstract | 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 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.sponsorship | CAPES | pt_BR |
dc.language.iso | por | pt_BR |
dc.publisher | Universidade Federal de Pernambuco | pt_BR |
dc.rights | openAccess | pt_BR |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/br/ | * |
dc.subject | Teoria da computação | pt_BR |
dc.subject | Lógica modal | pt_BR |
dc.subject | Lógica de descrições | pt_BR |
dc.title | Análise didaticamente estruturada das correspondências entre lógicas de descrições e lógicas modais | pt_BR |
dc.type | masterThesis | pt_BR |
dc.contributor.advisor-co | OLIVEIRA, Anjolina Grisi de | - |
dc.contributor.authorLattes | http://lattes.cnpq.br/6197057942902197 | pt_BR |
dc.publisher.initials | UFPE | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.degree.level | mestrado | pt_BR |
dc.contributor.advisorLattes | http://lattes.cnpq.br/6195215666638965 | pt_BR |
dc.publisher.program | Programa de Pos Graduacao em Ciencia da Computacao | pt_BR |
dc.description.abstractx | This 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-coLattes | http://lattes.cnpq.br/9932708325371272 | pt_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.pdf | 1,72 MB | Adobe PDF | ![]() Visualizar/Abrir |
Este ítem está protegido por copyright original |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons