2012-05-23 14:56:01 +01:00
|
|
|
:- use_module(library(pfl)).
|
|
|
|
|
2012-05-23 17:17:50 +01:00
|
|
|
%:- set_solver(fove).
|
|
|
|
%:- set_solver(hve).
|
|
|
|
%:- set_solver(bp).
|
|
|
|
%:- set_solver(cbp).
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-05-23 17:17:50 +01:00
|
|
|
:- yap_flag(write_strings, off).
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-06-18 23:10:18 +01:00
|
|
|
bayes burglary::[t,f] ; [0.001, 0.999] ; [].
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-06-18 23:10:18 +01:00
|
|
|
bayes earthquake::[t,f] ; [0.002, 0.998]; [].
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-06-18 23:10:18 +01:00
|
|
|
bayes alarm::[t,f], burglary, earthquake ;
|
2012-05-23 17:17:50 +01:00
|
|
|
[0.95, 0.94, 0.29, 0.001, 0.05, 0.06, 0.71, 0.999] ;
|
|
|
|
[].
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-06-18 23:10:18 +01:00
|
|
|
bayes john_calls::[t,f], alarm ; [0.9, 0.05, 0.1, 0.95] ; [].
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-06-18 23:10:18 +01:00
|
|
|
bayes mary_calls::[t,f], alarm ; [0.7, 0.01, 0.3, 0.99] ; [].
|
2012-05-23 14:56:01 +01:00
|
|
|
|
2012-05-23 17:17:50 +01:00
|
|
|
% ?- john_calls(J), mary_calls(m1).
|
2012-05-23 14:56:01 +01:00
|
|
|
|