Dedução automática por tableaux estruturada em XML

Detalhes bibliográficos
Autor(a) principal: Brito, Parcilene Fernandes de
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/84615
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
id UFSC_4857fc7cc7c4b9ba7f1f1a1150691c7a
oai_identifier_str oai:repositorio.ufsc.br:123456789/84615
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Dedução automática por tableaux estruturada em XMLInformaticaCiência da computaçãoXML (Linguagem de marcação de documento)Método dos tableauxDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.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.Florianópolis, SCBuchsbaum, Arthur Ronald de VallaurisUniversidade Federal de Santa CatarinaBrito, Parcilene Fernandes de2012-10-20T10:56:48Z2012-10-20T10:56:48Z20032003info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisxiv, 108 f.| il.application/pdf197133http://repositorio.ufsc.br/xmlui/handle/123456789/84615porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-05-02T00:32:49Zoai:repositorio.ufsc.br:123456789/84615Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-05-02T00:32:49Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Dedução automática por tableaux estruturada em XML
title Dedução automática por tableaux estruturada em XML
spellingShingle Dedução automática por tableaux estruturada em XML
Brito, Parcilene Fernandes de
Informatica
Ciência da computação
XML (Linguagem de marcação de documento)
Método dos tableaux
title_short Dedução automática por tableaux estruturada em XML
title_full Dedução automática por tableaux estruturada em XML
title_fullStr Dedução automática por tableaux estruturada em XML
title_full_unstemmed Dedução automática por tableaux estruturada em XML
title_sort Dedução automática por tableaux estruturada em XML
author Brito, Parcilene Fernandes de
author_facet Brito, Parcilene Fernandes de
author_role author
dc.contributor.none.fl_str_mv Buchsbaum, Arthur Ronald de Vallauris
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Brito, Parcilene Fernandes de
dc.subject.por.fl_str_mv Informatica
Ciência da computação
XML (Linguagem de marcação de documento)
Método dos tableaux
topic Informatica
Ciência da computação
XML (Linguagem de marcação de documento)
Método dos tableaux
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.
publishDate 2003
dc.date.none.fl_str_mv 2003
2003
2012-10-20T10:56:48Z
2012-10-20T10:56:48Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 197133
http://repositorio.ufsc.br/xmlui/handle/123456789/84615
identifier_str_mv 197133
url http://repositorio.ufsc.br/xmlui/handle/123456789/84615
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv xiv, 108 f.| il.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652380122644480

Registros relacionados