Utilize este link para identificar ou citar este item:
https://bdm.unb.br/handle/10483/36302
| Título: | Preprocessamento de cláusulas para raciocínio local e global no KSP |
| Autor(es): | Melo, João Victor Cabral de |
| Orientador(es): | Nalon, Cláudia |
| Assunto: | Lógica modal
Raciocínio automatizado |
| Data de apresentação: | 16-Fev-2023 |
| Data de publicação: | 5-Out-2023 |
| Referência: | MELO, João Victor Cabral de. Preprocessamento de cláusulas para raciocínio local e global no KSP. 2023. 37 f., il. Trabalho de conclusão de curso (Bacharelado em Ciência da Computação) — Universidade de Brasília, Brasília, 2023. |
| Resumo: | O foco deste trabalho foi a implementação no KSP, um provador de teoremas baseado em
resolução para a linguagem multimodal Kn, do preprocessamento de cláusulas necessário
para a realização da combinação do raciocínio global e local pelo provador. Especifica-
mente, foram implementadas a entrada de cláusulas com rótulos (análises léxica e sin-
tática) e os procedimentos de subsunção (remoção de cláusulas por redundância). |
| Abstract: | The focus of this work is to implement the preprocessing phase for the combination
of clausal global and local reasoning in KSP, a resolution based prover for the basic
multimodal logic Kn. Specifically, it was implemented the input of labelled clauses (lexical
analysis and syntactic analysis) and the subsumption procedures (redundancy removal of
clauses). |
| Informações adicionais: | Trabalho de conclusão de curso (graduação) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2023. |
| Licença: | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor que autoriza a Biblioteca Digital da Produção Intelectual Discente da Universidade de Brasília (BDM) a disponibilizar o trabalho de conclusão de curso por meio do sítio bdm.unb.br, com as seguintes condições: disponível sob Licença Creative Commons 4.0 International, que permite copiar, distribuir e transmitir o trabalho, desde que seja citado o autor e licenciante. Não permite o uso para fins comerciais nem a adaptação desta. |
| Aparece na Coleção: | Ciência da Computação
|
Todos os itens na BDM estão protegidos por copyright. Todos os direitos reservados.
