From 14d142aa108f5c40563ad2e330e434b9d980538c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 3 Apr 2012 16:23:26 +0100 Subject: [PATCH] new example. --- packages/CLPBN/clpbn/bp/examples/smokers.yap | 32 ++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 packages/CLPBN/clpbn/bp/examples/smokers.yap diff --git a/packages/CLPBN/clpbn/bp/examples/smokers.yap b/packages/CLPBN/clpbn/bp/examples/smokers.yap new file mode 100644 index 000000000..5e7e7c5b6 --- /dev/null +++ b/packages/CLPBN/clpbn/bp/examples/smokers.yap @@ -0,0 +1,32 @@ + +:- use_module(library(pfl)). + +%:- set_pfl_flag(solver,ve). +:- set_pfl_flag(solver,bp), clpbn_bp:set_horus_flag(inf_alg,ve). +% :- set_pfl_flag(solver,fove). + +:- yap_flag(write_strings, off). + +friendly(P1, P2) :- + person(P1), + person(P2), + P1 @> P2. + +person(john). +person(maggie). +person(harry). +person(bill). +person(matt). +person(diana). +person(bob). +person(dick). +person(burr). +person(ann). + +person @ 2. + +markov smokes(P)::[t,f] , cancer(P)::[t,f] ; [0.1, 0.2, 0.3, 0.4] ; [person(P)]. + +markov friend(P1,P2)::[t,f], smokes(P1)::[t,f], smokes(P2)::[t,f] ; [0.5, 0.6, 0.7, 0.8] ; [friendly(P1, P2)]. + +?- smokes(person_0, t), smokes(person_1, t), friend(person_0, person_1, F).