| Campo Dublin Core | Valor | Língua |
|---|
| dc.contributor.advisor | Nalon, Cláudia | - |
| dc.contributor.author | Melo, João Victor Cabral de | - |
| dc.identifier.citation | 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. | pt_BR |
| dc.description | 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. | pt_BR |
| dc.description.abstract | 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). | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject.keyword | Lógica modal | pt_BR |
| dc.subject.keyword | Raciocínio automatizado | pt_BR |
| dc.title | Preprocessamento de cláusulas para raciocínio local e global no KSP | pt_BR |
| dc.type | Trabalho de Conclusão de Curso - Graduação - Bacharelado | pt_BR |
| dc.date.accessioned | 2023-10-05T15:29:01Z | - |
| dc.date.available | 2023-10-05T15:29:01Z | - |
| dc.date.submitted | 2023-02-16 | - |
| dc.identifier.uri | https://bdm.unb.br/handle/10483/36302 | - |
| dc.language.iso | Português | pt_BR |
| dc.rights.license | 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. | pt_BR |
| dc.description.abstract1 | 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). | pt_BR |
| Aparece na Coleção: | Ciência da Computação
|
