Package expressions

Examples of expressions.FuzzyVariableExpression

202
203
204
205
206
207
208
209
210
211
212
213
   
    public IntegerExpressionVariable getExpression(FuzzyExpression exp) {
        if (exp instanceof FuzzyVariableExpression) {
            FuzzyVariableExpression varexp = (FuzzyVariableExpression) exp;
            String name = varexp.getName();
            if (!varMap.containsKey(name))
                addIntegerVariable(name, 0, numberOfDegrees);
            return varMap.get(name);
        }
        else if (exp instanceof FuzzyConstantExpression) {
View Full Code Here
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
        }
        throw new UnsupportedOperationException();
    }

    public static void main(String[] args) {
        FuzzyBinaryExpression exp1 = new FuzzyBinaryExpression(new FuzzyVariableExpression("x"),
                                                               new FuzzyVariableExpression("y"), new TW());
        FuzzyBinaryExpression exp2 = new FuzzyBinaryExpression(exp1, new FuzzyVariableExpression("z"), new SW());
//        FuzzyExpression exp1 = new FuzzyVariableExpression("x");
        FuzzyClause fc1 = new FuzzyClause(new FuzzyLiteral(0.7, 0.7, exp1));
        FuzzyClause fc2 = new FuzzyClause(new FuzzyLiteral(0.5, 0.9, new FuzzyVariableExpression("y")));
        FuzzyClause fc3 = new FuzzyClause(new FuzzyLiteral(0.2, 0.4, new FuzzyVariableExpression("y")));
        ChocoSolver solver = new ChocoSolver(10);
        solver.addFuzzyClause(fc1);
        solver.addFuzzyClause(fc2);
        solver.addFuzzyClause(fc3);
        System.out.println(solver.model.constraintsToString());
View Full Code Here
213
214
215
216
217
218
219
220
221
222
223
224
            throw new UnsupportedOperationException();
    }

    public IntegerExpressionVariable getExpression(FuzzyExpression exp) {
        if (exp instanceof FuzzyVariableExpression) {
            FuzzyVariableExpression varexp = (FuzzyVariableExpression) exp;
            String name = varexp.getName();
            if (!varMap.containsKey(name))
                addVariable(name);
            return varMap.get(name);
        }
        else if (exp instanceof FuzzyConstantExpression) {
View Full Code Here
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
        }
        throw new UnsupportedOperationException();
    }

    public static void main(String[] args) {
        FuzzyBinaryExpression exp1 = new FuzzyBinaryExpression(new FuzzyVariableExpression("x"),
                                                               new FuzzyVariableExpression("y"), new TW());
        FuzzyBinaryExpression exp2 = new FuzzyBinaryExpression(exp1, new FuzzyVariableExpression("z"), new SW());
//        FuzzyExpression exp1 = new FuzzyVariableExpression("x");
        FuzzyClause fc1 = new FuzzyClause(new FuzzyLiteral(0.7, 0.7, exp1));
        FuzzyClause fc2 = new FuzzyClause(new FuzzyLiteral(0.5, 0.9, new FuzzyVariableExpression("y")));
        FuzzyClause fc3 = new FuzzyClause(new FuzzyLiteral(0.2, 0.4, new FuzzyVariableExpression("y")));
        ChocoSolver solver = new ChocoSolver(10);
        solver.addFuzzyClause(fc1);
        solver.addFuzzyClause(fc2);
        solver.addFuzzyClause(fc3);
        System.out.println(solver.model.constraintsToString());
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
        }
      }
    }

    for (GroundLiteral a : getHerbrandBase()) {
      FuzzyExpression aExpr = new FuzzyVariableExpression(a.toString());
      FuzzyExpression bodyExpr;
      if (ruleMap.containsKey(a)) {
        bodyExpr = ruleMap.get(a);
      } else {
        bodyExpr = new FuzzyConstantExpression(0.0);
View Full Code Here
408
409
410
411
412
413
414
415
416
417
418
    // 2. Create loop formula
    // 2.a Create antecedent: max(l1,...,ln) for l in loop
    ArrayList<FuzzyExpression> antList = new ArrayList<FuzzyExpression>();
    for (GroundLiteral l : loop) {
      antList.add(new FuzzyVariableExpression(l.toString()));
    }
    FuzzyExpression ant = new FuzzyMultiExpression(antList, new SM());
    // 2.b Create consequent: max(B1,...,Bn) for l <- Bi in R^{+}(P,L)
    ArrayList<FuzzyExpression> consList = new ArrayList<FuzzyExpression>();
    // Add a zero for elements that never occur in the head of a rule
View Full Code Here
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
    }
    // Create the antecedent of the implication to generate:
    if (loop.size() >= 1) {
      Iterator<GroundLiteral> loopIt = loop.iterator();
      GroundLiteral first = loopIt.next();
      FuzzyExpression antecExp = new FuzzyVariableExpression(first.toString());


      while (loopIt.hasNext()) {
        antecExp = new FuzzyBinaryExpression(antecExp,
            new FuzzyVariableExpression(loopIt.next().toString()),
            new SM());
      }

      // Now create the consequent by stringing together the completion
      // formulas of the rules in RMINUS with SM:
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
36
    super(p,negated,naf,neg);
  }

  public FuzzyExpression convertToFuzzyExpression () {
    if (!isNaf())
      return new FuzzyVariableExpression(toString());
    else
      if(!isNegated())
        return new FuzzyUnaryExpression(p.convertToFuzzyExpression(),neg);
      else
        return new FuzzyUnaryExpression(new FuzzyVariableExpression("-"+p.toString()),neg);
  }
View Full Code Here
TOP

Related Classes of expressions.FuzzyVariableExpression

  • csp.BackdoorChocoSolver
  • csp.ChocoSolver
  • csp.EnumeratedChocoSolver
  • evaluation.RandomProblemGenerator
  • fasp.datatypes.GroundLiteral
  • fasp.datatypes.GroundPredicate
  • fasp.datatypes.GroundProgram
  • finiteReduction.FuzzyToDLR
  • fuzzysat.LinearProgrammingSolver
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.