Answer set programming probabilístico

Detalhes bibliográficos
Ano de defesa:	2012
Autor(a) principal:	Morais, Eduardo Menezes de
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Dissertação
Tipo de acesso:	Acesso aberto
Idioma:	por
Instituição de defesa:	Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	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)
Link de acesso:	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.

Registros relacionados