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

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

170
171
172
173
174
175
176
177
178
179
180
    }

    // 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
89
90
91
92
93
94
95
96
97
98
99
100
101
  }

  @Test
  public void testTermEquality() {
    try {
      TermEquality te = (TermEquality) parser
          .parse("BrotherOf(John) = EnemyOf(Saladin)");
      Assert.assertEquals(te, new TermEquality(
          getBrotherOfFunction(new Constant("John")),
          getEnemyOfFunction()));
    } catch (RuntimeException e) {
      Assert.fail("RuntimeException thrown");
    }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
113
114
  }

  @Test
  public void testTermEquality2() {
    try {
      TermEquality te = (TermEquality) parser
          .parse("BrotherOf(John) = x)");
      Assert.assertEquals(te, new TermEquality(
          getBrotherOfFunction(new Constant("John")), new Variable(
              "x")));
    } catch (RuntimeException e) {
      Assert.fail("RuntimeException thrown");
    }
View Full Code Here
116
117
118
119
120
121
122
123
124
  @Test
  public void testNotSentence() {
    NotSentence ns = (NotSentence) parser
        .parse("NOT BrotherOf(John) = EnemyOf(Saladin)");
    Assert.assertEquals(ns.getNegated(), new TermEquality(
        getBrotherOfFunction(new Constant("John")),
        getEnemyOfFunction()));
  }
View Full Code Here
138
139
140
141
142
143
144
145
146
  }

  @Test
  public void testParseComplexParanthizedSentence() {
    Sentence ps = parser.parse("(NOT BrotherOf(John) = EnemyOf(Saladin))");
    Assert.assertEquals(ps, new NotSentence(new TermEquality(
        getBrotherOfFunction(new Constant("John")),
        getEnemyOfFunction())));
  }
View Full Code Here
186
187
188
189
190
191
192
193
194
195
        .parse("EXISTS x,y  (King(x) AND BrotherOf(x) = y)");
    List<Variable> vars = new ArrayList<Variable>();
    vars.add(new Variable("x"));
    vars.add(new Variable("y"));
    ConnectedSentence cse = new ConnectedSentence("AND",
        getKingPredicate(new Variable("x")), new TermEquality(
            getBrotherOfFunction(new Variable("x")), new Variable(
                "y")));
    Assert.assertEquals(qs, new QuantifiedSentence("EXISTS", vars, cse));
  }
View Full Code Here
200
201
202
203
204
205
206
207
208
209
        .parse("(( (EXISTS x,y  (King(x) AND (BrotherOf(x) = y)) ) ))");
    List<Variable> vars = new ArrayList<Variable>();
    vars.add(new Variable("x"));
    vars.add(new Variable("y"));
    ConnectedSentence cse = new ConnectedSentence("AND",
        getKingPredicate(new Variable("x")), new TermEquality(
            getBrotherOfFunction(new Variable("x")), new Variable(
                "y")));
    Assert.assertEquals(qs, new QuantifiedSentence("EXISTS", vars, cse));
  }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
    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");

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

    Assert.assertFalse(expression.equals(altExpression));
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
    domain.addFunction("J");

    FOLParser parser = new FOLParser(domain);

    Predicate expression = (Predicate) parser.parse("P(A,G(x,B),C)");
    TermEquality assertion = (TermEquality) parser.parse("G(A,y) = J(y)");

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

    Assert.assertNull(altExpression);
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    lits.add(new Literal(p2));
    lits.add(new Literal(p3));

    Clause clExpression = new Clause(lits);

    TermEquality assertion = (TermEquality) parser.parse("G(x,y) = x");

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

    Assert.assertEquals("[P(x,G(A,C)), Q(z,D), W(z,x,u,w,y)]",
        altClExpression.toString());
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.