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

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

139
140
141
142
143
144
145
146
147
148
149
150
    Assert.assertEquals(new Constant("John"), theta.get(new Variable("y")));
  }

  @Test
  public void testKnows5() {
    Sentence query = parser.parse("Knows(John,x)");
    Sentence johnKnowsJane = parser.parse("Knows(y,z)");
    Map<Variable, Term> result = unifier.unify(query, johnKnowsJane, theta);

    Assert.assertEquals(2, result.size());

    Assert.assertEquals(new Variable("z"), theta.get(new Variable("x"))); // x
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
173
    domain.addFunction("F");
    domain.addFunction("SF0");
    domain.addFunction("SF1");
    FOLParser parser = new FOLParser(domain);

    Sentence s1 = parser.parse("P(SF1(v2),v2)");
    Sentence s2 = parser.parse("P(v3,SF0(v3))");
    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertNull(result);

    s1 = parser.parse("P(v1,SF0(v1),SF0(v1),SF0(v1),SF0(v1))");
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
215
216
    FOLDomain domain = new FOLDomain();
    domain.addPredicate("ISATHEOREM");
    domain.addFunction("EQUIVALENT");
    FOLParser parser = new FOLParser(domain);

    Sentence s1 = parser
        .parse("ISATHEOREM(EQUIVALENT(EQUIVALENT(c1744,c1743),EQUIVALENT(c1742,c1743)))");
    Sentence s2 = parser
        .parse("ISATHEOREM(EQUIVALENT(EQUIVALENT(c1752,c1751),c1752))");
    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertEquals(
        "{c1744=EQUIVALENT(c1742,c1751), c1743=c1751, c1752=EQUIVALENT(c1742,c1751)}",
View Full Code Here
228
229
230
231
232
233
234
235
236
237
238
239
    domain.addPredicate("P");

    FOLParser parser = new FOLParser(domain);

    // Test Cascade Substitutions handled correctly
    Sentence s1 = parser.parse("P(z, x)");
    Sentence s2 = parser.parse("P(x, a)");
    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertEquals("{z=a, x=a}", result.toString());

    s1 = parser.parse("P(x, z)");
View Full Code Here
368
369
370
371
372
373
374
375
376
377
378
379
    domain.addFunction("Plus");
    domain.addPredicate("P");

    FOLParser parser = new FOLParser(domain);

    Sentence s1 = parser.parse("NOT(P(A))");
    Sentence s2 = parser.parse("NOT(P(A))");

    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertNotNull(result);
    Assert.assertEquals(0, result.size());
View Full Code Here
404
405
406
407
408
409
410
411
412
413
414
415
    domain.addFunction("Plus");
    domain.addPredicate("P");

    FOLParser parser = new FOLParser(domain);

    Sentence s1 = parser.parse("(P(A) AND P(B))");
    Sentence s2 = parser.parse("(P(A) AND P(B))");

    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertNotNull(result);
    Assert.assertEquals(0, result.size());
View Full Code Here
536
537
538
539
540
541
542
543
544
545
546
547
548
    domain.addFunction("Plus");
    domain.addPredicate("P");

    FOLParser parser = new FOLParser(domain);

    Sentence s1 = parser
        .parse("FORALL x,y ((P(x) AND P(A)) OR (P(A) => P(y)))");
    Sentence s2 = parser
        .parse("FORALL x,y ((P(x) AND P(A)) OR (P(A) => P(y)))");

    Map<Variable, Term> result = unifier.unify(s1, s2);

    Assert.assertNotNull(result);
View Full Code Here
27
28
29
30
31
32
33
34
35
    parser = new FOLParser(DomainFactory.weaponsDomain());
  }

  @Test
  public void testSimpleSentence() {
    Sentence s = parser.parse("(Missile(x) => Weapon(x))");
    List<Predicate> predicates = collector.getPredicates(s);
    Assert.assertNotNull(predicates);
  }
View Full Code Here
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
    sv = new SubstVisitor();
  }

  @Test
  public void testSubstSingleVariableSucceedsWithPredicate() {
    Sentence beforeSubst = parser.parse("King(x)");
    Sentence expectedAfterSubst = parser.parse(" King(John) ");
    Sentence expectedAfterSubstCopy = expectedAfterSubst.copy();

    Assert.assertEquals(expectedAfterSubst, expectedAfterSubstCopy);
    Map<Variable, Term> p = new LinkedHashMap<Variable, Term>();
    p.put(new Variable("x"), new Constant("John"));

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(beforeSubst, parser.parse("King(x)"));
  }
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
    Assert.assertEquals(beforeSubst, parser.parse("King(x)"));
  }

  @Test
  public void testSubstSingleVariableFailsWithPredicate() {
    Sentence beforeSubst = parser.parse("King(x)");
    Sentence expectedAfterSubst = parser.parse(" King(x) ");

    Map<Variable, Term> p = new LinkedHashMap<Variable, Term>();
    p.put(new Variable("y"), new Constant("John"));

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(beforeSubst, parser.parse("King(x)"));
  }
View Full Code Here
TOP

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

  • aima.core.learning.knowledge.FOLExample
  • aima.core.logic.fol.CNFConstructor
  • aima.core.logic.fol.CNFConverter
  • aima.core.logic.fol.DistributeOrOverAnd
  • aima.core.logic.fol.ImplicationsOut
  • aima.core.logic.fol.inference.FOLFCAsk
  • aima.core.logic.fol.inference.FOLModelElimination$AnswerHandler
  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.inference.FOLTFMResolution
  • aima.core.logic.fol.kb.FOLKnowledgeBase
    • 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.