search

krrepo / lea

Automatically exported from code.google.com/p/lea
GNU Lesser General Public License v3.0
0 stars 0 forks source link

Inconsistency with "embedded" CPT #11

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Consider the following CPT example in Leapp;

x = ?:(1/3)
y = ?:(1/4)
z1 = ?! ( ~x & ~y -> ?:(1/5),
          ~x &  y -> ?:(1/7),
           x & ~y -> ?:(1/2),
           x &  y -> ?:(1/2))

Notice that z1 is independent of y when x is true (i.e. "context-specific 
Independence"). 
Then, in the following refactoring

z0 = ?! ( ~y -> ?:(1/5),
           y -> ?:(1/7))
z3 = ?! ( ~x -> z0,
          x -> ?:(1/2))

z3 is expected to be equivalent to z1.

However the two distributions unexpectedly differ:

lea> :@ z1 ! y
11/42
lea> :@ z3 ! y
8/21

Original issue reported on code.google.com by pde@n-side.com on 14 Mar 2015 at 1:53

GoogleCodeExporter commented 9 years ago 
Corrected in Lea 2.1.1

Original comment by pde@n-side.com on 18 Mar 2015 at 12:17