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: Probabilistic Logic with Independence
Palestrante: Cassio Polpo de Campos - EACH-USP
Data e Local: dia 04.06.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
This talk investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages, and then consider graph-theoretic representations for propositional probabilistic logic with independence. Inference problems and complexity results are discussed. Finally, we examine a relational probabilistic logic in finite domains. (Joint work with Fabio Cozman, Poli-USP.)
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf
------------------------------
Título: Probabilistic Logic with Independence
Palestrante: Cassio Polpo de Campos - EACH-USP
Data e Local: dia 04.06.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
This talk investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages, and then consider graph-theoretic representations for propositional probabilistic logic with independence. Inference problems and complexity results are discussed. Finally, we examine a relational probabilistic logic in finite domains. (Joint work with Fabio Cozman, Poli-USP.)
Nenhum comentário:
Postar um comentário