Package expressions

Examples of expressions.FuzzyExpression

370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
        }


        List<FuzzyLiteral> res = new ArrayList();
        for (int i = 0; i < numberOfConstraints; i++) {
            FuzzyExpression exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);
            while (exp.getVariables().size() != nrVariablesPerClause)
                exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);
            double upperbound = 1;
            double lowerbound;
            if (rand.nextDouble() < 0.5)
                lowerbound = floor(exp.eval(interpretation1));
            else
                lowerbound = floor(exp.eval(interpretation2));

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));
        }
        return res;
    }
View Full Code Here
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
        }


        List<FuzzyLiteral> res = new ArrayList();
        for (int i = 0; i < numberOfConstraints; i++) {
            FuzzyExpression exp = getRandomMixedExpression(variables, pNegation, pMinimum, nrVariablesPerClause);
            while (exp.getVariables().size() != nrVariablesPerClause)
                exp = getRandomMixedExpression(variables, pNegation, pMinimum, nrVariablesPerClause);
            double upperbound = 1;
            double lowerbound;
            if (rand.nextDouble() < 0.5)
                lowerbound = floor(exp.eval(interpretation1));
            else
                lowerbound = floor(exp.eval(interpretation2));

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));
        }
        return res;
    }
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
437
        for (int i = 0; i < numberOfVariables; i++)
            variables.add("v" + i);

        List<FuzzyLiteral> res = new ArrayList();
        for (int i = 0; i < numberOfConstraints; i++) {
            FuzzyExpression exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);
            while (exp.getVariables().size() != nrVariablesPerClause)
                exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);
            double value1 = rand.nextDouble();
            double value2 = rand.nextDouble();
//           double upperbound = ceil(value + rand.nextDouble()*(1-value));
//           double lowerbound = floor(rand.nextDouble()*value);
 
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
            if (r.getHead() instanceof GroundLiteral) {
                GroundLiteral l = (GroundLiteral) r.getHead();
                ArrayList<FuzzyExpression> args = new ArrayList<FuzzyExpression>();
                args.add(r.convertBodyExpression());
                args.add(new FuzzyConstantExpression(rho.getValue(r)));
                FuzzyExpression support = new FuzzyMultiExpression(args, r.getRuleTNorm());
                if (litMap.containsKey(l)) {
                    // Use the maximum directly in the expression associated.
                    litMap.put(l, new FuzzyBinaryExpression(litMap.get(l), support, new SM()));
                } else {
                    litMap.put(l, support);
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    public void addFuzzyClause(FuzzyClause fc) {
//        System.out.println("voor = " + fc);
        ArrayList<Literal> newLiterals = new ArrayList<Literal>();
        for (Literal l : fc.getDisjuncts()) {
            FuzzyLiteral flit = (FuzzyLiteral) l;
            FuzzyExpression newExp = flit.getExpression().accept(dnegElim);
            newLiterals.add(new FuzzyLiteral(flit.getLowerBound(),
                                             flit.getUpperBound(), newExp));
        }
        FuzzyClause fcnieuw = new FuzzyClause(newLiterals);
//        System.out.println("na = " + fcnieuw);
View Full Code Here
505
506
507
508
509
510
511
512
513
514
515
            return res;
        }
    }

    public static void main(String[] args) {
        FuzzyExpression exp = new FuzzyBinaryExpression(new FuzzyBinaryExpression(new FuzzyVariableExpression("a"),
                                                                                  new FuzzyVariableExpression("b"), new SW()),
                                                        new FuzzyBinaryExpression(new FuzzyVariableExpression("c"),
                                                                                  new FuzzyVariableExpression("d"), new SW()),
                                                        new TW());
        FuzzyLiteral lit = new FuzzyLiteral(0.3, 0.7, exp);
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
    ArrayList<FuzzyClause> newClauses = new ArrayList<FuzzyClause>();
    for (FuzzyClause c : clauses) {
      ArrayList<Literal> newLiterals = new ArrayList<Literal>();
      for (Literal l : c.getDisjuncts()) {
        FuzzyLiteral flit = (FuzzyLiteral) l;
        FuzzyExpression newExp = flit.getExpression().accept(dnegElim);
        newLiterals.add(new FuzzyLiteral(flit.getLowerBound(),
            flit.getUpperBound(), newExp));
      }
      newClauses.add(new FuzzyClause(newLiterals));
    }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
    ArrayList<FuzzyClause> newClauses = new ArrayList<FuzzyClause>();
    for (FuzzyClause c : clauses) {
      ArrayList<Literal> newLiterals = new ArrayList<Literal>();
      for (Literal l : c.getDisjuncts()) {
        FuzzyLiteral flit = (FuzzyLiteral) l;
        FuzzyExpression newExp = flit.getExpression().accept(dnegElim);
        newLiterals.add(new FuzzyLiteral(flit.getLowerBound(),
            flit.getUpperBound(), newExp));
      }
      newClauses.add(new FuzzyClause(newLiterals));
    }
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
        return new Pair(fu.getArgument1(), fu.getArgument2());
    }

    private List<DisjunctiveLinearInequality> process(FuzzyLiteral lit) {
        List<DisjunctiveLinearInequality> res = new ArrayList();
        FuzzyExpression exp = lit.getExpression().normalise();
        if (isNegation(exp)) {
            return process(new FuzzyLiteral(1 - lit.upperbound, 1 - lit.lowerbound, getUnaryArgument(exp)));
        }

        if (isMaximum(exp)) {
View Full Code Here
314
315
316
317
318
319
320
321
322
323
324
325
            }
        }
        else if (exp instanceof FuzzyBinaryExpression) {
            FuzzyBinaryExpression exp1 = (FuzzyBinaryExpression) exp;
            BinaryOperator op = exp1.getOperator();
            FuzzyExpression arg1 = exp1.getArgument1();
            FuzzyExpression arg2 = exp1.getArgument2();
            List<DisjunctiveLinearInequality> res = new ArrayList();
            if (op instanceof SM) {
                IntermediateResult ir1 = process(arg1, false);
                IntermediateResult ir2 = process(arg2, false);
                if ((ir1 instanceof VariableResult) && (ir2 instanceof ConstantResult)) {
View Full Code Here
TOP

Related Classes of expressions.FuzzyExpression

  • csp.MinionCSPSolver
  • csp.MinionTest
  • csp.TailorTest
  • evaluation.RandomProblemGenerator
  • fasp.datatypes.ConsequenceOp
  • fasp.datatypes.GroundProgram
  • fasp.TPLPProgram
  • 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.