Changeset 16303 for branches/2956_apriori_knowledge/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicDataAnalysisSolutionSimplifierView.cs

Timestamp:

11/16/18 11:55:13 (5 years ago)

Author:

chaider

Message:

#2956: Added intermediate of a-priori knowledge

File:

• branches/2956_apriori_knowledge/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicDataAnalysisSolutionSimplifierView.cs (modified) (6 diffs)

branches/2956_apriori_knowledge/HeuristicLab.Problems.DataAnalysis.Symbolic.Views/3.4/InteractiveSymbolicDataAnalysisSolutionSimplifierView.cs

@@ -26 +26 @@
 using System.Threading.Tasks;
 using System.Windows.Forms;
+using HeuristicLab.Algorithms.DataAnalysis.KnowledgeIntegration.Interpreter;
+using HeuristicLab.Algorithms.DataAnalysis.KnowledgeIntegration.IntervalArithmetic;
+using HeuristicLab.Algorithms.DataAnalysis.KnowledgeIntegration.Util;
 using HeuristicLab.Common;
 using HeuristicLab.Encodings.SymbolicExpressionTreeEncoding;
@@ -36 +39 @@
     private Dictionary<ISymbolicExpressionTreeNode, ISymbolicExpressionTreeNode> foldedNodes;
     private Dictionary<ISymbolicExpressionTreeNode, ISymbolicExpressionTreeNode> changedNodes;
+    //private Dictionary<ISymbolicExpressionTreeNode, Interval> intervals;
+    private Dictionary<ISymbolicExpressionTreeNode, Interval> intervals;
     private Dictionary<ISymbolicExpressionTreeNode, double> nodeImpacts;
 
@@ -50 +55 @@
       changedNodes = new Dictionary<ISymbolicExpressionTreeNode, ISymbolicExpressionTreeNode>();
       nodeImpacts = new Dictionary<ISymbolicExpressionTreeNode, double>();
+      //intervals = new Dictionary<ISymbolicExpressionTreeNode, Interval>();
       this.Caption = "Interactive Solution Simplifier";
       this.impactCalculator = impactCalculator;
@@ -185 +191 @@
       progress.Start("Calculate Impact and Replacement Values ...");
       var impactAndReplacementValues = await Task.Run(() => CalculateImpactAndReplacementValues(tree));
+      var interpreter = new SymbolicDataAnalysisIntervalArithmeticInterpreter();
+
+      //var intervalParam = ((IRegressionProblemData)Content.ProblemData).IntervalVariable;
+      var customIntervals = new Dictionary<String, Interval>();
+      var parser = new FormulationParser();
+      //foreach (var ci in intervalParam) {
+      //var inter = parser.Parse(ci.Formulation.GetValue());
+      //customIntervals.Add(ci.Variable.GetValue(), new Interval(0, 1));
+      //}
+      var resultInterval = interpreter.GetSymbolicExressionTreeIntervals(tree, Content.ProblemData.Dataset, Content.ProblemData.TrainingIndices, out intervals);
       await Task.Delay(500); // wait for progressbar to finish animation
       var replacementValues = impactAndReplacementValues.ToDictionary(x => x.Key, x => x.Value.Item2);
@@ -190 +206 @@
         foldedNodes[pair.Key] = MakeConstantTreeNode(pair.Value);
       }
+      //Instruction currentInstr = instructions.NextInstruction();
+      //while (instructions.HasNextInstruction()) {
+      //  //intervals[currentInstr.dynamicNode] = (Interval)currentInstr.data;
+      //  intervals.Add(Tuple.Create(currentInstr.dynamicNode, (Interval)currentInstr.data));
+      //  currentInstr = instructions.NextInstruction();
+      //}
+      
+      
+
+      //intervals.Add(Tuple.Create(currentInstr.dynamicNode, (Interval)currentInstr.data));
       nodeImpacts = impactAndReplacementValues.ToDictionary(x => x.Key, x => x.Value.Item1);
       progress.Finish();
-      PaintNodeImpacts();
+      PaintIntervals();
+      //PaintNodeImpacts();
     }
 
@@ -253 +280 @@
     }
 
+    private void PaintIntervals() {
+      int node = 0;
+      var impacts = nodeImpacts.Values;
+      double max = impacts.Max();
+      double min = impacts.Min();
+
+      foreach (ISymbolicExpressionTreeNode treeNode in Content.Model.SymbolicExpressionTree.IterateNodesPrefix()) {
+        VisualTreeNode<ISymbolicExpressionTreeNode> visualTree = treeChart.GetVisualSymbolicExpressionTreeNode(treeNode);
+
+        if (visualTree != null) { 
+          visualTree.ToolTip = visualTree.Content.ToString();
+          //visualTree.ToolTip += String.Format($"{Environment.NewLine}Intervals: [{intervals[node].Item2.LowerBound:E4} ... {intervals[node].Item2.UpperBound:E4}]{Environment.NewLine}");
+          visualTree.ToolTip += String.Format($"{Environment.NewLine}Intervals: [{intervals[treeNode].LowerBound:E4} ... {intervals[treeNode].UpperBound:E4}]{Environment.NewLine}]");
+          node++;
+          
+          if (!(treeNode is ConstantTreeNode) && nodeImpacts.ContainsKey(treeNode)) {
+            double impact = nodeImpacts[treeNode];
+
+            // impact = 0 if no change
+            // impact < 0 if new solution is better
+            // impact > 0 if new solution is worse
+            if (impact < 0.0) {
+              visualTree.FillColor = Color.FromArgb((int)(impact / min * 255), Color.Red);
+            } else if (impact.IsAlmost(0.0)) {
+              visualTree.FillColor = Color.White;
+            } else {
+              // max is guaranteed to be > 0
+              visualTree.FillColor = Color.FromArgb((int)(impact / max * 255), Color.Green);
+            }
+            visualTree.ToolTip += String.Format($"{Environment.NewLine} Node impact: {impact:E4}");
+            var constantReplacementNode = foldedNodes[treeNode] as ConstantTreeNode;
+            if (constantReplacementNode != null) {
+              visualTree.ToolTip += String.Format($"{Environment.NewLine} Replacement value: {constantReplacementNode.Value:E4}");
+            }
+          }
+          if (changedNodes.ContainsKey(treeNode)) {
+            visualTree.LineColor = Color.DodgerBlue;
+          } else if (treeNode is ConstantTreeNode && foldedNodes.ContainsKey(treeNode)) {
+            visualTree.LineColor = Color.DarkOrange;
+          }
+        }
+      }
+      treeChart.RepaintNodes();
+    }
+
     private void PaintNodeImpacts() {
       var impacts = nodeImpacts.Values;