Título: Lógicas de Raciocínio Aproximado e o Problema SAT
Palestrante: Fábio Ide

Resumo: A partir dos estudos de Cadoli e Schaerf sobre Raciocínio Aproximado,
        iremos descrever a semântica das lógicas aproximadas S1 e S3. A partir
        daí iremos apresentar uma implementação para o problema SAT utilizando
        os conceitos da lógica S1, analisando suas limitações.