Título: Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica

Data: 18/06/2018

Horário: 10:00h

Local: Sala de Seminários - Bloco 952

Resumo:

Algebrizar uma lógica consiste em definir uma álgebra a partir do sistema dedutivo de forma que tal álgebra represente o comportamento dessa lógica em termos de deduções e propriedades gerais. Isso permite, por exemplo,  a utilização de teorias sobre as equações nessas álgebras no estudo dos sistemas dedutivos. Os métodos de Lindenbaum-Tarski e de Blok e Pigozzi são possivelmente os mais conhecidos na literatura para essa tarfea. Nessa dissertação é discutida a algebrização por esses dois métodos e apresentada uma semântica algébrica equivalente para a Lógica da Inconsistência Epistêmica (LEI), útil para modelar situações e problemas de senso comum e raciocı́nio por default em IA.

Banca:

• Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
• Prof. Dr. Luis Gustavo Bastos Pinho (UFC - Coorientador)
• Prof. Dr. Edward Hermann Haeusler (PUC-Rio)
• Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)