Answer set programming probabilístico

Detalhes bibliográficos
Autor(a) principal: Morais, Eduardo Menezes de
Data de Publicação: 2012
Tipo de documento: Dissertação
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-20022013-001051/
Resumo: Este trabalho introduz uma técnica chamada Answer Set Programming Probabilístico (PASP), que permite a modelagem de teorias complexas e a verificação de sua consistência em relação a um conjunto de dados estatísticos. Propomos métodos de resolução baseados em uma redução para o problema da satisfazibilidade probabilística (PSAT) e um método de redução de Turing ao ASP.
id USP_914ee64862678bfae7acdf5c7523a7c0
oai_identifier_str oai:teses.usp.br:tde-20022013-001051
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Answer set programming probabilísticoProbabilistic Answer Set Programminganswer set programming (ASP)answer set programming (ASP)logic programminglógica probabilísticamany-to-one reductionprobabilistic logicprobabilistic satisfiability (PSAT)programação lógicaredução muitos-para-umsatisfazibilidade probabilística (PSAT)Este trabalho introduz uma técnica chamada Answer Set Programming Probabilístico (PASP), que permite a modelagem de teorias complexas e a verificação de sua consistência em relação a um conjunto de dados estatísticos. Propomos métodos de resolução baseados em uma redução para o problema da satisfazibilidade probabilística (PSAT) e um método de redução de Turing ao ASP.This dissertation introduces a technique called Probabilistic Answer Set Programming (PASP), that allows modeling complex theories and check its consistence with respect to a set of statistical data. We propose a method of resolution based in the reduction to the probabilistic satisfiability problem (PSAT) and a Turing reduction method to ASP.Biblioteca Digitais de Teses e Dissertações da USPFinger, MarceloMorais, Eduardo Menezes de2012-12-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/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/openAccesspor2016-07-28T16:10:35Zoai:teses.usp.br:tde-20022013-001051Biblioteca 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:27212016-07-28T16:10:35Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Answer set programming probabilístico
Probabilistic Answer Set Programming
title Answer set programming probabilístico
spellingShingle Answer set programming probabilístico
Morais, Eduardo Menezes de
answer set programming (ASP)
answer set programming (ASP)
logic programming
lógica probabilística
many-to-one reduction
probabilistic logic
probabilistic satisfiability (PSAT)
programação lógica
redução muitos-para-um
satisfazibilidade probabilística (PSAT)
title_short Answer set programming probabilístico
title_full Answer set programming probabilístico
title_fullStr Answer set programming probabilístico
title_full_unstemmed Answer set programming probabilístico
title_sort Answer set programming probabilístico
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 answer set programming (ASP)
answer set programming (ASP)
logic programming
lógica probabilística
many-to-one reduction
probabilistic logic
probabilistic satisfiability (PSAT)
programação lógica
redução muitos-para-um
satisfazibilidade probabilística (PSAT)
topic answer set programming (ASP)
answer set programming (ASP)
logic programming
lógica probabilística
many-to-one reduction
probabilistic logic
probabilistic satisfiability (PSAT)
programação lógica
redução muitos-para-um
satisfazibilidade probabilística (PSAT)
description Este trabalho introduz uma técnica chamada Answer Set Programming Probabilístico (PASP), que permite a modelagem de teorias complexas e a verificação de sua consistência em relação a um conjunto de dados estatísticos. Propomos métodos de resolução baseados em uma redução para o problema da satisfazibilidade probabilística (PSAT) e um método de redução de Turing ao ASP.
publishDate 2012
dc.date.none.fl_str_mv 2012-12-10
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/
url http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/
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_ 1809090881026785280

Registros relacionados