----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/liamf/seminarios/index.html
-----------------------------------------------------------------------------

Título: Lógica Computacional -- Expressividade, Limites e Desafios
Palestrante: Marcelo Finger

Data:  15/4/2010, 14hs
Local: Sala 254-A

Nesta palestra apresentamos a área de Lógica Computacional como a
resultante de três forças: a busca pela expressividade na descrição de
modelos matemático-computacionais, os limites encontrados em termos de
computabilidade e tratabilidade, e os desafios de se enfrentar estes
limites.

Apresentaremos a área desde os seus primórdios no final do séc 19 e
mostraremos que o fracasso da tentativa de reduzir toda a matemática à
Lógica de Primeira Ordem (conhecido como Programa Logicista) teve como
resultado um grande sucesso, que foi a criação da Teoria da
Computação.  Mostramos que dentro das fronteiras do computável há
muita expressividade por ser capturada por lógicas proposicionais,
modais e temporais.  Mostramos também que apesar de computáveis,
muitos problemas relacionados às Lógicas esbarram em outro limite, o
da tratabilidade.  Por fim, descrevemos dois métodos para se enfrentar
o limite da tratabilidade, o Raciocínio por Aproximações e as
Combinações de Lógica e Probabilidade.