----------------------------------------------------------------------------
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
-----------------------------------------------------------------------------
NOTE: Sala 256A (diferente do resto do semestre)
NOTE2: Serão DOIS SEMINÁRIOS em sequência, de 45min cada
Data: 3/12/2009, 14h00
Local: Sala 256A, IME-USP
Seminário 1:
Título: Redução do conhecimento à crença
Palestrante: Alexandre Costa Leite (UnB)
Este trabalho apresenta a fusão de lógicas modais com o
axioma de interação
K p --> B p,
evitando a redução do conhecimento à crença:
K p <--> B p.
Proponho uma nova solução, diferente da de J. Halpern e W. van der Hoek.
Seminário 2:
Titulo: Different interpretations and applications of the square of opposition and its extensions
Palestrnte: Jean-Yves Beziau, UFC - CNPq/FUNCAP
In this talk I will present the square of opposition and some of its extensions, such as the hexagon of opposition,
and discuss various applications, in particular to deontic, doxastic and epistemic logics.
Todos são benvindos
Marcelo Finger <mfinger@ime.usp.br>
Nenhum comentário:
Postar um comentário