Dedução automática por tableaux estruturada em XML
Show full item record
Title:
|
Dedução automática por tableaux estruturada em XML |
Author:
|
Brito, Parcilene Fernandes de
|
Abstract:
|
Este trabalho tem como objetivo descrever o desenvolvimento de um provador de teoremas segundo o Método dos Tableaux. Para isso, foram propostos dois refinamentos com o intuito de tornar o método mais eficiente durante as etapas de prova. Esses refinamentos tratam da ordenação das fórmulas e da instanciação das variáveis, buscando diminuir a inserção de elementos na árvore, propiciando, assim, uma maior eficiência em relação ao número de nós. A linguagem Java foi utilizada para a implementação do provador, possibilitando a manipulação das fórmulas estruturadas como documentos XML. Ao final do trabalho, é verificada a eficiência do provador através da comparação com outros provadores em relação à sistematização das suas etapas de prova e dos resultados obtidos. |
Description:
|
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. |
URI:
|
http://repositorio.ufsc.br/xmlui/handle/123456789/84615
|
Date:
|
2003 |
Files in this item
This item appears in the following Collection(s)
Show full item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar