source: branches/GP.Grammar.Editor/HeuristicLab.Problems.DataAnalysis.Symbolic/3.4/Grammars/TypeCoherentExpressionGrammar.cs @ 6337

#region License Information
/* HeuristicLab
 * Copyright (C) 2002-2011 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
 *
 * This file is part of HeuristicLab.
 *
 * HeuristicLab is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * HeuristicLab is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
 */
#endregion

using System.Collections.Generic;
using HeuristicLab.Common;
using HeuristicLab.Core;
using HeuristicLab.Encodings.SymbolicExpressionTreeEncoding;
using HeuristicLab.Persistence.Default.CompositeSerializers.Storable;
namespace HeuristicLab.Problems.DataAnalysis.Symbolic {
  [StorableClass]
  [Item("TypeCoherentExpressionGrammar", "Represents a grammar for functional expressions in which special syntactic constraints are enforced so that boolean and real-valued expressions are not mixed.")]
  public class TypeCoherentExpressionGrammar : SymbolicExpressionGrammar, ISymbolicDataAnalysisGrammar {

    [StorableConstructor]
    protected TypeCoherentExpressionGrammar(bool deserializing) : base(deserializing) { }
    protected TypeCoherentExpressionGrammar(TypeCoherentExpressionGrammar original, Cloner cloner) : base(original, cloner) { }
    public TypeCoherentExpressionGrammar()
      : base(ItemAttribute.GetName(typeof(TypeCoherentExpressionGrammar)), ItemAttribute.GetDescription(typeof(TypeCoherentExpressionGrammar))) {
      Initialize();
    }
    public override IDeepCloneable Clone(Cloner cloner) {
      return new TypeCoherentExpressionGrammar(this, cloner);
    }

    private void Initialize() {
      var add = new Addition();
      var sub = new Subtraction();
      var mul = new Multiplication();
      var div = new Division();
      var mean = new Average();
      var sin = new Sine();
      var cos = new Cosine();
      var tan = new Tangent();
      var log = new Logarithm();
      var pow = new Power();
      pow.InitialFrequency = 0.0;
      var root = new Root();
      root.InitialFrequency = 0.0;
      var exp = new Exponential();
      var @if = new IfThenElse();
      var gt = new GreaterThan();
      var lt = new LessThan();
      var and = new And();
      var or = new Or();
      var not = new Not();

      var timeLag = new TimeLag();
      timeLag.InitialFrequency = 0.0;
      var integral = new Integral();
      integral.InitialFrequency = 0.0;
      var derivative = new Derivative();
      derivative.InitialFrequency = 0.0;
      var variableCondition = new VariableCondition();
      variableCondition.InitialFrequency = 0.0;

      var constant = new Constant();
      constant.MinValue = -20;
      constant.MaxValue = 20;
      var variableSymbol = new HeuristicLab.Problems.DataAnalysis.Symbolic.Variable();
      var laggedVariable = new LaggedVariable();

      laggedVariable.InitialFrequency = 0.0;
      mean.InitialFrequency = 0.0;

      /*
       * Start = RealValueExpression
       * 
       * RealValueExpression = 
       *   "Variable"  |
       *   "Constant" | 
       *   BinaryOperator RealValueExpression RealValueExpression |
       *   UnaryOperator RealValueExpression | 
       *   "IF" BooleanExpression RealValueExpression RealValueExpression | 
       *   "VariableCondition" RealValueExpression RealValueExpression
       * 
       * BinaryOperator = 
       *   "+" | "-" | "*" | "/" | "Power" | "Root"
       * 
       * UnaryOperator = 
       *   "Sin" | "Cos" | "Tan" | "Log" | "Exp"
       * 
       * BooleanExpression = 
       *   "AND" BooleanExpression BooleanExpression |
       *   "OR" BooleanExpression BooleanExpression |
       *   "NOT" BooleanExpression |
       *   ">" RealValueExpression RealValueExpression |
       *   "<" RealValueExpression RealValueExpression
       */

      var arithmeticSymbols = new GroupSymbol("Arithmetic Functions", new List<ISymbol>() { add, sub, mul, div });
      var trigonometricSymbols = new GroupSymbol("Trigonometric Functions", new List<ISymbol>() { sin, cos, tan });
      var powerSymbols = new GroupSymbol("Power Functions", new List<ISymbol> { pow, root });
      var exponentialAndLogarithmicSymbols = new GroupSymbol("Exponential and Logarithmic Functions", new List<ISymbol> { exp, log });
      var terminalSymbols = new GroupSymbol("Terminals", new List<ISymbol> { constant, variableSymbol });
      var realValuedSymbols = new GroupSymbol("Real valued Symbols",
        new List<ISymbol>() { arithmeticSymbols, trigonometricSymbols, powerSymbols, exponentialAndLogarithmicSymbols, terminalSymbols });

      AddSymbol(realValuedSymbols);

      SetSubtreeCount(arithmeticSymbols, 2, 2);
      SetSubtreeCount(trigonometricSymbols, 1, 1);
      SetSubtreeCount(powerSymbols, 2, 2);
      SetSubtreeCount(exponentialAndLogarithmicSymbols, 1, 1);
      SetSubtreeCount(terminalSymbols, 0, 0);

      AddAllowedChildSymbol(StartSymbol, realValuedSymbols);
      AddAllowedChildSymbol(DefunSymbol, realValuedSymbols);
      AddAllowedChildSymbol(realValuedSymbols, realValuedSymbols);

      //var unaryBooleanFunctionSymbols = new List<Symbol>() { not };
      //var binaryBooleanFunctionSymbols = new List<Symbol>() { or, and };
      //var relationalFunctionSymbols = new List<Symbol>() { gt, lt };
      //var booleanSymbols = unaryBooleanFunctionSymbols.Concat(binaryBooleanFunctionSymbols).Concat(relationalFunctionSymbols);

      var allSymbols = new List<Symbol>() { add, sub, mul, div, mean, sin, cos, tan, log, pow, root, exp, @if, gt, lt, and, or, not, timeLag, integral, derivative, constant, variableSymbol, laggedVariable, variableCondition };

      var unaryFunctionSymbols = new List<Symbol>() { sin, cos, tan, log, exp, timeLag, integral, derivative };
      var binaryFunctionSymbols = new List<Symbol>() { add, sub, mul, div, mean, pow, root, variableCondition };



      //var terminalSymbols = new List<Symbol>() { variableSymbol, constant, laggedVariable };
      //var realValuedSymbols = unaryFunctionSymbols.Concat(binaryFunctionSymbols).Concat(terminalSymbols).Concat(new List<Symbol>() { @if });


      //foreach (var symb in allSymbols)
      //  AddSymbol(symb);

      //foreach (var unaryFun in unaryFunctionSymbols.Concat(unaryBooleanFunctionSymbols)) {
      //  SetSubtreeCount(unaryFun, 1, 1);
      //}
      //foreach (var binaryFun in binaryFunctionSymbols.Concat(binaryBooleanFunctionSymbols).Concat(relationalFunctionSymbols)) {
      //  SetSubtreeCount(binaryFun, 2, 2);
      //}

      //foreach (var terminalSymbol in terminalSymbols) {
      //  SetSubtreeCount(terminalSymbol, 0, 0);
      //}

      //SetSubtreeCount(@if, 3, 3);


      // allow only real-valued expressions as child of the start symbol
      //foreach (var symb in realValuedSymbols) {
      //  AddAllowedChildSymbol(StartSymbol, symb);
      //  AddAllowedChildSymbol(DefunSymbol, symb);
      //}

      //foreach (var symb in unaryFunctionSymbols) {
      //  foreach (var childSymb in realValuedSymbols) {
      //    AddAllowedChildSymbol(symb, childSymb);
      //  }
      //}

      //foreach (var symb in binaryFunctionSymbols) {
      //  foreach (var childSymb in realValuedSymbols) {
      //    AddAllowedChildSymbol(symb, childSymb);
      //  }
      //}

      //foreach (var childSymb in booleanSymbols) {
      //  AddAllowedChildSymbol(@if, childSymb, 0);
      //}
      //foreach (var childSymb in realValuedSymbols) {
      //  AddAllowedChildSymbol(@if, childSymb, 1);
      //  AddAllowedChildSymbol(@if, childSymb, 2);
      //}

      //foreach (var symb in relationalFunctionSymbols) {
      //  foreach (var childSymb in realValuedSymbols) {
      //    AddAllowedChildSymbol(symb, childSymb);
      //  }
      //}
      //foreach (var symb in binaryBooleanFunctionSymbols) {
      //  foreach (var childSymb in booleanSymbols) {
      //    AddAllowedChildSymbol(symb, childSymb);
      //  }
      //}
      //foreach (var symb in unaryBooleanFunctionSymbols) {
      //  foreach (var childSymb in booleanSymbols) {
      //    AddAllowedChildSymbol(symb, childSymb);
      //  }
      //}
    }
  }
}