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

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorSeca Neto, Adolfo Gustavo Serra-
Autor(es): dc.creatorSugimoto, Emerson Shigueo-
Data de aceite: dc.date.accessioned2022-02-21T22:09:24Z-
Data de disponibilização: dc.date.available2022-02-21T22:09:24Z-
Data de envio: dc.date.issued2020-11-11-
Data de envio: dc.date.issued2020-11-11-
Data de envio: dc.date.issued2013-05-07-
Fonte completa do material: dc.identifierhttp://repositorio.utfpr.edu.br/jspui/handle/1/9277-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/668923-
Descrição: dc.descriptionThis 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 Natural Selection Genetic Algorithm approach, so that formulas that enable increased variation in the knowledge base are considered more suitable than others. The selection of the most suitable formula is compared with the conventional proof method for KE system in a computing environment via an automated theorem prover. The increased variability of the knowledge base provided by the pre-selection of PB candidates demonstrates an optimization of proof methods in comparison with the conventional methodology. This is due to the fact that the greater the number of different premises it is more likely that an inconsistency is generated in the knowledge base, consequently, the tableau will be closed.-
Descrição: dc.descriptionEste trabalho apresenta uma abordagem de otimização dos métodos de prova em Sistema KE baseada em Algoritmos Genéticos. O foco do presente trabalho é feito sobre a regra PB (Princípio da Bivalência), que bifurca o tablô e onera a sua prova. A seleção das regras PB candidatas é baseada nos conceitos de Seleção Natural expressos na abordagem de Algoritmos Genéticos, de forma que fórmulas que permitam o aumento da variação de premissas na base de conhecimentos são consideradas mais aptas que outras. A seleção das fórmulas mais aptas é comparada com a metodologia convencional de prova em sistemas KE em um ambiente computacional através de um provador automatizado de teoremas. O aumento da variabilidade da base de conhecimentos propiciada pela pré-seleção das regras PB candidatas demonstra uma otimização dos métodos de prova em comparação com a metodologia convencional. Isto se deve ao fato de que quanto maior o número de premissas diferentes, maior a probabilidade de que uma inconsistência seja gerada na base de conhecimentos e, consequentemente, o tablô seja fechado.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherUniversidade Tecnológica Federal do Paraná-
Publicador: dc.publisherCuritiba-
Publicador: dc.publisherDepartamento Acadêmico de Informática-
Palavras-chave: dc.subjectAlgorítmos genéticos-
Palavras-chave: dc.subjectOtimização combinatória-
Palavras-chave: dc.subjectLógica-
Palavras-chave: dc.subjectHeurística-
Palavras-chave: dc.subjectGenetic algorithms-
Palavras-chave: dc.subjectCombinatorial optimization-
Palavras-chave: dc.subjectLogic-
Palavras-chave: dc.subjectHeuristic-
Palavras-chave: dc.subjectSistemas de Informação-
Título: dc.titleOtimização de métodos de prova em tablôs KE através da aplicação de uma heurística baseada em algoritmos genéticos-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT

Não existem arquivos associados a este item.