more notes

debugging_notes.txt

@@ -39,3 +39,18 @@ Teacher starting at iteration 11 begins to return duplicate negative examples.
     a. Tree is not correct
     b. The fact that teacher can only express <= and not < is causing problem.
 
+Understanding gurobi
+
+((1*fvar0_A0) + (1*fvar1_A0)) > -0.04754193
+
+in gurobi
+
+((1*fvar0_A0) + (1*fvar1_A0)) >= -0.04754193
+
+can you find a negative example(perceived state)
+in this shape?
+
+a negative example is a concrete state and perceived state si <var1,... ,var5>
+such that V(si) > V(sii) where sii is the next state after si.
+
+