Package org.ggp.base.util.gdl.grammar

Examples of org.ggp.base.util.gdl.grammar.GdlOr

196
197
198
199
200
201
202
203
204
205
206
207
208
      return GdlPool.getDistinct(term1, term2);
    } else if(literal instanceof GdlNot) {
      GdlLiteral body = ((GdlNot) literal).getBody();
      return GdlPool.getNot(cleanParentheses(body));
    } else if(literal instanceof GdlOr) {
      GdlOr or = (GdlOr) literal;
      List<GdlLiteral> disjuncts = new ArrayList<GdlLiteral>();
      for(int i = 0; i < or.arity(); i++)
        disjuncts.add(cleanParentheses(or.get(i)));
      return GdlPool.getOr(disjuncts);
    }
    throw new RuntimeException("Unexpected literal type in GdlCleaner");
  }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
        if(gdl instanceof GdlDistinct) {
            return GdlPool.getDistinct((GdlTerm) replaceVariableInternal(((GdlDistinct) gdl).getArg1(), toSubstitute, theReplacement), (GdlTerm) replaceVariableInternal(((GdlDistinct) gdl).getArg2(), toSubstitute, theReplacement));
        } else if(gdl instanceof GdlNot) {
            return GdlPool.getNot((GdlLiteral) replaceVariableInternal(((GdlNot) gdl).getBody(), toSubstitute, theReplacement));
        } else if(gdl instanceof GdlOr) {
            GdlOr or = (GdlOr)gdl;
            List<GdlLiteral> rval = new ArrayList<GdlLiteral>();
            for(int i=0; i<or.arity(); i++)
            {
                rval.add((GdlLiteral) replaceVariableInternal(or.get(i), toSubstitute, theReplacement));
            }
            return GdlPool.getOr(rval);
        } else if(gdl instanceof GdlProposition) {
            return gdl;
        } else if(gdl instanceof GdlRelation) {
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
155
156
157
      return GdlPool.getDistinct(arg1, arg2);
    } else if (gdl instanceof GdlNot) {
      GdlLiteral internal = ((GdlNot) gdl).getBody();
      return GdlPool.getNot(replaceVariables(internal, assignment));
    } else if (gdl instanceof GdlOr) {
      GdlOr or = (GdlOr) gdl;
      List<GdlLiteral> newInternals = new ArrayList<GdlLiteral>(or.arity());
      for (int i = 0; i < or.arity(); i++) {
        newInternals.add(replaceVariables(or.get(i), assignment));
      }
      return GdlPool.getOr(newInternals);
    } else if (gdl instanceof GdlRule) {
      GdlRule rule = (GdlRule) gdl;
      GdlSentence newHead = replaceVariables(rule.getHead(), assignment);
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
        GdlNot not = (GdlNot) qPrime;
        isConstant = askNot(not, goals, context, theta, cache, renamer, askOne, results, alreadyAsking);
      }
      else if (qPrime instanceof GdlOr)
      {
        GdlOr or = (GdlOr) qPrime;
        isConstant = askOr(or, goals, context, theta, cache, renamer, askOne, results, alreadyAsking);
      }
      else
      {
        GdlSentence sentence = (GdlSentence) qPrime;
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
            }
            return rval;
        }
        else if(gdl instanceof GdlOr)
        {
            GdlOr or = (GdlOr)gdl;
            rval = new ArrayList<Gdl>();
            for(int i=0; i<or.arity(); i++)
            {
                rval.add(or.get(i));
            }
            return rval;
        }
        else if(gdl instanceof GdlProposition)
        {
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
145
146
147
      }
    } else if(literal instanceof GdlNot) {
      GdlNot not = (GdlNot) literal;
      return GdlPool.getNot(replaceRelationInLiteral(not.getBody(), trueForm));
    } else if(literal instanceof GdlOr) {
      GdlOr or = (GdlOr) literal;
      List<GdlLiteral> newOrBody = new ArrayList<GdlLiteral>();
      for(int i = 0; i < or.arity(); i++)
        newOrBody.add(replaceRelationInLiteral(or.get(i), trueForm));
      return GdlPool.getOr(newOrBody);
    } else if(literal instanceof GdlDistinct) {
      return literal;
    } else {
      throw new RuntimeException("Unanticipated GDL literal type "+literal.getClass()+" encountered in Relationizer");
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
            GdlLiteral body = (GdlLiteral)getInstantiationAux(not.getBody(), varInstantiation);
            return GdlPool.getNot(body);
        }
        else if(gdl instanceof GdlOr)
        {
            GdlOr or = (GdlOr)gdl;
            List<GdlLiteral> body = new ArrayList<GdlLiteral>();
            for(int i=0; i<or.arity(); i++)
            {
                body.add((GdlLiteral)getInstantiationAux(or.get(i), varInstantiation));
            }
            return GdlPool.getOr(body);
        }
        else if(gdl instanceof GdlProposition)
        {
View Full Code Here
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
            }
            return rval;
        }
        else if(gdl instanceof GdlOr)
        {
            GdlOr or = (GdlOr)gdl;
            rval = new ArrayList<Gdl>();
            for(int i=0; i<or.arity(); i++)
            {
                rval.add(or.get(i));
            }
            return rval;
        }
        else if(gdl instanceof GdlProposition)
        {
View Full Code Here
TOP

Related Classes of org.ggp.base.util.gdl.grammar.GdlOr

  • org.ggp.base.util.gdl.GdlUtils
  • org.ggp.base.util.gdl.transforms.CommonTransforms
  • org.ggp.base.util.gdl.transforms.DeORer
  • org.ggp.base.util.gdl.transforms.GdlCleaner
  • org.ggp.base.util.gdl.transforms.Relationizer
  • org.ggp.base.util.propnet.factory.annotater.PropNetAnnotater
  • org.ggp.base.util.propnet.factory.flattener.PropNetFlattener
  • org.ggp.base.util.prover.aima.AimaProver
  • org.ggp.base.util.reasoner.gdl.GdlChainingReasoner
  • org.ggp.base.validator.StaticValidator
    • 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.