Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Seca Neto, Adolfo Gustavo Serra | - |
Autor(es): dc.creator | Sugimoto, Emerson Shigueo | - |
Data de aceite: dc.date.accessioned | 2022-02-21T22:09:24Z | - |
Data de disponibilização: dc.date.available | 2022-02-21T22:09:24Z | - |
Data de envio: dc.date.issued | 2020-11-11 | - |
Data de envio: dc.date.issued | 2020-11-11 | - |
Data de envio: dc.date.issued | 2013-05-07 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/9277 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/668923 | - |
Descrição: dc.description | 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 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.description | Este 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.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Curitiba | - |
Publicador: dc.publisher | Departamento Acadêmico de Informática | - |
Palavras-chave: dc.subject | Algorítmos genéticos | - |
Palavras-chave: dc.subject | Otimização combinatória | - |
Palavras-chave: dc.subject | Lógica | - |
Palavras-chave: dc.subject | Heurística | - |
Palavras-chave: dc.subject | Genetic algorithms | - |
Palavras-chave: dc.subject | Combinatorial optimization | - |
Palavras-chave: dc.subject | Logic | - |
Palavras-chave: dc.subject | Heuristic | - |
Palavras-chave: dc.subject | Sistemas de Informação | - |
Título: dc.title | 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 | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: