Tese de Doutorado

Documento
Tese de Doutorado
Nome completo
Eduardo Menezes de Morais
E-mail
Unidade da USP
Instituto de Matemática e Estatística
Área do Conhecimento
Data de Defesa
2018-04-20
Imprenta
São Paulo, 2018
Orientador
Banca examinadora
Finger, Marcelo (Presidente)
Bueno, Juliana
Cozman, Fabio Gagliardi
Mauá, Denis Deratani
Santos, Paulo Eduardo
Título em português
Independência parcial no problema da satisfazibilidade probabilística
Palavras-chave em português
Conjuntos de distribuição de probabilidade, Convexidade, Independência estatística, Lógica probabilística, Programação linear e multilinear
Resumo em português
O problema da Satisfazibilidade Probabilística, PSAT, apesar da sua flexibilidade, torna exponencialmente complexa a modelagem de variáveis estatisticamente independentes. Esta tese busca desenvolver algoritmos e propostas de relaxamento para permitir o tratamento eficiente de independência parcial pelo PSAT. Apresentamos uma aplicação do PSAT ao problema da etiquetagem morfossintática que serve tanto de motivação como de demonstração dos conceitos apresentados.
Título em inglês
Partial Independence in the Probabilistic Satisfiability Problem
Palavras-chave em inglês
Convexity, Linear and multilinear programming, Probabilistic logic, Sets of probability distributions, Statistical independence
Resumo em inglês
The Probabilistic Satisfiability Problem, PSAT, despite its flexibility, makes it exponentially complicated to model statistically independent variables. This thesis develops algorithms and relaxation proposals that allow an efficient treatment of partial independence with PSAT. We also present an application of PSAT on the Part-of-speech tagging problem to serve both as motivation and showcase of the presented concepts.

AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso: Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.

Data de Publicação
2018-06-18

Trabalhos decorrentes

AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.

Serviços

Carregando...