Detalhes bibliográficos
| Ano de defesa: |
2022 |
| Autor(a) principal: |
FELIX FILHO, Hélder Paixão |
| Orientador(a): |
FREITAS, Frederico Luiz Gonçalves de |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal de Pernambuco
|
| Programa de Pós-Graduação: |
Programa de Pos Graduacao em Ciencia da Computacao
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Brasil
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://repositorio.ufpe.br/handle/123456789/45914
|
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 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. |
