Abstract | ||
---|---|---|
Probabilistic logics combine the expressive power of logic with the ability to reason with uncertainty. Several probabilistic logic languages have been proposed in the past, each of them with their own features. In this paper, we propose a new probabilistic constraint logic programming language, which combines constraint logic programming with probabilistic reasoning. The language supports modeling of discrete as well as continuous probability distributions by expressing constraints on random variables. We introduce the declarative semantics of this language, present an exact inference algorithm to derive bounds on the joint probability distributions consistent with the specified constraints, and give experimental results. The results obtained are encouraging, indicating that inference in our language is feasible for solving challenging problems. |
Year | Venue | Keywords |
---|---|---|
2013 | IJCAI | continuous probability distribution,joint probability distribution,probabilistic logic language,constraint logic programming,exact inference algorithm,probabilistic logic,programming language,probabilistic reasoning,new probabilistic constraint logic,specified constraint |
DocType | Citations | PageRank |
Conference | 3 | 0.42 |
References | Authors | |
18 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Steffen Michels | 1 | 51 | 6.49 |
Arjen Hommersom | 2 | 121 | 19.62 |
Peter J. F. Lucas | 3 | 6 | 2.16 |
Marina Velikova | 4 | 130 | 12.82 |
Pieter Koopman | 5 | 143 | 16.29 |