Autores

3297
Luiz Fernando Pereira de Souza
105,1493
3298
105,1493

Informações:

Publicações do PESC

Título
Automação de Lógica Modal: Um Estudo Comparativo de Algumas Abordagens
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
28/5/1992
Resumo

Sabemos que a implementação automática de métodos de prova em lógica clássica é um problema bem resolvido, e que há um crescente interesse no uso de lógica modal. Neste contexto, estamos interessados em avaliar métodos de prova automática de lógica modal. Para isto, tomamos quatro diferentes propostas, que são analisadas e comparadas.

Inicialmente definimos uma série de requisitos que um método voltado para implementação automática, idealmente, deveria apresentar. Em seguida, para cada método estudado, é feita uma descrição detalhada de seu funcionamento, e é apresentada uma proposta de implementação. Com isto, conseguimos ter uma boa avaliação dos problemas práticos de realização de cada implementação. Concluímos o trabalho com uma comparação entre os quatro métodos escolhidos, segundo aqueles requisitos definidos anteriormente.

Abstract

It is known that automatic implementation of classic logic proof methods is a well-solved issue. Nowadays, there is an increasing interest about moda1 logic applications. In this context, we are interested in the evalriatiuon of automatic implementations of moda1 logic proof methods. In order to do this evaluation, four different approaches are analysed and compared.

First, some requirements that an approach intended to be automatically implemented should present are defined. Then, for each approach, its application is presented in detail and it is given a proposal of implementation. In this way, the practical issues related to each implementation are well analysed, In the last chapter, the four approaches are compared according to the requirements formerly defined.

Arquivo
Topo