search

BayesianLogic / blog

The BLOG programming language
http://bayesianlogic.github.io/
BSD 4-Clause "Original" or "Old" License
98 stars 31 forks source link

Bug 2 in MHSampler #303

Open datang1992 opened 10 years ago

datang1992 commented 10 years ago

@lileicc This is another bug in the MHSampler (different from the last one). MHSampler fails on the following example:

random Integer X(Integer i) ~ UniformInt(0, 3);
random Integer Y ~ UniformInt(0, 3);
obs X(Y) = 0;
query Y;

The reason for this bug is that BLOG could not properly update the CBN correctly when a new instantiation is constructed.

lileicc commented 10 years ago

I donot think it is the problem of initial world. Since initial world is from LWSampler.

On Tue, Aug 26, 2014 at 5:19 PM, Da Tang notifications@github.com wrote:

@lileicc https://github.com/lileicc This is another bug in the MHSampler (different from the last one). MHSampler fails on the following example:

random Integer X(Integer i) ~ UniformInt(0, 3); random Integer Y ~ UniformInt(0, 3); obs X(Y) = 0; query Y;

The reason for this bug is that BLOG does not build the initial CBN correctly.

— Reply to this email directly or view it on GitHub https://github.com/BayesianLogic/blog/issues/303.

datang1992 commented 10 years ago

@lileicc I have updated my description.