Análise de Complexidade e Inferência Variacional em uma Lógica de Descrição Probabilística - Seminário do LIAMF dia 8/10

---------------------------------------------------------------------------
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: Análise de Complexidade e Inferência Variacional em uma Lógica
de Descrição Probabilística

Palestrante: Fábio G. Cozman

Data:   8/10/2009, 14h00
Local:  Sala 243A, IME-USP

Resumo:
Esta palestra apresenta uma lógica de descrição probabilística baseada
na popular lógica ALC (contendo operadores Booleanos e quantificadores,
e também restrições numéricas, papéis inversos e hierarquias de papéis).
Serão apresentados argumentos que justificam esta lógica ser a lógica
mais "simples" que combina descrições não triviais e probabilidades.
Inferência exata na lógica é um problema PEXP-completo; em vista dessa
complexidade, serão apresentados algoritmos aproximados bastante
precisos e eficientes, capazes de explorar inferência lógica quando
possível. Aplicações em robótica e processamento de texto serão
discutidas.
Sobre o palestrante:
Fabio G. Cozman é engenheiro eletrônico e mestre em Engenharia pela
Universidade de São Paulo, PhD pela School of Computer Science, Carnegie
Mellon University, EUA, e professor titular na Escola Politécnica da
Universidade de São Paulo. Suas pesquisas se concentram em aplicações da
teoria de decisão em automação e classificação de dados, e
generalizações da teoria de probabilidades para inferência e
representação de conhecimento.

--------------



Todos são bem-vindos