Título: Aproximações de Lógicas

Palestrante: Guilherme de Souza Rabello

Dia: 03/05, 16h, sala 243A

Resumo:

Aproximações são usadas para lidar com problemas difíceis. Na Lógica 
Proposicional Clássica, por exemplo, pode-se mostrar que o algoritmo que 
permite decidir se um conjunto de fórmulas implica em outra fórmula é um
problema co-NP-completo - em outras palavras, é um problema duro de 
resolver.

Ao invés de usar uma lógica que dá respostas "aproximadamente corretas", 
como lógica Fuzzy ou Multivaluada, as aproximações lidam com lógicas que, 
no limite, tendem à Lógica Proposicional Clássica. Dessa forma, modelam bem 
os agentes reais, com capacidades limitadas; mais recursos de tempo e 
memória implicam em maior capacidade (dando uma "aproximação" melhor de
um agente ideal, onisciente).

Neste seminário, eu apresentarei as idéias gerais que cerceiam o conceito
de aproximações de lógicas, dando ênfase especial às aproximações "por
baixo" (mais bem sucedidas) e à semântica de aproximações desenvolvido 
por Marcelo Finger e Renata Wassermann (mais completa que a original
de Cadoli-Schaerf). O procedimento deles se refere à Lógica Proposicional
Clássica; no seminário, discutirei como pretendo adaptar esse procedimento
à Lógica Modal, que é uma lógica especialmente adequada para modelar
o conhecimento, tendo amplas aplicações em Inteligência Artificial.

O caráter do seminário é essencialmente de discussão, com o mínimo 
possível de detalhes técnicos; espero, assim, que seja acessível ao maior
número possível de pessoas, inclusive leigos.