Automação de Lógica Modal: Um Estudo Comparativo de Algumas Abordagens
Autores
3297 |
Luiz Fernando Pereira de Souza
|
105,1493
|
3298 |
105,1493
|
Informações:
Publicações do PESC
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.
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.