question about updating models

I am trying to do some bayesian inference with CWM. I've got two random
boolean variables which are causally linked by a couple of probabilities,
which I am representing thus:

@prefix  rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix  bayes:  <http://192.168.1.2/bayes#> .
@prefix  :       <#> .

:L rdf:type bayes:link1 .
:L bayes:p11 0.456 .
:L bayes:p01 0.123 .
:L bayes:cause :A .
:L bayes:effect :B .
:A rdf:name "A" .
:A rdf:type bayes:boolean .
:A bayes:probability 0.7 .
:B rdf:name "B" .
:B rdf:type bayes:boolean .
:B bayes:probability 0.3 .

When I observe the value of B, I'll want to update the probability of A. So
I was tinkering with the mechanics of updating the probability and did this
experiment.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@forAll :who, :what.
{ :who bayes:probability :what } log:implies { :who bayes:probability
0.12345 }.

Running this gives each variable two probabilities:

    bay:A     a :boolean;
         :probability 0.12345,
                0.7;
         rdf:name "A" .

    bay:B     a :boolean;
         :probability 0.12345,
                0.3;
         rdf:name "B" .

I realized that what's happening here is that I am adding new triples to the
model but I don't know a way to delete old triples. Does such a way exist?

Received on Thursday, 28 January 2010 21:35:53 UTC