Package aima.core.logic.fol.parsing.ast

Examples of aima.core.logic.fol.parsing.ast.ConnectedSentence

289
290
291
292
293
294
295
296
297
    return new NotSentence((Sentence) sentence.getNegated().accept(this,
        arg));
  }

  public Object visitConnectedSentence(ConnectedSentence sentence, Object arg) {
    return new ConnectedSentence(sentence.getConnector(),
        (Sentence) sentence.getFirst().accept(this, arg),
        (Sentence) sentence.getSecond().accept(this, arg));
  }
View Full Code Here
370
371
372
373
374
375
376
377
378
    return new NotSentence((Sentence) sentence.getNegated().accept(this,
        arg));
  }

  public Object visitConnectedSentence(ConnectedSentence sentence, Object arg) {
    return new ConnectedSentence(sentence.getConnector(),
        (Sentence) sentence.getFirst().accept(this, arg),
        (Sentence) sentence.getSecond().accept(this, arg));
  }
View Full Code Here
225
226
227
228
229
230
231
232
233
234
235
    Sentence sen = parseSentence();
    while (binaryConnector(lookAhead(1))) {
      String connector = lookAhead(1).getText();
      consume();
      Sentence other = parseSentence();
      sen = new ConnectedSentence(connector, sen, other);
    }
    match(")");
    return sen; /* new ParanthizedSentence */

  }
 
View Full Code Here
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
    // (alpha V (beta ^ gamma)) equivalent to
    // ((alpha V beta) ^ (alpha V gamma))
    if (Connectors.isOR(sentence.getConnector())
        && ConnectedSentence.class.isInstance(beta)) {
      ConnectedSentence betaAndGamma = (ConnectedSentence) beta;
      if (Connectors.isAND(betaAndGamma.getConnector())) {
        beta = betaAndGamma.getFirst();
        Sentence gamma = betaAndGamma.getSecond();
        return new ConnectedSentence(Connectors.AND,
            (Sentence) (new ConnectedSentence(Connectors.OR, alpha,
                beta)).accept(this, arg),
            (Sentence) (new ConnectedSentence(Connectors.OR, alpha,
                gamma)).accept(this, arg));
      }
    }

    // ((alpha ^ gamma) V beta) equivalent to
    // ((alpha V beta) ^ (gamma V beta))
    if (Connectors.isOR(sentence.getConnector())
        && ConnectedSentence.class.isInstance(alpha)) {
      ConnectedSentence alphaAndGamma = (ConnectedSentence) alpha;
      if (Connectors.isAND(alphaAndGamma.getConnector())) {
        alpha = alphaAndGamma.getFirst();
        Sentence gamma = alphaAndGamma.getSecond();
        return new ConnectedSentence(Connectors.AND,
            (Sentence) (new ConnectedSentence(Connectors.OR, alpha,
                beta)).accept(this, arg),
            (Sentence) (new ConnectedSentence(Connectors.OR, gamma,
                beta)).accept(this, arg));
      }
    }

    return new ConnectedSentence(sentence.getConnector(), alpha, beta);
  }
View Full Code Here
TOP

Related Classes of aima.core.logic.fol.parsing.ast.ConnectedSentence

  • aima.core.learning.knowledge.FOLExample
  • aima.core.logic.fol.DistributeOrOverAnd
  • aima.core.logic.fol.ImplicationsOut
  • aima.core.logic.fol.inference.FOLModelElimination$AnswerHandler
  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.inference.FOLTFMResolution
  • aima.core.logic.fol.NegationsIn
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.RemoveQuantifiers
    • 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.