Título: Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica
Data: 30/11/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: