Intervals for RegressionProblemData/SymbolicRegressionSolution

[chaider]

• Create a new view NamedIntervalView to represent the intervals
• Add Intervals to InteractiveSymbolicDataAnalysisSolutionSimplifierView ==> shows calculated intervals for each node

ProblemData:

• Add a new parameter to RegressionProblemData, which shows the variable ranges of the model
• Allows to edit the boundaries of input parameters

Solution:

• Add a new parameter to SymbolicRegressionSolution, which shows the derivates of the model within the NamedIntervalView

[chaider]

r16368 added new branch

[chaider]

r16369 Added Problems.DataAnalysis

[chaider]

r16370 Added Data

[chaider]

r16371 Added Data.Views

[chaider]

r16372

• Added references to projects
• Added build events

[gkronber]

#1299 is related

[chaider]

r16412 merged trunk into branch

[chaider]

r16413

• Added parameter VariableRanges to RegressionProblemData
• Added VariableRanges class
• Added View class for VariableRanges

[chaider]

r16414 Added merge properties

[chaider]

r16424 removed HeuristicLab.Data from branch

[chaider]

r16426

• Added NamedIntervals class
• Set NamedIntervals Parameter in RegressionProblemData

[chaider]

r16534 changed structure for NamedIntervals

[chaider]

r16535 Added Problems.DataAnalysis.Views

[chaider]

r16536 merged DataAnalysis.Views from trunk to branch

[chaider]

r16544

• Added editorconfig
• Added Getter for intervals in NamedIntervals class
• Changed GridView to show starting values of dataset

[chaider]

r16545

• Added ReadOnly field to NamedIntervals
• Changes at cell validation of NamedIntervalsView
• Added save on value changed

[chaider]

r16546 Added Problems.DataAnalysis.Symbolic.Views to branch

[chaider]

r16547 Added serialization to Interval class

[chaider]

r16548

• Removed Storable from Intervals
• Changed copy constructor from NamedIntervals class

[chaider]

r16549 Added interval ranges to InteractiveSymbolicDataAnalysisSolutionSimplifierView

[chaider]

r16556 Added derivates of intervals as result collection to solution view

[chaider]

r16581

• Check if treeNode exists for specific intervals in SimplifierView
• GridView fills space in NamedIntevalsView

[chaider]

r16586 Added IntervalConstraint Parameter and some fixes

[chaider]

r16587

• Added TextValueView
• Added IntervalConstraint Parser
• This two classes will be moved to another plugin

[chaider]

r16588 Changed variableIntervals from ObservableDictionary to Dictionary

[chaider]

r16589

• Added new Evaluator to evaulate Pearson RSquared with repsect to given constraints
• changes in SymbolicRegressionSolution

[chaider]

r16590:

• Interval-Parser:
• Changed Parser ==> after last group there can be now an infinite amount of whitepsaces
• Save userinput as property
• Save variable case-sensitive
• NamedIntervals
• Changed Storable attribute from IEnumerable to KeyValuePair, because old Persistance cant handle IEnumerable
• Added SymbolicRegressionConstraintAnalyzer
• SymbolicRegressionSingleObjectiveConstraintPearsonRSquaredEvaluator
• Fixed checking if a given interval is in another interval

[chaider]

r16591 Fixed checking if a given interval is in another interval

[chaider]

r16592

• Added ContainsInterval method in Interval
• Some renaming
• Added ConstraintAnalyzer to SymbolicRegressionProblem
• Added Counter for constraint violations in analyzer

[chaider]

r16593 changed cubic and square symbol at interval arithmetic

[chaider]

r16596

• Extended evaluator with linear scaling
• Added constructor to IntervalConstraint

[gkronber]

r16627: fixed update of interval results when solution changes (e.g. in the simplifier)

[gkronber]

r16628: made branch compile with current version of trunk

[gkronber]

r16632: fixed a small problem (trailing \r) in the parser for constraints

[gkronber]

r16633: fixed exception message

[gkronber]

r16634: disabled validation check in NamedIntervalsView because it is problematic when NamedIntervals are updated (e.g. while the algorithm is running)

[gkronber]

r16635: fixed updating of IntervalResults for SymbolicRegressionSolution

[gkronber]

r16636: set copy local for references to false, used project references for projects within the branch

[gkronber]

I'm not sure how exactly this branch was created. However, it is effectively impossible to merge changes from the trunk to this branch. :(

[gkronber]

r16637: merged changesets r16356:16565 from trunk/HeuristicLab.Data.Views to branch/HeuristicLab.Data.Views

[gkronber]

r16638: merged r16527:16625 from trunk/HeuristicLab.Problems.DataAnalysis.Views to branch/HeuristicLab.Problems.DataAnalysis.Views

[gkronber]

r16639: merged r16527:16565 from trunk/HeuristicLab.Problems.DataAnalysis.Symbolic.Views to branch/HeuristicLab.Problems.DataAnalysis.Symbolic.Views

[gkronber]

r16640: merged r16565:16631 from trunk/HeuristicLab.Problems.DataAnalysis to branch/HeuristicLab.Problems.DataAnalysis (resolving all conflicts)

[gkronber]

r16641: merged r16527:16625 from trunk/HeuristicLab.Problems.DataAnalysis.Symbolic.Regression to branch/HeuristicLab.Problems.DataAnalysis.Symbolic.Regression (resolving all conflicts)

Branch is now up-to-date with trunk. Damage was self-inflicted because I added all the StorableType attributes in the branch.

[gkronber]

r16642: fixed a StorableType attribute after merge from trunk

[gkronber]

r16643: fixed project references (removing obsolete references to HEAL.Attic, since we are using packagereferences now)

[gkronber]

r16644: removed duplicate usings of HEAL.Attic and unnecessary usings

[gkronber]

r16645: added an evalutor which optimizes constants first and then checks the constraint violations

[gkronber]

r16647: merged r16646 from trunk to branch

[gkronber]

r16685: merged r16658 from trunk to branch

[gkronber]

r16699: fixed a bug which caused an exception when loading problem instances with string variables (e.g. Miba instances)

[bburlacu]

r16713: Make IntervalConstraintsParser class static, adapt code. Add SymbolicRegressionConstraintSatisfactionEvaluator.

[gkronber]

When a RegressionProblemData is restored from an old file the intervals parameter is missing. As a consequence creating solutions fails.

--> An AfterDeserialization hook is necessary.

[chaider]

r16730 Added validation for NamedInterval. Show validation error inside table.

[chaider]

r16731 Added commented example input for constraints definition.

[chaider]

r16732 Added \n for end-of-line termination to regex

[chaider]

r16735 fixed unicode for derivation symbol

[gkronber]

r16741: fixed method names (for compatibility with r16740)

[chaider]

r16747 Added static CheckConstrain and CheckConstraints methods to SymbolicRegressionConstraintAnalyzer. Changed Apply method to use new CheckConstraints method

[chaider]

r16756

• Changed Interval Constraints View
• Added View for successfully parsed Constraints
• Save Constraints as IntervalConstraints

[chaider]

r16759

• Added commented infotext into IntervalConstraint Textbox
• Modified copy constructor

[chaider]

r16761 removed semicolon

[chaider]

r16770 Added Core Views

[chaider]

r16771 Changed references

[chaider]

r16772 Changed IntervalConstraints View

[chaider]

r16773

• Fixes and updates in IntervalConstraintView
• Changed Parser

[chaider]

r16774 Changed Parser and IntevalConstraint View

[chaider]

r16775: merged r16757:16763 from trunk to branch

[chaider]

r16776

• Added Expression change event
• Added errorProvider Validation

[chaider]

r16777

• Fixed Dispose problem
• Added event handling for item selection

[chaider]

r16778

• Changed field numberOfDerivation
• Added numberOfDerivation to Expression string
• Added numberOfDerivation to parser

[chaider]

Should it be possible to change the Variable of the derivation in the Detail-View if so: Validating the Variable in the IntervalConstraintView needs to get the Target-Variable and the VariableList, therefore I need the ProblemData inside my IntervalConstraints.

[chaider]

r16780

• Added Target prefix for parsed onstraints in IntervalConstraintParser
• Added isChecked validation for constraints in ConstraintAnalyzer

[chaider]

r16781

• Added isChecked validation for SymbolicRegressionSingleObjectiveConstraintConstOptEvaluator

[chaider]

r16787 Fixed isChecked events

[chaider]

r16790 removed HeuristicLab.Core.Views from branch

[chaider]

r16791 removed HeuristicLab.Data.Views from branch

[mkommend]

Review comments

• Remove all resx (designer generated) files for the views
• Check and correct all namespaces (e.g. NameInterval lies in HL.Problems.DataAnalysis.Implementation, What is HeuristicLab.Problems.DataAnalysis.Annotations?)
• Remove and sort all usings
• All methods should have Access modifies specified (e.g. ConstaintAnalyzer.CheckConstraint)
• Remove commented code
• Check if all classes contain a License Header (e.g. IntervalConstraintView)
• Unify Encoding(e.g. RegressionProblemData is changed to use Western European instead of UTF8). I have personally never seen such a change.

HL.Problems.DataAnalysis.Symbolic.Views

• Remove ProblemData casts in InteractiveSymbolicDataAnalysisSolutionSimplifierView

HL.Problems.DataAnalysis.Symbolic.Regression

• Revert changes in SymbolicRegressionConstantOptimizationEvaluator (storable type attribute on EvaluationsCounter)
• SymbolicRegressionConstraintAnalyzer
  • EnabledByDefault hides base member instead of overriding it!
  • Remove casts to RegressionProblemData
  • What is the purpose of the check in line 94?
  • What is the purpose of the check in line 110? How can it be that the variable of a constraint is null?
  • Reformat class to use longer lines than 80 char (e.g. line 112, 114, ...)
  • Line 111 should not be there are check for the target variable or variable in general?
  • Handling of error cases / exception in CheckConstraints
  • Please use results parameters for creating / updating results.
  • Don't misuse Dictionaries as result type
• Is the SymbolicRegressionConstraintSatisfactionEvaluator necessary? Please check with bburlacu
• SymbolicRegressionSingleObjectiveConstraintPearsonRSquaredEvaluator
  • Contains lots of commented code
  • What is the out parameter of CheckConstraintsViolations? Why is that necessary?
• SymbolicRegressionSolution
  • Remove const string EstimatedDerivationInterval (it is not used at all)
  • Line 133: Initialize with empty type (null) if possible to avoid duplicate calculation
  • Adapt AfterDeserializationHook to include new results
  • Line 165 avoid cast and access to values via parameters
  • Line 172 error checking - What happens if the key is the targetVariable
  • Suggestion: What about making GetIntervalEvaluations static? What is your opinion on this?

HL.Problems.DataAnalysis ==

• RegressionProblemData
  • Add variable ranges and constraints to the according interface
  • Move comment message to parsedConstraint as this has nothing todo with the ProblemData. Adapt comment to actually use reasonable variable names that actually occur in the problem data
• NamedInterval
  • cloning ctor line 38 - create new interval from existing one to be extra safe although intervals are immutable
  • Remove unused method InsertMany
  • Why is there an add method, but no other manipulations methods? Furthermore, there are no events present that indicate changes to the underlying collection/dictionary.
  • Maybe its better to expose an observable dictionary directly?!
• IntervalConstraint
  • Not all setters fire the changed event.
  • IsCheck should be renamed to either Check or Enabled
  • I would remove the default ctor and the ctor with just a name, cause these are useless
• Remove ITextValue from the plugin (see ticket #2931).
• ParsedConstraint
  • LicenseHeader is missing
  • Contains unused using
  • Never expose protected fields
  • Is the reference to the problemData really necessary? I have seen that you forward the problemData to the parser for variable validation. Is there no other way around?
  • Cloning constructor does not clone the values.
  • Ctor base calls are missing.
  • Ctors should forward to each other

HL.Problems.DataAnalysis.View

• IntervalConstraintView
  • ctor line 31 set derivationInput.Checked to false, because the content is always null at this time
  • UpdateControls line 97 - select emptyItem if constraint is no derivation
  • UpdateExpression - make method static that returns a string
  • Create a separate formater parse that is the inverse to the constraint parser
  • lowerboundInput_Validating use preconditions and early exit (e.g. line 152 if(double.IsNan(value)) { e.Cancel = true; return;}
  • Check calls to UpdateControls! These shouldn't be necessary in most cases, because the changed event should automatically trigger a GUI update!
  • TextValueView and Type will soon be integrated with #2391 and should be afterwards removed from this branch

Testing

• Variable Ranges - Clicking on columns names for sorting throws an exception
• White space in IntervalConstraint commented text
• Parser does not work with variable containing a white space in their name (e.g. PowerMeter problem data)
• Creation of new constraint by the plus button does not work
• Genetic Programming - Symbolic Regression Sample does not work anymore (Exception during execution). A possible reason might be that variable ranges are missing.

[chaider]

r16800 Several changes regarding review comments

[chaider]

r16809

• Added possibilty to use variables with whitespaces or derivation in constraint-definitions

[chaider]

r16810 Added AfterDeserialization hook to RegressionProblemData to add VariableRanges and IntervalConstraints

[chaider]

r16817 fixed sorting of columns in NamedIntervalsView

[gkronber]

The branch cannot be compiled with the current trunk!

[gkronber]

In r16800 the datatype for variableRanges was changed from Dictionary<...> to IDictionary<...> in method CheckConstraintViolations

https://dev.heuristiclab.com/trac.fcgi/changeset/16800/branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Symbolic.Regression/3.4/SingleObjective/Evaluators/SymbolicRegressionSingleObjectiveConstraintPearsonRSquaredEvaluator.cs

However, since IntervalInterpreter in the trunk expects Dictionary this fails.

[gkronber]

I made the necessary changes to trunk in order to fix this. See #2966, r16822

[gkronber]

r16823: also use IDictionary instead of Dictionary in SimplifierView

[gkronber]

r16824: merged changes from trunk/HeuristicLab.Problems.DataAnalysis to branch r16825: merged r16763 from trunk/HeuristicLab.Problems.DataAnalysis.Symbolic.Regression to branch

[chaider]

r16830 fixed review comments

[chaider]

r16841 added getter and setter for variable ranges and interval constraints

[chaider]

r16843 Removed Properties/Annotations.cs

[chaider]

r16844

• removed/reordered usings
• removed storabletype in ConstantOptimizationEvaluator
• Added/Changed License informations

[chaider]

r16845 Changed nodeIntervals in InteractiveSymbolicDataAnalysisSolutionSimlifierView

[chaider]

r16846 Added SymbolicRegressionConstraintAnalyzer to AfterDeserailization Hook

[chaider]

r16851 Refactored Constraint Evaluator and Analyzer

[chaider]

r16862 Changed some views

[chaider]

r16865 Added variable block-symbol (') for constraint parser

[chaider]

r16866 changed ConstraintParser description text and example to meet new parser requirements

[chaider]

r16870 changed content events in ParsedConstraintView

[chaider]

r16879 Removed unused parser method

[chaider]

r16880

• Disabled variable input field in IntervalConstraintView
• Added update definition method in IntervalConstraintView
• Added onChanged event for definition

[chaider]

r16881

• removed unused constructors
• changed creation of IntervalConstraint in IntervalConstraintParser

[chaider]

r16882 Added TODO issue for floating point calculation

[chaider]

r16883 merged trunk into branch

[chaider]

r16884 fixed storable problem within RegressionProblemData

[chaider]

r16885

• removed/fixed usings
• removed .resx file

[chaider]

r16886 Added Storable-Attribues to IntervalConstraint

[chaider]

r16887

• Changed resizing to all cells instead of headers
• Update OnContentChangedMethod

[chaider]

r16888 fixed NamedIntervalsView

[chaider]

r16895 Changed IntervalConstraint

[chaider]

r16896 Renaming and moving files:

Renamed: NamedIntervals => IntervalCollection

ParsedConstraint => ProblemDataConstraint

NamedIntervalsView => IntervalCollectionView

Folder Parser => Interval Moved: IntervalCollectionView from Regression/IntervalCollectionView => ./IntervalCollectionView

Interval, IntervalCollection from /Implementation => /Implementation/Interval

[chaider]

r16898

• Added all fields to IntervalConstraintView
• Rearanged fields
• Updated NumberOfDerivation event

[chaider]

r16900

• Added field Target to IntervalConstraint
• Prefixed Target-Item with Target:
• Removed prefixed Target: at derivations ==> show target field instead

[chaider]

r16903 Added variable definition without escape chars

[chaider]

r16904 Renamed NamedIntervals to IntervalCollection

[chaider]

r16904 Changed OnRemoved event int ParsedConstraintView ==> Removing the constraint_changed event

[gkronber]

The combobox for #Derivation and checkboxes in the "Interval Constraints Detail" are not disabled (set readonly).

[chaider]

r16917 Reformated code and added null-condition to Intervals

[chaider]

Replying to gkronber:

The combobox for #Derivation and checkboxes in the "Interval Constraints Detail" are not disabled (set readonly).

The #Derivation is only disabled at the Target-Constraint, because there we don't have a derivation. For the Derivation-Constraints it should be possible to change the number of derivation in the "Interval Constraints Detail View". The checkboxes should also be changeable in the Detail-View (inclusive or exclusive upper- or lower-bound and disabled/enabled)

[chaider]

r16918

• changed VariableIntervals from ObservableDictionary to IDictionary
• Added methods to get single intervals and all intervals

[chaider]

r16919 updated description text for constraints input

[chaider]

r16920 Fixed displayed value in #Derivation-field for target constraints

[chaider]

r16921

• Changed getInterval method to return Interval instead of KeyValuePair
• Calling getMethods from IntervalsCollection

[chaider]

r16924 Added isEnabled to constructor

[chaider]

r16925 Set the dictionary to private, renamed methods, added methods to operate on dictionary

[chaider]

r16927 use methodes to operate on IntervalCollection dictionary

[chaider]

r16928 Fixed cloning in ProblemDataConstraint

[chaider]

r16930

• removed setter from VariableRanges and IntervalConstraints
• changed protected method in sealed class to private

[chaider]

r16932 Use partial differential directly in strings instead of unicode

[gkronber]

    public ProblemDataConstraint() :base () {
      this.Input = exampleInput;
      this.constraints = new CheckedItemList<IntervalConstraint>();
      this.ProblemData = null;
    }

    public ProblemDataConstraint(IRegressionProblemData problemData) : base() {
      this.Input = exampleInput;
      this.constraints = new List<IntervalConstraint>();
      

Why do you use CheckedItemList in the first ctor and List in the second?

[gkronber]

Persistence of problems with intervals doesn't work at all.

It is never allowed to access data members of objects as long as serialization is not complete. You have many storable properties where in the setter you update the GUI. For example

    [Storable]
    public bool InclusiveUpperBound {
      get => inclusiveUpperBound;
      set {
        if (inclusiveUpperBound != value) {
          inclusiveUpperBound = value;
          UpdateExpression();
          OnChanged();
        }
      }

This fails because value is not yet completely restored by HEAL.Attic. Attach the Storable property to the backing field instead.

    [Storable(Name = "InclusiveUpperBound")]
    private bool inclusiveUpperBound;
    public bool InclusiveUpperBound {
      get => inclusiveUpperBound;
      set {
        if (inclusiveUpperBound != value) {
          inclusiveUpperBound = value;
          UpdateExpression();
          OnChanged();
        }
      }
    }

In ProblemDataConstraint.cs the property can be set to any enumerable (even a WhereSelect iterator!). It is strange to set the field to a lazy(!) enumerable and HEAL.Attic does not support serialization of lazy enumerables.

 [Storable]
    public IEnumerable<IntervalConstraint> Constraints {
      get => constraints;
      set {
        if (constraints == value) return;
        constraints = value;
        OnChanged();
      }
    }

`

[chaider]

r16935 fixed persisting of problems

• Attached Storable propperty to backing fields
• Changed the lazy enumerable of the Constraints field

[chaider]

r16936 Added #Derivation combobox and checkboxes to EnableStateOfControls to lock it while running

[chaider]

r16937 Removed Name from Storable attribute and initialized constraints with empty List

[chaider]

r16938 Added Changed event for ProblemDataConstraint

• Updated parseBtn_Click

[chaider]

r16957 Fixed parsing of seperator between lower- and upper-bound to match exactly two points

[chaider]

r16959 Changed unicode to derivative symbol in exampleInput

[chaider]

r16960 Removed unused ReadOnly property from IntervalCollection

[chaider]

r16963 Added OnTextChange event for constraints input; Added lock of constraints input

[chaider]

r16964 Changed setter conditions to precondiation checks

[mkommend]

r17144: Merged trunk changes into branch.

[mkommend]

r17145: Corrected naming of IntervalCollection and according view.

[mkommend]

r17146: Renamed views and updated error messages in constraint parser.

[gkronber]

• r17206 merged r17180:17184 from trunk to branch
• r17207 merged r17180:17184 from trunk to branch
• r17208 merged r17180:17184 from trunk to branch
• r17210 merged r17180:17184 from trunk to branch

[gkronber]

r17211: added clean script

[chaider]

r17249 Added label which indicates unparsed changes at constaints input view

[chaider]

r17250 Added exception handling for constraint parser

[chaider]

r17256: Added info text and info text color to ProblemDataConstraint

[gkronber]

Interval for cbrt(-8) produces [NaN, NaN] but should be [-2, -2].

[chaider]

r17300 Fixed calculation of cubic roots (negative numbers)

[chaider]

Replying to gkronber:

Interval for cbrt(-8) produces [NaN, NaN] but should be [-2, -2].

Cubic root for negative numbers should work now. (r17300)

[gkronber]

Interval also does not yet support abs() and aq() functions.

[chaider]

r17304 merged trunk into branch

[gkronber]

r17313: merged r17301:17305 from trunk:Interval.cs to branch:Interval.cs

[gkronber]

Replying to chaider:

r17304 merged trunk into branch

I suspect some warnings in the merge were ignored because changes to Interval.cs have not been merged in r17304 (because the files are in a different folder in the branch than in the trunk).

I have therefore merged the changes to the file Interval.cs in r17313 explicitly.

[chaider]

Remove the distinction between open/closed/partial opened intervals to simplify the calculation of interval arithmetic.

[chaider]

r17368 Merged trunk into branch

[chaider]

Replying to chaider:

Remove the distinction between open/closed/partial opened intervals to simplify the calculation of interval arithmetic.

r17370 Removed the possibility of declaring open and closed intervals. All intervals are closed intervals now.

[chaider]

r17372 Changed partial dependence plot range to interval range

[chaider]

r17482 Fixed constraint satisfied check for the const opt constraint evaluator

[mkommend]

r17501: Merged trunk changes into branch, corrected project files (output path for all configurations, reference paths), resolved merge conflicts in InteractiveSymbolicDataAnalysisSolutionSimplifierView.

[mkommend]

r17504: Added property in ProblemDataConstraints for EnabledConstraints.

[mkommend]

r17505: Minor change in Interval ctor.

[mkommend]

r17506: Further minor refactorings and renaming of members.

[mkommend]

Review Comments

HeuristicLab.Problems.DataAnalysis.Symbolic.Views-3.4

InteractiveSymbolicDataAnalysisSolutionSimplifierView

• Error handling for unknown symbols of the interval interpreter is missing. Currently the whole simplifier becomes unusable if an unknown symbol to the interval interpreter is encountered (e.g., cube, power).

HeuristicLab.Problems.DataAnalysis.Symbolic.Regression-3.4

Symbolic Regression Solution

• IntervalEvaluation should be renamed to ModelBounds (including all related methods, fields, strings, ...).
• Error handling for unkown symbols!

SymbolicRegressionConstraintAnalyzer

• I also suspect that errors wrt. unkown symbols are not handled and it is not defined what happens if those symbols are encountered.
• Please use results parameter when writing storing results. This is much easier than creating results on your own.

SymbolicRegressionSingleObjectiveConstraintPearsonRSquaredEvaluator

• Why are not the Constraints first checked in the Calculate method?
• Can we refactor the whole Calculate method instead of duplication the source? For example to something like this

    public static double Calculate(ISymbolicDataAnalysisExpressionTreeInterpreter interpreter, ISymbolicExpressionTree solution, double lowerEstimationLimit, double upperEstimationLimit, IRegressionProblemData problemData, IEnumerable<int> rows, bool applyLinearScaling) {
        var constraints = problemData.IntervalConstraints.Constraints.Where(x => x.Enabled);
        var variableRanges = problemData.VariableRanges.GetIntervals();
        if (!SymbolicRegressionConstraintAnalyzer.ConstraintsSatisfied(constraints, variableRanges, solution)) {
          return 0;
        }
  
        var r2 = SymbolicRegressionSingleObjectivePearsonRSquaredEvaluator.Calculate(interpreter, solution, lowerEstimationLimit, upperEstimationLimit, problemData, rows, applyLinearScaling);
        return r2;
      }
  

SymbolicRegressionSingleObjectiveConstraintConstOptEvaluator

• It would be better to check for constraints before evaluating the quality, because if the constaints are not satisfied constants optimization is superfluos.
• The method HasConstraintVioluations is obsolete and should be changed to a call to SymbolicRegressionConstraintAnalyzer.ConstraintsSatisfied

[chaider]

r17507 Added HeuristicLab.Problems.DataAnalysis.Symbolic to branch

[chaider]

r17508 Modified paths

[chaider]

r17509:

• Added cube, cuberoot, absolute and analytical quotient to IntervalInterpreter
• Extended the IsCompatible method in IntervalInterpreter (removed power, root because not implemented in DerivativeCalculator
• Added checks for known symbols at InteractiveSymbolicDataAnalysisSolutionSimplifierView and SymbolicRegressionSolution
• Renamed IntervalEvaluation to ModelBounds

[chaider]

r17510

• Changed constraint violation table to ResultParameter
• Changed symbol check to include DerivativeCalculator symbols
• Moved SymbolicRegressionConstraintAnalyzer to plugins root
• Added Power and Root to IntervalInterpreter

[chaider]

r17511

• Checked ConstraintSatisfied before calculating r2
• Removed code duplications in SymbolicRegressionSingleObjectiveConstraintPearsonRSquaredEvaluator and SymbolicRegressionSingleObjectiveConstraintConstOptEvaluator

[chaider]

r17512 Check if the derived tree contains not allowed symbols

[mkommend]

r17536: Corrected view name of ProblemDataConstraintView. r17537: Reordered known symbols in interval interpreter. r17538: Changed logic when intervals are calculated in symbolic regression solutions and simplifier.

[mkommend]

Please test the implemented functionality with the GP sample on the start page.

[chaider]

r17542 fixed bounds check in interval cstr

[mkommend]

ToDos:

• Correct build configurations (release, debug, output paths, references, ...)
• Interval calculation for Root symbol is not implemented correctly
• Test the whole implementation!

[chaider]

Replying to mkommend:

ToDos:

• Correct build configurations (release, debug, output paths, references, ...)
• Interval calculation for Root symbol is not implemented correctly
• Test the whole implementation!

As discussed with mkommend, the constraint related parts will be removed from this ticket and implemented in another ticket together with new evaluators, analyzers and other constraint related features.

[chaider]

r17547 Removed constraint related parts from branch

[chaider]

r17548 removed ProblemDataConstraint, ConstraintEvaluator and ConstraintAnalyzer

[chaider]

r17549 Updated root symbol

[chaider]

r17552 Updated paths

[chaider]

r17553 Added check if ModelBounds can be calculated

[chaider]

r17555 changed getter/setter from modelbounds

[chaider]

Added cases for root:

root(0, 0) = 0 ​https://www.wolframalpha.com/input/?i=root%280%2C+0%29
root(0, not 0) = undef ​https://www.wolframalpha.com/input/?i=root%280%2C+1%29
root(-1, 0) = complex inf.

Discuss with mkommend: Shorten edge cases of root to be always undefined

[mkommend]

r17561: Corrected path of Hl.Problems.DataAnalysis.Symbolic project.

[chaider]

r17562 removed root/power symbols

[chaider]

r17563 removed SymbolicRegressionSingleObjectiveConstraintConstOptEvaluator from branch

[mkommend]

r17564: Minor changes in interval collection and interval interpreter.

[chaider]

r17565 fixed bug in gridview in IntervalCollectionView

[mkommend]

r17572: Removed groupbox in IntervalCollectionView.

[mkommend]

r17579: Merged branch into trunk.

[mkommend]

r17580: Forgot to commit merge infos and outdated interval class file.

[chaider]

r17583 Modified sqrt symbol: added negative square root to interval

[chaider]

r17584 Updated unit tests for interval

[chaider]

Discuss the inclusion of both sqrt results (with inclusion of both parts AQ will always ends with [-inf. .. inf]).

[chaider]

r17754 Added some trigonometric function tests for IA

[mkommend]

Reviewed r17580, r17583, r17584, r17754. Looks good.

[mkommend]

r17803: Merged r17579, r17580, r17583, r17584, r17754 into stable.