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

Full description

Bibliographic Details
Main Author: Eduardo Menezes de Morais
Other Authors: Marcelo Finger
Language:Portuguese
Published: Universidade de São Paulo 2012
Subjects:
answer set programming (ASP)
lógica probabilística
programação lógica
redução muitos-para-um
satisfazibilidade probabilística (PSAT)
logic programming
many-to-one reduction
probabilistic logic
probabilistic satisfiability (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