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

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

289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
    Set<GdlRelation> cyclicRelations = new HashSet<GdlRelation>();
    Set<GdlRelation> acyclicRelations = new HashSet<GdlRelation>();
    for(GdlLiteral literal : rule.getBody()) {
      //Is it a relation?
      if(literal instanceof GdlRelation) {
        GdlRelation relation = (GdlRelation) literal;
        //Is it in a cycle with the head?
        if(ancestorsGraph.get(relation.getName()).contains(head)) {
          cyclicRelations.add(relation);
        } else {
          acyclicRelations.add(relation);
        }
      } else if(literal instanceof GdlOr) {
        //We'll look one layer deep for the cyclic kind
        GdlOr or = (GdlOr) literal;
        for(int i = 0; i < or.arity(); i++) {
          GdlLiteral internal = or.get(i);
          if(internal instanceof GdlRelation) {
            GdlRelation relation = (GdlRelation) internal;
            if(ancestorsGraph.get(relation.getName()).contains(head)) {
              cyclicRelations.add(relation);
            } //Don't add acyclic relations, as we can't count on them
          }
        }
      }
    }

    for(GdlRelation relation : cyclicRelations) {
      for(GdlTerm term : relation.getBody()) {
        //There are three ways to be okay
        boolean safe = false;
        //One: Is it ground?
        if(term.isGround())
          safe = true;
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
293
    for(Component component : componentSet) {
      if(component instanceof Proposition) {
        Proposition p = (Proposition) component;
        GdlSentence sentence = p.getName();
        if(sentence instanceof GdlRelation) {
          GdlRelation relation = (GdlRelation) sentence;
          if(relation.getName().equals(NEXT)) {
            p.setName(GdlPool.getProposition(GdlPool.getConstant("anon")));
          }
        }
      }
    }
View Full Code Here
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
   */
  public static void removeInits(PropNet pn) {
    List<Proposition> toRemove = new ArrayList<Proposition>();
    for(Proposition p : pn.getPropositions()) {
      if(p.getName() instanceof GdlRelation) {
        GdlRelation relation = (GdlRelation) p.getName();
        if(relation.getName() == INIT) {
          toRemove.add(p);
        }
      }
    }

View Full Code Here
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
      GdlSentence sentence = p.getName();
      if(sentence instanceof GdlProposition) {
        if(sentence.getName() == TERMINAL || sentence.getName() == INIT_CAPS)
          continue;
      } else {
        GdlRelation relation = (GdlRelation) sentence;
        GdlConstant name = relation.getName();
        if(name == LEGAL || name == GOAL || name == DOES
            || name == INIT)
          continue;
      }
      if(p.getInputs().size() < 1) {
View Full Code Here
158
159
160
161
162
163
164
165
166
167
168
            {
                List<GdlTerm> ms2 = new ArrayList<GdlTerm>(mergeSet);
                Collections.sort(ms2, new SortTerms());
                body.add(GdlPool.getFunction(valConst, ms2));
            }
            GdlRelation toAdd = GdlPool.getRelation(baseConstant, body);
            rval.add(toAdd);
        }

        return rval;
    }
View Full Code Here
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
    void processGdl(Gdl gdl, GdlConstant parent)
    {
        if(gdl instanceof GdlRelation)
        {
            GdlRelation relation = (GdlRelation) gdl;
            String name = relation.getName().toString();
            if(!name.equals("base"))
            {
                for(Gdl gdl2 : relation.getBody())
                    processGdl(gdl2, relation.getName());
            }
        }
        else if(gdl instanceof GdlRule)
        {
            GdlRule rule = (GdlRule) gdl;
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
    private void findAndInstantiateBaseProps(Gdl gdl)
    {
        if(gdl instanceof GdlRelation)
        {
            GdlRelation relation = (GdlRelation) gdl;
            String name = relation.getName().toString();
            if(name.equals("init"))
            {
                if(relation.arity()!=1)
                    throw new RuntimeException("Can't init more than one thing as far as I know.");
                GdlTerm template = relation.get(0);
                if(template instanceof GdlConstant)
                {
                    List<GdlTerm> body = new ArrayList<GdlTerm>();
                    body.add(template);
                    GdlRelation toAdd = GdlPool.getRelation(baseConstant, body);
                    baseRelations.add(toAdd);
                    System.err.println("Weird init of constant");
                }
                else if(template instanceof GdlVariable)
                {
                    System.err.println("Weird init of constant");
                    List<GdlTerm> body = new ArrayList<GdlTerm>();
                    body.add(universalDom);
                    GdlRelation toAdd = GdlPool.getRelation(baseConstant, body);
                    baseRelations.add(toAdd);
                    System.err.println("Weird init of variable");
                }
                else if(template instanceof GdlFunction)
                {
View Full Code Here
395
396
397
398
399
400
401
402
            else if(arg instanceof GdlFunction)
            {
                throw new RuntimeException("Don't know how to deal with functions within next/init.");
            }
        }
        GdlRelation toAdd = GdlPool.getRelation(baseConstant, body);
        baseRelations.add(toAdd);
    }
View Full Code Here
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
    void processDomain(Gdl gdl)
    {
        if(gdl instanceof GdlRelation)
        {
            GdlRelation relation = (GdlRelation) gdl;
            String name = relation.getName().toString();
            if(!name.equals("base"))
            {
                addDomain(relation);
            }
        }
        else if(gdl instanceof GdlRule)
        {
            GdlRule rule = (GdlRule)gdl;
            GdlSentence head = rule.getHead();
            if(head instanceof GdlRelation)
            {
                GdlRelation rel = (GdlRelation)head;

                int i=0;
                for(GdlTerm term : rel.getBody())
                {
                    addDomain2(term, rel.getName(), i, rule.getBody());
                    i++;
                }
            }
            else if(head instanceof GdlProposition)
            {
View Full Code Here
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
        Set<Domain> rval = new HashSet<Domain>();

        if(gdl instanceof GdlRelation)
        {
            GdlRelation relation = (GdlRelation) gdl;
            for(int i=0; i<relation.arity(); i++)
            {
                Location parent = new Location();
                parent.name = relation.getName();
                parent.idx = i;
                rval.addAll(findAllInstancesOf(var, relation.get(i), parent));
            }
        }
        else if(gdl instanceof GdlDistinct)
        {
//          GdlDistinct distinct = (GdlDistinct)gdl;
View Full Code Here
TOP

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

  • org.ggp.base.util.gdl.model.assignments.AssignmentsImpl
  • org.ggp.base.util.gdl.model.SentenceFormsFinder
  • org.ggp.base.util.gdl.transforms.CommonTransforms
  • org.ggp.base.util.gdl.transforms.GdlCleaner
  • org.ggp.base.util.gdl.transforms.Relationizer
  • org.ggp.base.util.match.Match
  • org.ggp.base.util.propnet.architecture.PropNet
  • org.ggp.base.util.propnet.factory.annotater.PropNetAnnotater
  • org.ggp.base.util.propnet.factory.converter.PropNetConverter
  • org.ggp.base.util.propnet.factory.flattener.PropNetFlattener
    • 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.