0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
|
|
|
|
arg(X) :- bias(X). |
|
|
|
|
|
|
|
|
|
|
|
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
If arguments are truly independent then the bias is the only contribution to their belief.
0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
|
|
|
|
arg(X) :- bias(X). |
|
0.7::¬arg(hotel_Y) :- arg(hotel_X). |
0.4::¬arg(hotel_X) :- arg(hotel_Y). |
0.8::¬arg(hotel_Y) :- arg(noise). |
0.9::¬arg(hotel_X) :- arg(expensive). |
|
|
|
|
|
|
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
By introducing relations (conditional dependencies) the belief in choosing an hotel decreases
due to the attacks.
0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
0.4::bias(anne). |
|
|
|
arg(X) :- bias(X). |
|
0.7::¬arg(hotel_Y) :- arg(hotel_X). |
0.4::¬arg(hotel_X) :- arg(hotel_Y). |
0.8::¬arg(hotel_Y) :- arg(noise). |
0.9::¬arg(hotel_X) :- arg(expensive). |
|
0.5::arg(hotel_Y) :- arg(anne). |
|
|
|
|
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
Supports increase the belief and the effect propagates to the other arguments.
0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
0.4::bias(anne). |
0.4::bias(week). |
0.6::bias(quiet). |
|
arg(X) :- bias(X). |
|
0.7::¬arg(hotel_Y) :- arg(hotel_X). |
0.4::¬arg(hotel_X) :- arg(hotel_Y). |
0.8::¬arg(hotel_Y) :- arg(noise). |
0.9::¬arg(hotel_X) :- arg(expensive). |
|
0.5::arg(hotel_Y) :- arg(anne). |
0.7::¬arg(noise) :- arg(week), arg(quiet). |
|
|
|
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
week:
quiet:
(Joint) attacks decrease the belief in the target.
0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
0.4::bias(anne). |
0.4::bias(week). |
0.6::bias(quiet). |
|
arg(X) :- bias(X). |
|
0.7::¬arg(hotel_Y) :- arg(hotel_X). |
0.4::¬arg(hotel_X) :- arg(hotel_Y). |
0.8::¬arg(hotel_Y) :- arg(noise). |
0.9::¬arg(hotel_X) :- arg(expensive). |
|
0.5::arg(hotel_Y) :- arg(anne). |
0.7::¬arg(noise) :- arg(week), arg(quiet). |
|
evidence(arg(expensive), false). |
|
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
week:
quiet:
Evidence corresponds to the joint belief distribution conditioned to the new
information
0.6::bias(hotel_X). |
0.8::bias(hotel_Y). |
0.4::bias(expensive). |
0.2::bias(noise). |
0.4::bias(anne). |
0.4::bias(week). |
0.6::bias(quiet). |
|
arg(X) :- bias(X). |
|
0.7::¬arg(hotel_Y) :- arg(hotel_X). |
0.4::¬arg(hotel_X) :- arg(hotel_Y). |
0.8::¬arg(hotel_Y) :- arg(noise). |
0.9::¬arg(hotel_X) :- arg(expensive). |
|
0.5::arg(hotel_Y) :- arg(anne). |
0.7::¬arg(noise) :- arg(week), arg(quiet). |
|
evidence(arg(expensive), false). |
evidence(arg(noise), true). |
query(arg(X)). |
hotel_X:
hotel_Y:
expensive:
noise:
week:
quiet:
Evidence corresponds to the joint belief distribution conditioned to the new
information