This shows you the differences between two versions of the page.
|
en:dydaktyka:problog:lab2 [2017/06/04 13:58] msl [Probabilistic Graphs] |
en:dydaktyka:problog:lab2 [2019/06/27 15:49] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Probabilistic Programming — Probabilistic Graphs ====== | ||
| - | Graph structures are commonly used to represent knowledge across various domains and problems. It shouldn't be surprising that they are also present in many probabilistic models. In this class we will introduce probabilistic graphs --- weighted graphs with weights representing probabilities. Next, there will be very short introduction to decision theory in Problog. Finally we will try to escape from zombies which clearly shows usefulness of this class. | ||
| - | |||
| - | ===== Probabilistic Graphs ===== | ||
| - | |||
| - | Probabilistic graph looks like a normal weighted graph with weights being real numbers from range ''<0,1>'', like in the graph below: | ||
| - | |||
| - | {{ :en:dydaktyka:problog:probabilistic_graph.png?direct&500 |}} | ||
| - | |||
| - | You can easily represent this graph in Problog as a list of edges: | ||
| - | <code prolog> | ||
| - | 0.8::edge(1,2). | ||
| - | 0.2::edge(1,3). | ||
| - | 0.2::edge(1,4). | ||
| - | 0.2::edge(2,3). | ||
| - | 0.7::edge(3,5). | ||
| - | 0.3::edge(4.5). | ||
| - | </code> | ||
| - | |||
| - | The weight should be interpreted as a probability that transition from node to node (from state to state?) succeeds. | ||
| - | |||
| - | We can now write a rule (the same as in classical Prolog) to check if there is a path in a graph, i.e. | ||
| - | <code prolog> | ||
| - | % there is a direct path between the nodes, if there is an edge between those nodes | ||
| - | path(A,B) :- edge(A,B). | ||
| - | % there is a indirect path between the nodes, if there is an intermediate node | ||
| - | % that can be reached directly from the first node, and from which you can reach the second node | ||
| - | path(A,C) :- edge(A,B), | ||
| - | B \= C, | ||
| - | edge(B,C). | ||
| - | </code> | ||
