Constraints and Splitting for Interval Arithmetic

[chaider]

Extend the current interval arithmetic

• Add shape constraints to define constraints over the model and its partial derivatives
• Add splitting for intervals to reduce the overestimation of boundaries

[chaider]

r17589 Added branch

[chaider]

r17590

• Added DataAnalysis.Symbolic (Corrected path)
• Changed includes/paths
• Added solution

[chaider]

r17591 Added Problems.DataAnalysis and Problems.DataAnalysis.Views

[chaider]

r17607 Added classes/views to define constraints

[chaider]

r17627

• Added interval grammar for fixed scaling
• Changed formatting
• Fixed typos

[chaider]

r17631

• Added splitting parameter in IntervalInterpreter
• Added methods for spitting in Interval class
• Fixed some typos and other minor changes

[chaider]

r17637 Changed variable ranges to readonly at GetIntervals methods

[chaider]

r17650

• Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
• Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled
• Added HyperbolicTangent as known symbol to IntervalInterpreter and DerivativeCalculator
• Removed Cube- and Cuberoot-Symbol from IntervalArithmeticGrammar and set Power- and Root-Symbol to disabled

[chaider]

r17651 Persistence fixes

[dpiringe]

r17723

• added regions in IntervalConstraint
• modified IntervalConstraintsParser to detect regions

[dpiringe]

r17728

• added a weight property for constraints (to have a weight multiplier for errors) in IntervalConstraint
• modified IntervalConstraintsParser to detect weights

[dpiringe]

r17736

• added a check in Interval/IntervalConstraintsParser to throw an exception for multiple variables with the same key

[chaider]

r17742 Added smart splitting method to interpreter

[gkronber]

r17756: suggested refactoring / fix for splitting algorithm

[gkronber]

r17757:17758: change sorting order for BoxBound

[chaider]

r17760

• Split only variables occuring more than once in the model
• Fixed returning interval from splitting method

[chaider]

r17763 Added interface for bound estimators and added an IABoundEstimator

[dpiringe]

r17765

• added new class Region and refactored the relevant code in IntervalConstraint and IntervalConstraintsParser
• added the .editorconfig file from trunk (to satisfy the coding guidelines)

[dpiringe]

r17767

• fixed a bug which caused a NullPointerException
• added a storable constructor in Region

[chaider]

r17768

• Removed Region class and used IntervallCollection instead
• Changed Parser to work with IntervalColletions
• Moved CheckConstraint methods from Analyzer to IntervalUtil class
• Added CheckConstraint method to interface to check if an interval is in a given constraint
• Added possibility to stop splitting as soon as a constraint is fulfiled

[chaider]

r17773 Fixed error calculation in IABoundsEstimator

[gkronber]

r17780: added (limited) support for power symbol (only for integer exponents)

[chaider]

r17790 Merged trunk into branch

[dpiringe]

r17791

• removed the weight multiplication in IntervalUtil -> should not be calculated in this method

[mkommend]

r17793: Merged trunk changes into the branch.

[gkronber]

r17798 merged r17797 from trunk to branch.

[gkronber]

r17800: fixed bug in derivation of power function

[gkronber]

r17802: merged r17801 from trunk to branch

[chaider]

r17818 Allow comma as decimal seperator

[chaider]

r17822 Fixed double parsing

[gkronber]

r17827: merged r17811:17826 from trunk to branch

[gkronber]

r17874: merge r17835, r17845 from trunk to branch

[gkronber]

r17875: merged r17832 from trunk to branch

[gkronber]

r17876: merged r17856, r17858 from trunk to branch

[chaider]

r17880

• Added AQ to IntervalArithmeticGrammar
• Fixed bug in IABoundsEstimator

[chaider]

r17881 Removed unused code

[chaider]

r17885 renamed branch for reintegration

[chaider]

r17886 made a copy of the reintegration branch to keep splitting code (which will be removed for reintegration)

[chaider]

r17887 intermediate comment while refactoring the branch

[chaider]

r17890 intermediate commit while refactoring

[gkronber]

r17891: refactoring to prepare for trunk reintegration

[chaider]

r17893 Added changes for reintegration

[chaider]

r17894 moved views into Regression folder because they are only used within RegressionProblemData

[chaider]

r17895 renamed IntervalConstraintView -> ShapeConstraintView

[chaider]

r17896 refactoring to prepare for trunk integration

[chaider]

r17902 merged reintegration branch to trunk

[chaider]

r17905 deleted reintegration branch

[chaider]

r17906 bugfixing

[gkronber]

TODO:

• ShapeConstraintsView shows warning about "Unparsed changes" when opening the view
• Label about "Unparsed changes" is moved behind parse button when the view is not wide enough
• Exception wenn "OptimizeParameters = false" in NMSE Evaluator with constraints
• Maximization array in MultiObjectiveEvaluator should use the Maximization flag from problem instead
• Maximization should be automatically updated when constraints are changed (added, removed, enabled, disabled)
• rounding for constraint violation values in multi-objective evaluator
• line spaces in help for shape constraints (.rtf file)
• Data Preprocessing View cannot be opened
• It seems the variable intervals are lost when solutions are combined to an ensemble (use Cross-validation to test this)
• Add a new class ShapeConstrainedRegressionProblemData derived from RegressionProblemData
• Prepare a sample for shape-constrained symbolic regression with GP

[chaider]

r17907

• Set cloning constructor to protected in IntervalArithCompiledExpressionBoundsEstimator
• Add Content == null handle in the OnContentChanged in ShapeConstraintView

[chaider]

r17908 Changed Interval tests, set delta to check bounds against each other

[gkronber]

r17909 also change storable ctor for IntervalArithCompiledExpressionBoundsEstimator to protected

[chaider]

r17910 Worked on todos: resource file update, added constraints with checked state into list, fixed constructor

[gkronber]

r17911 code improvements after reintegration of branch

[gkronber]

r17912 improved help message.

[gkronber]

r17913: fixed build fail of test solution

[chaider]

r17914 Fixed check for scaling nodes in ConstraintsEvaluators

[chaider]

r17927 Updated ShapeConstraintsView Design/Layout

[chaider]

r17937 Minor changes to views

[gkronber]

r17958: refactoring ShapeConstrainedRegressionProblem as discussed with MKo and CHa

[gkronber]

@Christian

• please re-create the sample (it didn't work)
• please check the ShapeConstraintView again.

[gkronber]

r17960: moved files

[gkronber]

r17961: propagate variableRanges from ShapeConstrainedRegressionProblemData to RegressionProblemData

[chaider]

r17964 Added sample on start page and default problem in shape constrained regression problem data

[chaider]

r17965 Added constraints for ShapeConstraintsSampleTest and fixed values

[chaider]

r17968 Added different values in test case for x64/86 environments

[gkronber]

r17981: fixed bugs in ShapeConstrainedRegressionProblemData

[gkronber]

r17982: fix build fail

[gkronber]

r17993: changed compatibility check for IntervalInterpreter to be more specific for integer powers (see r17780)

[gkronber]

Also tracks changes from #3076

[chaider]

Include chnages from #3130

[chaider]

r18034 Moved VariableRanges from RegressionProblemData to DataAnalysisProblemData to make it also available in classification problems

[gkronber]

r18107: changed ProblemData loading of IShapeConstrainedRegressionProblems to make sure we can also load ShapeConstrainedRegressionProblemData objects correctly without losing shape constraints

[gkronber]

r18108: actually use variable ranges specified in the constructor

[gkronber]

r18110 fix syntax problem for C# 7.0

[gkronber]

r18111: fix exception when no variableRanges are given in the ctor for ShapeConstrainedRegressionProblemData

[gkronber]

Closed on github.