dc.contributor | Buchsbaum, Arthur Ronald de Vallauris | |
dc.contributor | Universidade Federal de Santa Catarina | |
dc.creator | Fendt, Letícia Carvalho Pivetta | |
dc.date | 2012-10-17T11:31:14Z | |
dc.date | 2012-10-17T11:31:14Z | |
dc.date | 2000 | |
dc.date | 2000 | |
dc.date.accessioned | 2017-04-03T19:16:37Z | |
dc.date.available | 2017-04-03T19:16:37Z | |
dc.identifier | 152854 | |
dc.identifier | http://repositorio.ufsc.br/xmlui/handle/123456789/78215 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/695405 | |
dc.description | Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. | |
dc.description | No presente trabalho são propostos refinamentos sobre o método dos tableaux, tal como tradicionalmente apresentado, visando diminuir o número de nós das árvores de prova, bem como aumentar a possibilidade de obtenção de respostas. Para isto especificamos e implementamos três diferentes algoritmos baseados no método tradicional dos tableaux para a lógica clássica. O mais sofisticado e avançado dos três métodos recorre ao procedimento de unificação, comumente utilizado no método da resolução. Finalizamos este trabalho apresentando uma série de testes, para verificar experimentalmente a consecução dos objetivos propostos. | |
dc.language | por | |
dc.publisher | Florianópolis, SC | |
dc.title | Refinamentos para o método dos tableaux / | |
dc.type | Tesis | |