blob: f7aa7d39f9ee791653cfb4f6d6f16ba8718ba037 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
% From [Van den Broeck et al., 2010].
:- use_module(library(pita)).
:- pita.
:- begin_lpad.
0.3::rain.
0.5::wind.
% decision facts
? :: umbrella.
? :: raincoat.
broken_umbrella :- rain,umbrella,wind.
dry :- rain, raincoat.
dry :- rain, umbrella, \+(broken_umbrella).
dry :- \+(rain).
% utility facts
broken_umbrella => -40.
raincoat => -20.
umbrella => -2.
dry => 60.
:- end_lpad.
/*
* ?- dt_solve(Strategy,Value).
* Expected result:
* Strategy = [umbrella]
* Value = 43.0
*/
|
