search

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

Bug with message value including random variable other than destination - showed up at site visit #31

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
When running the following program in the PRAiSE demo:

sort People: 10, ann, bob, dave, rodrigo, ciaran;

random friends: People x People -> Boolean;

friends(X,Y) <=> friends(Y,X);
not friends(X,X);

friends(bob, dave) 0.3;

Errors Processing Query
UNEXPECTED_PROCESSING_ERROR: value depends on random variable value other than 
its own destination/origin random variable: if friends(bob, dave) then 0.3 else 
0.7

Original issue reported on code.google.com by rodrigob...@gmail.com on 3 Apr 2014 at 7:49