Otimização de métodos de prova em tablôs KE através da aplicação de uma heurística baseada em algoritmos genéticos
This work presents an approach for optimizing the proof methods in the KE system based on Genetic Algorithms. The focus of this work is on the PB (Principle of bivalence) rule, which bifurcates the tableau and increases the proof cost. The selection of PB candidates is based on concepts expressed in...
| Autor principal: | Sugimoto, Emerson Shigueo |
|---|---|
| Formato: | Trabalho de Conclusão de Curso (Graduação) |
| Idioma: | Português |
| Publicado em: |
Universidade Tecnológica Federal do Paraná
2020
|
| Assuntos: | |
| Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/9277 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|