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

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

58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
    Assert.assertEquals(beforeSubst, parser.parse("King(x)"));
  }

  @Test
  public void testMultipleVariableSubstitutionWithPredicate() {
    Sentence beforeSubst = parser.parse("King(x,y)");
    Sentence expectedAfterSubst = parser.parse(" King(John ,England) ");

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

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(beforeSubst, parser.parse("King(x,y)"));
  }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
    Assert.assertEquals(beforeSubst, parser.parse("King(x,y)"));
  }

  @Test
  public void testMultipleVariablePartiallySucceedsWithPredicate() {
    Sentence beforeSubst = parser.parse("King(x,y)");
    Sentence expectedAfterSubst = parser.parse(" King(John ,y) ");

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

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(beforeSubst, parser.parse("King(x,y)"));
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
    Assert.assertEquals(beforeSubst, parser.parse("King(x,y)"));
  }

  @Test
  public void testSubstSingleVariableSucceedsWithTermEquality() {
    Sentence beforeSubst = parser.parse("BrotherOf(x) = EnemyOf(y)");
    Sentence expectedAfterSubst = parser
        .parse("BrotherOf(John) = EnemyOf(Saladin)");

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

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(beforeSubst,
        parser.parse("BrotherOf(x) = EnemyOf(y)"));
  }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
        parser.parse("BrotherOf(x) = EnemyOf(y)"));
  }

  @Test
  public void testSubstSingleVariableSucceedsWithTermEquality2() {
    Sentence beforeSubst = parser.parse("BrotherOf(John) = x)");
    Sentence expectedAfterSubst = parser.parse("BrotherOf(John) = Richard");

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

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(parser.parse("BrotherOf(John) = x)"), beforeSubst);
  }
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
    Assert.assertEquals(parser.parse("BrotherOf(John) = x)"), beforeSubst);
  }

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

    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(parser.parse("FORALL x King(x))"), beforeSubst);
  }
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
    Assert.assertEquals(parser.parse("FORALL x King(x))"), beforeSubst);
  }

  @Test
  public void testSubstWithUniversalQuantifierAndZeroVariablesMatched() {
    Sentence beforeSubst = parser.parse("FORALL x King(x))");
    Sentence expectedAfterSubst = parser.parse("FORALL x 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(parser.parse("FORALL x King(x))"), beforeSubst);
  }
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
    Assert.assertEquals(parser.parse("FORALL x King(x))"), beforeSubst);
  }

  @Test
  public void testSubstWithUniversalQuantifierAndOneOfTwoVariablesMatched() {
    Sentence beforeSubst = parser.parse("FORALL x,y King(x,y))");
    Sentence expectedAfterSubst = parser.parse("FORALL x King(x,John)");

    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(parser.parse("FORALL x,y King(x,y))"), beforeSubst);
  }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
    Assert.assertEquals(parser.parse("FORALL x,y King(x,y))"), beforeSubst);
  }

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

    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(parser.parse("EXISTS x King(x)"), beforeSubst);
  }
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
    Assert.assertEquals(parser.parse("EXISTS x King(x)"), beforeSubst);
  }

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

    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(parser.parse("NOT King(x))"), beforeSubst);
  }
View Full Code Here
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
    Assert.assertEquals(parser.parse("NOT King(x))"), beforeSubst);
  }

  @Test
  public void testConnectiveANDSentenceAndSngleVariable() {
    Sentence beforeSubst = parser
        .parse("EXISTS x ( King(x) AND BrotherOf(x) = EnemyOf(y) )");
    Sentence expectedAfterSubst = parser
        .parse("( King(John) AND BrotherOf(John) = EnemyOf(Saladin) )");

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

    Sentence afterSubst = sv.subst(p, beforeSubst);
    Assert.assertEquals(expectedAfterSubst, afterSubst);
    Assert.assertEquals(parser
        .parse("EXISTS x ( King(x) AND BrotherOf(x) = EnemyOf(y) )"),
        beforeSubst);
  }
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.