[seminarios-CLE] seminario 05/05

Pessoal, na próxima quarta dia 05/05 teremos seminário.

Título: A noção de definibilidade conjuntista

Resumo: No seminário vamos fazer uma análise crítica da noção de definibilidade conjuntista. Em particular, por meio de resultados de Lógica elementar, vamos analisar o papel dos axiomas de ZFC, principalmente do axioma da escolha, no que diz respeito a introdução de conjuntos definíveis.


Nome: Rodrigo de Alvarenga Freire
Filiação: CLE - unicamp

às 16h00, no CLE - UNCAMP
Rafael Testa

Anytime Lifted Belief Propagation - Seminário do LIAMF - 29/04/2010

----------------------------------------------------------------------------
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: Anytime Lifted Belief Propagation
Palestrante: Rodrigo de Salvo Braz (SRI International)

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

Lifted first-order probabilistic inference, which manipulates
first-order representations directly, has been receiving increasing
attention. To date, all lifted inference methods require a model to be
shattered against itself and evidence, before inference starts. In
many situations this produces a new model that is not far from
propositionalized, therefore canceling the benefits of lifted inference.
We present an algorithm, Anytime Lifted Belief Propagation, that
corresponds to this intuition by performing shattering during belief
propagation inference, on an as-needed basis, starting on the most
relevant parts of a model  rst. The trade-off is having an (exact) bound
(an interval) on the query's belief rather than an exact belief. Bounds
are useful when approximate answers are sufficient and, in
decision-making applications, can even be enough to determine the
decision that would be picked from the exact belief. Moreover, the
bounds can be made to converge to the exact solution as inference and
shattering converge to the entire model. Interestingly, this algorithm
mirrors theorem-proving, helping to close the gap between probabilistic
and logic inference.


Todos são bem-vindos.

Seminário LIAMF 22/04/2010

----------------------------------------------------------------------------
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: Usando anotadores Apache UIMA para Português do Brasil
Palestrante: William Colen

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

Demonstraremos como criar aplicações usando anotadores do CoGrOO -
Corretor Gramatical para o OpenOffice.org, incluindo detector de
sentença, tokenizador, identificador de nomes próprios, etiquetador
morfológico, agrupador de sintagmas e um parser simples. Os anotadores
são compatíveis com a padronização OASIS UIMA - Unstructured
Information Management Architecture.
A demonstração consistirá em:

1. Instalando o Apache UIMA;
2. Usando as ferramentas do Apache UIMA para entender as
funcionalidades dos anotadores CoGrOO UIMA;
3. Desenvolvendo uma aplicação simples: será construído um protótipo de
  analisador de sentimentos baseado em informações morfológicas do texto e um
  pequeno dicionário semântico.

Todos são benvindos

Marcelo Finger

Seminário do LIAMF - 15/04

----------------------------------------------------------------------------
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 - IME-USP

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.


Todos são bem-vindos.