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

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

71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
    Sentence quantified = sentence.getQuantified();
    Sentence quantifiedAfterSubs = (Sentence) quantified.accept(this, arg);

    List<Variable> variables = new ArrayList<Variable>();
    for (Variable v : sentence.getVariables()) {
      Term st = substitution.get(v);
      if (null != st) {
        if (st instanceof Variable) {
          // Only if it is a variable to I replace it, otherwise
          // I drop it.
          variables.add((Variable) st.copy());
        }
      } else {
        // No substitution for the quantified variable, so
        // keep it.
        variables.add(v.copy());
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
      theta.put(v, _substVisitor.subst(theta, theta.get(v)));
    }
    // Ensure Function Terms are correctly updates by passing over them
    // again. Fix for testBadCascadeSubstitution_LCL418_1()
    for (Variable v : theta.keySet()) {
      Term t = theta.get(v);
      if (t instanceof Function) {
        theta.put(v, _substVisitor.subst(theta, t));
      }
    }
    return theta;
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
  // http://logic.stanford.edu/classes/cs157/2008/miscellaneous/faq.html#jump165
  // for need for this.
  private Map<Variable, Term> cascadeSubstitutions(FOLKnowledgeBase KB,
      Map<Variable, Term> theta) {
    for (Variable v : theta.keySet()) {
      Term t = theta.get(v);
      theta.put(v, KB.subst(theta, t));
    }

    return theta;
  }
View Full Code Here
40
41
42
43
44
45
46
47
  }

  @Test
  public void testParseSimpleVariable() {
    parser.setUpToParse("x");
    Term v = parser.parseVariable();
    Assert.assertEquals(v, new Variable("x"));
  }
View Full Code Here
47
48
49
50
51
52
53
54
  }

  @Test
  public void testParseIndexedVariable() {
    parser.setUpToParse("x1");
    Term v = parser.parseVariable();
    Assert.assertEquals(v, new Variable("x1"));
  }
View Full Code Here
60
61
62
63
64
65
66
67
  }

  @Test
  public void testParseSimpleConstant() {
    parser.setUpToParse("John");
    Term c = parser.parseConstant();
    Assert.assertEquals(c, new Constant("John"));
  }
View Full Code Here
67
68
69
70
71
72
73
74
  }

  @Test
  public void testParseFunction() {
    parser.setUpToParse("BrotherOf(John)");
    Term f = parser.parseFunction();
    Assert.assertEquals(f, getBrotherOfFunction(new Constant("John")));
  }
View Full Code Here
74
75
76
77
78
79
80
81
82
  }

  @Test
  public void testParseMultiArityFunction() {
    parser.setUpToParse("LegsOf(John,Saladin,Richard)");
    Term f = parser.parseFunction();
    Assert.assertEquals(f, getLegsOfFunction());
    Assert.assertEquals(3, ((Function) f).getTerms().size());
  }
View Full Code Here
209
210
211
212
213
214
215
216
217
218
219
220
  }

  @Test
  public void testParseMultiArityFunctionEquality() {
    parser.setUpToParse("LegsOf(John,Saladin,Richard)");
    Term f = parser.parseFunction();

    parser.setUpToParse("LegsOf(John,Saladin,Richard)");
    Term f2 = parser.parseFunction();
    Assert.assertEquals(f, f2);
    Assert.assertEquals(3, ((Function) f).getTerms().size());
  }
View Full Code Here
365
366
367
368
369
370
371
372
373
374
375
376
377
    Assert.assertEquals("[[B = A]]", resolvents.toString());
  }

  @Test
  public void testHashCode() {
    Term cons1 = new Constant("C1");
    Term cons2 = new Constant("C2");
    Term var1 = new Variable("v1");
    List<Term> pts1 = new ArrayList<Term>();
    List<Term> pts2 = new ArrayList<Term>();
    pts1.add(cons1);
    pts1.add(cons2);
    pts1.add(var1);
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.AbstractModulation$ReplaceMatchingTerm
  • aima.core.logic.fol.inference.Demodulation
  • aima.core.logic.fol.inference.FOLBCAsk
  • aima.core.logic.fol.inference.Paramodulation
  • aima.core.logic.fol.kb.data.LiteralsSorter
  • aima.core.logic.fol.parsing.AbstractFOLVisitor
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.SubstVisitor
  • aima.core.logic.fol.Unifier
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
    • 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.