Independência parcial no problema da satisfazibilidade probabilística

Detalhes bibliográficos
Autor(a) principal: Morais, Eduardo Menezes de
Data de Publicação: 2018
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Resumo: 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.
id USP_6188b8f882907b64b34078f63d1bfdc8
oai_identifier_str oai:teses.usp.br:tde-17062018-190700
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Independência parcial no problema da satisfazibilidade probabilísticaPartial Independence in the Probabilistic Satisfiability ProblemConjuntos de distribuição de probabilidadeConvexidadeConvexityIndependência estatísticaLinear and multilinear programmingLógica probabilísticaProbabilistic logicProgramação linear e multilinearSets of probability distributionsStatistical independenceO 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.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.Biblioteca Digitais de Teses e Dissertações da USPFinger, MarceloMorais, Eduardo Menezes de2018-04-20info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2018-07-19T20:50:39Zoai:teses.usp.br:tde-17062018-190700Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212018-07-19T20:50:39Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Independência parcial no problema da satisfazibilidade probabilística
Partial Independence in the Probabilistic Satisfiability Problem
title Independência parcial no problema da satisfazibilidade probabilística
spellingShingle Independência parcial no problema da satisfazibilidade probabilística
Morais, Eduardo Menezes de
Conjuntos de distribuição de probabilidade
Convexidade
Convexity
Independência estatística
Linear and multilinear programming
Lógica probabilística
Probabilistic logic
Programação linear e multilinear
Sets of probability distributions
Statistical independence
title_short Independência parcial no problema da satisfazibilidade probabilística
title_full Independência parcial no problema da satisfazibilidade probabilística
title_fullStr Independência parcial no problema da satisfazibilidade probabilística
title_full_unstemmed Independência parcial no problema da satisfazibilidade probabilística
title_sort Independência parcial no problema da satisfazibilidade probabilística
author Morais, Eduardo Menezes de
author_facet Morais, Eduardo Menezes de
author_role author
dc.contributor.none.fl_str_mv Finger, Marcelo
dc.contributor.author.fl_str_mv Morais, Eduardo Menezes de
dc.subject.por.fl_str_mv Conjuntos de distribuição de probabilidade
Convexidade
Convexity
Independência estatística
Linear and multilinear programming
Lógica probabilística
Probabilistic logic
Programação linear e multilinear
Sets of probability distributions
Statistical independence
topic Conjuntos de distribuição de probabilidade
Convexidade
Convexity
Independência estatística
Linear and multilinear programming
Lógica probabilística
Probabilistic logic
Programação linear e multilinear
Sets of probability distributions
Statistical independence
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-04-20
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
url http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257039876653056

Registros relacionados