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

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

371
372
373
374
375
376
377
378
379
380
381
    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(ip, true);

    String kbStr = kb.toString();

    TermEquality query = new TermEquality(new Constant("A"), new Constant(
        "C"));

    InferenceResult answer = kb.ask(query);

    System.out.println("ABC Equality Axiom Knowledge Base:");
View Full Code Here
393
394
395
396
397
398
399
400
401
402
403
    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(ip, false);

    String kbStr = kb.toString();

    TermEquality query = new TermEquality(new Constant("A"), new Constant(
        "C"));

    InferenceResult answer = kb.ask(query);

    System.out.println("ABC Equality No Axiom Knowledge Base:");
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
      for (Literal possEqLit : equalityClause.getLiterals()) {
        // Must be a positive term equality to be used
        // for paramodulation.
        if (possEqLit.isPositiveLiteral()
            && possEqLit.getAtomicSentence() instanceof TermEquality) {
          TermEquality assertion = (TermEquality) possEqLit
              .getAtomicSentence();

          // Test matching for both sides of the equality
          for (int x = 0; x < 2; x++) {
            Term toMatch, toReplaceWith;
            if (x == 0) {
              toMatch = assertion.getTerm1();
              toReplaceWith = assertion.getTerm2();
            } else {
              toMatch = assertion.getTerm2();
              toReplaceWith = assertion.getTerm1();
            }

            for (Literal l1 : topClause.getLiterals()) {
              IdentifyCandidateMatchingTerm icm = getMatchingSubstitution(
                  toMatch, l1.getAtomicSentence());
View Full Code Here
55
56
57
58
59
60
61
  }

  public Object visitTermEquality(TermEquality equality, Object arg) {
    Term newTerm1 = (Term) equality.getTerm1().accept(this, arg);
    Term newTerm2 = (Term) equality.getTerm2().accept(this, arg);
    return new TermEquality(newTerm1, newTerm2);
  }
View Full Code Here
117
118
119
120
121
122
123
  public Sentence parseTermEquality() {
    Term term1 = parseTerm();
    match("=");
    // System.out.println("=");
    Term term2 = parseTerm();
    return new TermEquality(term1, term2);
  }
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.AbstractModulation$ReplaceMatchingTerm
  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.inference.Paramodulation
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests
  • aima.test.core.unit.logic.fol.inference.DemodulationTest
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
  • aima.test.core.unit.logic.fol.UnifierTest
    • 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.