Examples of TermEquality

aima.core.logic.fol.parsing.ast.TermEquality
@author Ravi Mohan @author Ciaran O'Reilly

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

    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

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

    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

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

      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

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

  }


  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

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

  public Sentence parseTermEquality() {
    Term term1 = parseTerm();
    match("=");
    // System.out.println("=");
    Term term2 = parseTerm();
    return new TermEquality(term1, term2);
  }

View Full Code Here

0 1 2

TOP

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.