Answer set programming probabilístico

Answer set programming probabilístico

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 satisfaz...

Full description

Bibliographic Details
Main Author: Morais, Eduardo Menezes de
Other Authors: Finger, Marcelo
Format: Others
Language:pt
Published: Biblioteca Digitais de Teses e Dissertações da USP 2012
Subjects:
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)
Online Access:http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

Internet

http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

Similar Items