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

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

183
184
185
186
187
188
189
190
191
192
193
194
195
  @Test
  public void testQuantifiedSentenceWithTwoVariables() {
    Sentence qs = parser
        .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
197
198
199
200
201
202
203
204
205
206
207
208
209
  @Test
  public void testQuantifiedSentenceWithPathologicalParanthising() {
    Sentence qs = parser
        .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
367
368
369
370
371
372
373
374
375
376
377
  @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
396
397
398
399
400
401
402
403
404
405
406
  @Test
  public void testSimpleEquals() {
    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
615
616
617
618
619
620
621
622
623
624
625
    c = c.getNonTrivialFactors().iterator().next();
    Literal p = c.getPositiveLiterals().get(0);
    Assert.assertEquals("P", p.getAtomicSentence().getSymbolicName());
    Function f = (Function) p.getAtomicSentence().getArgs().get(0);
    Assert.assertEquals("F", f.getFunctionName());
    Variable v = (Variable) f.getTerms().get(0);
    f = (Function) p.getAtomicSentence().getArgs().get(1);
    Assert.assertEquals("F", f.getFunctionName());
    Assert.assertEquals(v, f.getTerms().get(0));

    //
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
    theta = new Hashtable<Variable, Term>();
  }

  @Test
  public void testFailureIfThetaisNull() {
    Variable var = new Variable("x");
    Sentence sentence = parser.parse("Knows(x)");
    theta = null;
    Map<Variable, Term> result = unifier.unify(var, sentence, theta);
    Assert.assertNull(result);
  }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
    Assert.assertNull(result);
  }

  @Test
  public void testUnificationFailure() {
    Variable var = new Variable("x");
    Sentence sentence = parser.parse("Knows(y)");
    theta = null;
    Map<Variable, Term> result = unifier.unify(var, sentence, theta);
    Assert.assertNull(result);
  }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    Assert.assertNull(result);
  }

  @Test
  public void testThetaPassedBackIfXEqualsYBothVariables() {
    Variable var1 = new Variable("x");
    Variable var2 = new Variable("x");

    theta.put(new Variable("dummy"), new Variable("dummy"));
    Map<Variable, Term> result = unifier.unify(var1, var2, theta);
    Assert.assertEquals(theta, result);
    Assert.assertEquals(1, theta.keySet().size());
    Assert.assertTrue(theta.containsKey(new Variable("dummy")));
  }
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
    Assert.assertTrue(theta.containsKey(new Variable("dummy")));
  }

  @Test
  public void testVariableEqualsConstant() {
    Variable var1 = new Variable("x");
    Constant constant = new Constant("John");

    Map<Variable, Term> result = unifier.unify(var1, constant, theta);
    Assert.assertEquals(theta, result);
    Assert.assertEquals(1, theta.keySet().size());
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
    Assert.assertEquals(constant, theta.get(var1));
  }

  @Test
  public void testSimpleVariableUnification() {
    Variable var1 = new Variable("x");
    List<Term> terms1 = new ArrayList<Term>();
    terms1.add(var1);
    Predicate p1 = new Predicate("King", terms1); // King(x)

    List<Term> terms2 = new ArrayList<Term>();
    terms2.add(new Constant("John"));
    Predicate p2 = new Predicate("King", terms2); // King(John)

    Map<Variable, Term> result = unifier.unify(p1, p2, theta);
    Assert.assertEquals(theta, result);
    Assert.assertEquals(1, theta.keySet().size());
    Assert.assertTrue(theta.keySet().contains(new Variable("x"))); // x =
    Assert.assertEquals(new Constant("John"), theta.get(var1)); // John
  }
View Full Code Here
TOP

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

  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.StandardizeApart
  • aima.core.logic.fol.StandardizeQuantiferVariables
  • aima.gui.demo.logic.FolDemo
  • aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests
  • aima.test.core.unit.logic.fol.kb.data.ClauseTest
  • aima.test.core.unit.logic.fol.kb.FOLKnowledgeBaseTest
  • aima.test.core.unit.logic.fol.parsing.FOLParserTest
  • aima.test.core.unit.logic.fol.SubstVisitorTest
    • 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.