Título:  Raciocínio Probabilístico e aproximações
Palestrante: Marcelo Finger

Segunda, 13/09, 16h, sala 243A

Resumo:

Nesta palestra, mostraremos como atribuir probabilidades a fórmulas,
partindo de uma apresentação axiomática da atribuição.

O problema é que a atribuição depende da determinação da validade de
algumas fórmulas, o que é intratável no caso da lógica proposicional
clássica.

Para contornar este problema, mostraremos como a definição original pode
ser alterada para usar alguma aproximação de lógicas e mostraremos como
algumas propriedades da atribuição de probabilidades são preservadas e
outras que são alteradas.

Todos são benvindos!