Name
Abstract | ||
|---|---|---|
We present a language for integrating probabilistic reasoning and logic programming. The key idea is to use constraints based techniques such as the constraints store and finite domain variables. First we show how these techniques can be used to integrate a number of probabilistic inference algorithms with logic programming. We then proceed to detail a language which effects conditioning by probabilistically partitioning the constraint store. We elucidate the kinds of reasoning effected by the introduced language by means of two well known probabilistic problems: the three prisoners and Monty Hall. In particular we show how the syntax of the language can be used to avoid the pitfalls normally associated with the two problems. An elimination algorithm for computing the probability of a query in a given store is presented. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1007/978-3-540-30502-6_4 | ASIAN |
Keywords | Field | DocType |
constraint logic programming,elimination algorithm,logic programming,probabilistic space,finite domain variable,monty hall,constraints store,key idea,probabilistic inference algorithm,probabilistic reasoning,constraint store,probabilistic problem | Functional logic programming,Constraint satisfaction,Computer science,Inductive programming,Constraint programming,Probabilistic CTL,Artificial intelligence,Probabilistic logic,Logic programming,Probabilistic argumentation | Conference |
Volume | ISSN | ISBN |
3321 | 0302-9743 | 3-540-24087-X |
Citations | PageRank | References |
0 | 0.34 | 13 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicos Angelopoulos | 1 | 53 | 11.48 |