Refinamentos para o método dos tableaux /

DSpace Repository

A- A A+

Refinamentos para o método dos tableaux /

Show full item record

Title: Refinamentos para o método dos tableaux /
Author: Fendt, Letícia Carvalho Pivetta
Abstract: 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.
Description: Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.
URI: http://repositorio.ufsc.br/xmlui/handle/123456789/78215
Date: 2000


Files in this item

Files Size Format View
152854.pdf 2.446Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Advanced Search

Browse

My Account

Statistics

Compartilhar