| 1 | #region License Information
|
|---|
| 2 | /* HeuristicLab
|
|---|
| 3 | * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
|---|
| 4 | *
|
|---|
| 5 | * This file is part of HeuristicLab.
|
|---|
| 6 | *
|
|---|
| 7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
|---|
| 8 | * it under the terms of the GNU General Public License as published by
|
|---|
| 9 | * the Free Software Foundation, either version 3 of the License, or
|
|---|
| 10 | * (at your option) any later version.
|
|---|
| 11 | *
|
|---|
| 12 | * HeuristicLab is distributed in the hope that it will be useful,
|
|---|
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|---|
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|---|
| 15 | * GNU General Public License for more details.
|
|---|
| 16 | *
|
|---|
| 17 | * You should have received a copy of the GNU General Public License
|
|---|
| 18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
|---|
| 19 | */
|
|---|
| 20 | #endregion
|
|---|
| 21 |
|
|---|
| 22 | using System;
|
|---|
| 23 | using System.Collections.Generic;
|
|---|
| 24 | using System.Linq;
|
|---|
| 25 | using System.Drawing;
|
|---|
| 26 | using HeuristicLab.Common;
|
|---|
| 27 | using HeuristicLab.Core;
|
|---|
| 28 | using HeuristicLab.Data;
|
|---|
| 29 | using HeuristicLab.Optimization;
|
|---|
| 30 | using HeuristicLab.Parameters;
|
|---|
| 31 | using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
|
|---|
| 32 | using HeuristicLab.PluginInfrastructure;
|
|---|
| 33 | using HeuristicLab.Encodings.SymbolicExpressionTreeEncoding;
|
|---|
| 34 | using HeuristicLab.Problems.DataAnalysis.Regression;
|
|---|
| 35 | using HeuristicLab.Problems.DataAnalysis.Symbolic;
|
|---|
| 36 |
|
|---|
| 37 | namespace HeuristicLab.Problems.DataAnalysis.Regression.Symbolic {
|
|---|
| 38 | [Item("SymbolicRegressionProblem", "Represents a symbolic regression problem.")]
|
|---|
| 39 | [Creatable("Problems")]
|
|---|
| 40 | [StorableClass]
|
|---|
| 41 | public sealed class SymbolicRegressionProblem : RegressionProblem, ISingleObjectiveProblem {
|
|---|
| 42 |
|
|---|
| 43 | #region Parameter Properties
|
|---|
| 44 | public ValueParameter<BoolValue> MaximizationParameter {
|
|---|
| 45 | get { return (ValueParameter<BoolValue>)Parameters["Maximization"]; }
|
|---|
| 46 | }
|
|---|
| 47 | IParameter ISingleObjectiveProblem.MaximizationParameter {
|
|---|
| 48 | get { return MaximizationParameter; }
|
|---|
| 49 | }
|
|---|
| 50 | public ValueParameter<SymbolicExpressionTreeCreator> SolutionCreatorParameter {
|
|---|
| 51 | get { return (ValueParameter<SymbolicExpressionTreeCreator>)Parameters["SolutionCreator"]; }
|
|---|
| 52 | }
|
|---|
| 53 | IParameter IProblem.SolutionCreatorParameter {
|
|---|
| 54 | get { return SolutionCreatorParameter; }
|
|---|
| 55 | }
|
|---|
| 56 | public ValueParameter<ISymbolicRegressionEvaluator> EvaluatorParameter {
|
|---|
| 57 | get { return (ValueParameter<ISymbolicRegressionEvaluator>)Parameters["Evaluator"]; }
|
|---|
| 58 | }
|
|---|
| 59 | IParameter IProblem.EvaluatorParameter {
|
|---|
| 60 | get { return EvaluatorParameter; }
|
|---|
| 61 | }
|
|---|
| 62 | public ValueParameter<ISymbolicExpressionGrammar> FunctionTreeGrammarParameter {
|
|---|
| 63 | get { return (ValueParameter<ISymbolicExpressionGrammar>)Parameters["FunctionTreeGrammar"]; }
|
|---|
| 64 | }
|
|---|
| 65 | public ValueParameter<IntValue> MaxExpressionLengthParameter {
|
|---|
| 66 | get { return (ValueParameter<IntValue>)Parameters["MaxExpressionLength"]; }
|
|---|
| 67 | }
|
|---|
| 68 | public ValueParameter<IntValue> MaxExpressionDepthParameter {
|
|---|
| 69 | get { return (ValueParameter<IntValue>)Parameters["MaxExpressionDepth"]; }
|
|---|
| 70 | }
|
|---|
| 71 | public ValueParameter<DoubleValue> NumberOfEvaluatedNodesParameter {
|
|---|
| 72 | get { return (ValueParameter<DoubleValue>)Parameters["NumberOfEvaluatedNodes"]; }
|
|---|
| 73 | }
|
|---|
| 74 | public OptionalValueParameter<ISingleObjectiveSolutionsVisualizer> VisualizerParameter {
|
|---|
| 75 | get { return (OptionalValueParameter<ISingleObjectiveSolutionsVisualizer>)Parameters["Visualizer"]; }
|
|---|
| 76 | }
|
|---|
| 77 | IParameter IProblem.VisualizerParameter {
|
|---|
| 78 | get { return VisualizerParameter; }
|
|---|
| 79 | }
|
|---|
| 80 | public ValueParameter<DoubleValue> BestKnownQualityParameter {
|
|---|
| 81 | get { return (ValueParameter<DoubleValue>)Parameters["BestKnownQuality"]; }
|
|---|
| 82 | }
|
|---|
| 83 | IParameter ISingleObjectiveProblem.BestKnownQualityParameter {
|
|---|
| 84 | get { return BestKnownQualityParameter; }
|
|---|
| 85 | }
|
|---|
| 86 | #endregion
|
|---|
| 87 |
|
|---|
| 88 | #region Properties
|
|---|
| 89 | public IntValue MaxExpressionLength {
|
|---|
| 90 | get { return MaxExpressionLengthParameter.Value; }
|
|---|
| 91 | set { MaxExpressionLengthParameter.Value = value; }
|
|---|
| 92 | }
|
|---|
| 93 | public IntValue MaxExpressionDepth {
|
|---|
| 94 | get { return MaxExpressionDepthParameter.Value; }
|
|---|
| 95 | set { MaxExpressionDepthParameter.Value = value; }
|
|---|
| 96 | }
|
|---|
| 97 | public SymbolicExpressionTreeCreator SolutionCreator {
|
|---|
| 98 | get { return SolutionCreatorParameter.Value; }
|
|---|
| 99 | set { SolutionCreatorParameter.Value = value; }
|
|---|
| 100 | }
|
|---|
| 101 | ISolutionCreator IProblem.SolutionCreator {
|
|---|
| 102 | get { return SolutionCreatorParameter.Value; }
|
|---|
| 103 | }
|
|---|
| 104 | public ISymbolicRegressionEvaluator Evaluator {
|
|---|
| 105 | get { return EvaluatorParameter.Value; }
|
|---|
| 106 | set { EvaluatorParameter.Value = value; }
|
|---|
| 107 | }
|
|---|
| 108 | ISingleObjectiveEvaluator ISingleObjectiveProblem.Evaluator {
|
|---|
| 109 | get { return EvaluatorParameter.Value; }
|
|---|
| 110 | }
|
|---|
| 111 | IEvaluator IProblem.Evaluator {
|
|---|
| 112 | get { return EvaluatorParameter.Value; }
|
|---|
| 113 | }
|
|---|
| 114 | public ISymbolicExpressionGrammar FunctionTreeGrammar {
|
|---|
| 115 | get { return FunctionTreeGrammarParameter.Value; }
|
|---|
| 116 | }
|
|---|
| 117 | public ISingleObjectiveSolutionsVisualizer Visualizer {
|
|---|
| 118 | get { return VisualizerParameter.Value; }
|
|---|
| 119 | set { VisualizerParameter.Value = value; }
|
|---|
| 120 | }
|
|---|
| 121 | ISolutionsVisualizer IProblem.Visualizer {
|
|---|
| 122 | get { return VisualizerParameter.Value; }
|
|---|
| 123 | }
|
|---|
| 124 | public DoubleValue BestKnownQuality {
|
|---|
| 125 | get { return BestKnownQualityParameter.Value; }
|
|---|
| 126 | }
|
|---|
| 127 | private List<ISymbolicExpressionTreeOperator> operators;
|
|---|
| 128 | public IEnumerable<IOperator> Operators {
|
|---|
| 129 | get { return operators.Cast<IOperator>(); }
|
|---|
| 130 | }
|
|---|
| 131 | #endregion
|
|---|
| 132 |
|
|---|
| 133 | public SymbolicRegressionProblem()
|
|---|
| 134 | : base() {
|
|---|
| 135 | SymbolicExpressionTreeCreator creator = new ProbabilisticTreeCreator();
|
|---|
| 136 | var evaluator = new SymbolicRegressionMeanSquaredErrorEvaluator();
|
|---|
| 137 | var grammar = new ArithmeticExpressionGrammar();
|
|---|
| 138 | Parameters.Add(new ValueParameter<BoolValue>("Maximization", "Set to false as the error of the regression model should be minimized.", new BoolValue(false)));
|
|---|
| 139 | Parameters.Add(new ValueParameter<SymbolicExpressionTreeCreator>("SolutionCreator", "The operator which should be used to create new symbolic regression solutions.", creator));
|
|---|
| 140 | Parameters.Add(new ValueParameter<ISymbolicRegressionEvaluator>("Evaluator", "The operator which should be used to evaluate symbolic regression solutions.", evaluator));
|
|---|
| 141 | Parameters.Add(new ValueParameter<DoubleValue>("BestKnownQuality", "The minimal error value that can be reached by symbolic regression models.", new DoubleValue(0)));
|
|---|
| 142 | Parameters.Add(new ValueParameter<ISymbolicExpressionGrammar>("FunctionTreeGrammar", "The grammar that should be used for symbolic regression models.", grammar));
|
|---|
| 143 | Parameters.Add(new ValueParameter<IntValue>("MaxExpressionLength", "Maximal length of the symbolic expression.", new IntValue(100)));
|
|---|
| 144 | Parameters.Add(new ValueParameter<IntValue>("MaxExpressionDepth", "Maximal depth of the symbolic expression.", new IntValue(10)));
|
|---|
| 145 | Parameters.Add(new ValueParameter<DoubleValue>("NumberOfEvaluatedNodes", "The total number of evaluated function tree nodes (for performance measurements.)", new DoubleValue()));
|
|---|
| 146 | Parameters.Add(new ValueParameter<ISingleObjectiveSolutionsVisualizer>("Visualizer", "The operator which should be used to visualize artificial ant solutions.", null));
|
|---|
| 147 |
|
|---|
| 148 | creator.SymbolicExpressionTreeParameter.ActualName = "SymbolicRegressionModel";
|
|---|
| 149 | evaluator.QualityParameter.ActualName = "TrainingMeanSquaredError";
|
|---|
| 150 | ParameterizeSolutionCreator();
|
|---|
| 151 | ParameterizeEvaluator();
|
|---|
| 152 | ParameterizeVisualizer();
|
|---|
| 153 |
|
|---|
| 154 | Initialize();
|
|---|
| 155 | }
|
|---|
| 156 |
|
|---|
| 157 | [StorableConstructor]
|
|---|
| 158 | private SymbolicRegressionProblem(bool deserializing) : base() { }
|
|---|
| 159 |
|
|---|
| 160 | public override IDeepCloneable Clone(Cloner cloner) {
|
|---|
| 161 | SymbolicRegressionProblem clone = (SymbolicRegressionProblem)base.Clone(cloner);
|
|---|
| 162 | clone.Initialize();
|
|---|
| 163 | return clone;
|
|---|
| 164 | }
|
|---|
| 165 |
|
|---|
| 166 | #region Events
|
|---|
| 167 | public event EventHandler SolutionCreatorChanged;
|
|---|
| 168 | private void OnSolutionCreatorChanged() {
|
|---|
| 169 | var changed = SolutionCreatorChanged;
|
|---|
| 170 | if (changed != null)
|
|---|
| 171 | changed(this, EventArgs.Empty);
|
|---|
| 172 | }
|
|---|
| 173 | public event EventHandler EvaluatorChanged;
|
|---|
| 174 | private void OnEvaluatorChanged() {
|
|---|
| 175 | var changed = EvaluatorChanged;
|
|---|
| 176 | if (changed != null)
|
|---|
| 177 | changed(this, EventArgs.Empty);
|
|---|
| 178 | }
|
|---|
| 179 | public event EventHandler VisualizerChanged;
|
|---|
| 180 | private void OnVisualizerChanged() {
|
|---|
| 181 | var changed = VisualizerChanged;
|
|---|
| 182 | if (changed != null)
|
|---|
| 183 | changed(this, EventArgs.Empty);
|
|---|
| 184 | }
|
|---|
| 185 |
|
|---|
| 186 | public event EventHandler OperatorsChanged;
|
|---|
| 187 | private void OnOperatorsChanged() {
|
|---|
| 188 | var changed = OperatorsChanged;
|
|---|
| 189 | if (changed != null)
|
|---|
| 190 | changed(this, EventArgs.Empty);
|
|---|
| 191 | }
|
|---|
| 192 |
|
|---|
| 193 | private void SolutionCreatorParameter_ValueChanged(object sender, EventArgs e) {
|
|---|
| 194 | SolutionCreator.SymbolicExpressionTreeParameter.ActualNameChanged += new EventHandler(SolutionCreator_SymbolicExpressionTreeParameter_ActualNameChanged);
|
|---|
| 195 | ParameterizeSolutionCreator();
|
|---|
| 196 | ParameterizeEvaluator();
|
|---|
| 197 | ParameterizeVisualizer();
|
|---|
| 198 | ParameterizeOperators();
|
|---|
| 199 | OnSolutionCreatorChanged();
|
|---|
| 200 | }
|
|---|
| 201 | private void SolutionCreator_SymbolicExpressionTreeParameter_ActualNameChanged(object sender, EventArgs e) {
|
|---|
| 202 | ParameterizeEvaluator();
|
|---|
| 203 | ParameterizeVisualizer();
|
|---|
| 204 | ParameterizeOperators();
|
|---|
| 205 | }
|
|---|
| 206 | private void EvaluatorParameter_ValueChanged(object sender, EventArgs e) {
|
|---|
| 207 | Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
|
|---|
| 208 | ParameterizeEvaluator();
|
|---|
| 209 | ParameterizeVisualizer();
|
|---|
| 210 | OnEvaluatorChanged();
|
|---|
| 211 | }
|
|---|
| 212 |
|
|---|
| 213 | private void VisualizerParameter_ValueChanged(object sender, EventArgs e) {
|
|---|
| 214 | ParameterizeVisualizer();
|
|---|
| 215 | OnVisualizerChanged();
|
|---|
| 216 | }
|
|---|
| 217 |
|
|---|
| 218 | private void Evaluator_QualityParameter_ActualNameChanged(object sender, EventArgs e) {
|
|---|
| 219 | ParameterizeVisualizer();
|
|---|
| 220 | }
|
|---|
| 221 |
|
|---|
| 222 | #endregion
|
|---|
| 223 |
|
|---|
| 224 | #region Helpers
|
|---|
| 225 | [StorableHook(HookType.AfterDeserialization)]
|
|---|
| 226 | private void Initialize() {
|
|---|
| 227 | InitializeOperators();
|
|---|
| 228 | SolutionCreatorParameter.ValueChanged += new EventHandler(SolutionCreatorParameter_ValueChanged);
|
|---|
| 229 | SolutionCreator.SymbolicExpressionTreeParameter.ActualNameChanged += new EventHandler(SolutionCreator_SymbolicExpressionTreeParameter_ActualNameChanged);
|
|---|
| 230 | EvaluatorParameter.ValueChanged += new EventHandler(EvaluatorParameter_ValueChanged);
|
|---|
| 231 | Evaluator.QualityParameter.ActualNameChanged += new EventHandler(Evaluator_QualityParameter_ActualNameChanged);
|
|---|
| 232 | VisualizerParameter.ValueChanged += new EventHandler(VisualizerParameter_ValueChanged);
|
|---|
| 233 | }
|
|---|
| 234 |
|
|---|
| 235 | private void InitializeOperators() {
|
|---|
| 236 | operators = new List<ISymbolicExpressionTreeOperator>();
|
|---|
| 237 | operators.AddRange(ApplicationManager.Manager.GetInstances<ISymbolicExpressionTreeOperator>());
|
|---|
| 238 | ParameterizeOperators();
|
|---|
| 239 | }
|
|---|
| 240 |
|
|---|
| 241 | private void ParameterizeSolutionCreator() {
|
|---|
| 242 | SolutionCreator.SymbolicExpressionGrammarParameter.ActualName = FunctionTreeGrammarParameter.Name;
|
|---|
| 243 | SolutionCreator.MaxTreeHeightParameter.ActualName = MaxExpressionDepthParameter.Name;
|
|---|
| 244 | SolutionCreator.MaxTreeSizeParameter.ActualName = MaxExpressionLengthParameter.Name;
|
|---|
| 245 | }
|
|---|
| 246 | private void ParameterizeEvaluator() {
|
|---|
| 247 | Evaluator.FunctionTreeParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 248 | Evaluator.SamplesStartParameter.ActualName = TrainingSamplesStartParameter.Name;
|
|---|
| 249 | Evaluator.SamplesEndParameter.ActualName = TrainingSamplesEndParameter.Name;
|
|---|
| 250 | }
|
|---|
| 251 | private void ParameterizeVisualizer() {
|
|---|
| 252 | if (Visualizer != null) {
|
|---|
| 253 | //Visualizer.QualityParameter.ActualName = Evaluator.QualityParameter.ActualName;
|
|---|
| 254 | //var antTrailVisualizer = Visualizer as IAntTrailVisualizer;
|
|---|
| 255 | //if (antTrailVisualizer != null) {
|
|---|
| 256 | // antTrailVisualizer.SymbolicExpressionTreeParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 257 | // antTrailVisualizer.WorldParameter.ActualName = WorldParameter.Name;
|
|---|
| 258 | // antTrailVisualizer.MaxTimeStepsParameter.ActualName = MaxTimeStepsParameter.Name;
|
|---|
| 259 | //}
|
|---|
| 260 | //var bestSymExpressionVisualizer = Visualizer as BestSymbolicExpressionTreeVisualizer;
|
|---|
| 261 | //if (bestSymExpressionVisualizer != null) {
|
|---|
| 262 | // bestSymExpressionVisualizer.SymbolicExpressionTreeParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 263 | //}
|
|---|
| 264 | }
|
|---|
| 265 | }
|
|---|
| 266 |
|
|---|
| 267 | private void ParameterizeOperators() {
|
|---|
| 268 | foreach (ISymbolicExpressionTreeOperator op in Operators.OfType<ISymbolicExpressionTreeOperator>()) {
|
|---|
| 269 | op.MaxTreeHeightParameter.ActualName = MaxExpressionDepthParameter.Name;
|
|---|
| 270 | op.MaxTreeSizeParameter.ActualName = MaxExpressionLengthParameter.Name;
|
|---|
| 271 | op.SymbolicExpressionGrammarParameter.ActualName = FunctionTreeGrammarParameter.Name;
|
|---|
| 272 | }
|
|---|
| 273 | foreach (ISymbolicRegressionEvaluator op in Operators.OfType<ISymbolicRegressionEvaluator>()) {
|
|---|
| 274 | op.FunctionTreeParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 275 | op.DatasetParameter.ActualName = DatasetParameter.Name;
|
|---|
| 276 | op.NumberOfEvaluatedNodesParameter.ActualName = NumberOfEvaluatedNodesParameter.Name;
|
|---|
| 277 | op.TargetVariableParameter.ActualName = TargetVariableParameter.Name;
|
|---|
| 278 | op.SamplesStartParameter.ActualName = TrainingSamplesStartParameter.Name;
|
|---|
| 279 | op.SamplesEndParameter.ActualName = TrainingSamplesEndParameter.Name;
|
|---|
| 280 | }
|
|---|
| 281 | foreach (SymbolicExpressionTreeCrossover op in Operators.OfType<SymbolicExpressionTreeCrossover>()) {
|
|---|
| 282 | op.ParentsParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 283 | op.ChildParameter.ActualName = SolutionCreator.SymbolicExpressionTreeParameter.ActualName;
|
|---|
| 284 | }
|
|---|
| 285 | }
|
|---|
| 286 | #endregion
|
|---|
| 287 | }
|
|---|
| 288 | }
|
|---|
