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

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

    Predicate p1 = (Predicate) parser.parse("P(y, F(A,y))");
    lits.add(new Literal(p1));


    Clause clExpression = new Clause(lits);


    TermEquality assertion = (TermEquality) parser.parse("F(x,B) = C");


    Clause altClExpression = demodulation.apply(assertion, clExpression);


    Assert.assertNull(altClExpression);
  }

View Full Code Here

    Predicate p1 = (Predicate) parser.parse("P(y, F(A,y))");
    lits.add(new Literal(p1));


    Clause clExpression = new Clause(lits);


    TermEquality assertion = (TermEquality) parser.parse("x = x");


    Clause altClExpression = demodulation.apply(assertion, clExpression);


    Assert.assertNull(altClExpression);
  }

View Full Code Here

    domain.addConstant("B");
    domain.addFunction("Plus");


    FOLParser parser = new FOLParser(domain);


    TermEquality te1 = (TermEquality) parser.parse("x = x");
    TermEquality te2 = (TermEquality) parser.parse("x = x");


    // Both term equalities the same,
    // should unify but no substitutions.
    Map<Variable, Term> result = unifier.unify(te1, te2);

View Full Code Here

    }


    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

    }


    // Ensure reflexivity axiom is added to usable if using paramodulation.
    if (isUseParamodulation()) {
      // Reflexivity Axiom: x = x
      TermEquality reflexivityAxiom = new TermEquality(new Variable("x"),
          new Variable("x"));
      Clause reflexivityClause = new Clause();
      reflexivityClause.addLiteral(new Literal(reflexivityAxiom));
      reflexivityClause = KB.standardizeApart(reflexivityClause);
      reflexivityClause.setStandardizedApartCheckNotRequired();

View Full Code Here

  protected void testEqualityAxiomsKBabcAEqualsCSucceeds(
      InferenceProcedure infp) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(infp, true);


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


    InferenceResult answer = akb.ask(query);


    Assert.assertTrue(null != answer);

View Full Code Here

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("A"));
    Function fa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(fa);
    TermEquality query = new TermEquality(new Function("F", terms),
        new Constant("A"));


    InferenceResult answer = akb.ask(query);


    Assert.assertTrue(null != answer);

View Full Code Here

  protected void testEqualityNoAxiomsKBabcAEqualsCSucceeds(
      InferenceProcedure infp, boolean expectedToFail) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(infp, false);


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


    InferenceResult answer = akb.ask(query);


    Assert.assertTrue(null != answer);

View Full Code Here

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("A"));
    Function fa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(fa);
    TermEquality query = new TermEquality(new Function("F", terms),
        new Constant("A"));


    InferenceResult answer = akb.ask(query);


    Assert.assertTrue(null != answer);

View Full Code Here


    FOLParser parser = new FOLParser(domain);


    Predicate expression = (Predicate) parser
        .parse("P(A,F(B,G(A,H(B)),C),D)");
    TermEquality assertion = (TermEquality) parser.parse("B = E");


    Demodulation demodulation = new Demodulation();
    Predicate altExpression = (Predicate) demodulation.apply(assertion,
        expression);

View Full Code Here

0 1 2

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

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.