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

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

154
155
156
157
158
159
160
161
    Assert.assertFalse(answer.isUnknownDueToTimeout());
    Assert.assertFalse(answer.isPartialResultDueToTimeout());
    Assert.assertTrue(1 == answer.getProofs().size());
    Assert.assertTrue(1 == answer.getProofs().get(0).getAnswerBindings()
        .size());
    Assert.assertEquals(new Constant("West"), answer.getProofs().get(0)
        .getAnswerBindings().get(new Variable("x")));
  }
View Full Code Here
185
186
187
188
189
190
191
192
193
194
195
196
197
198
        .size());
    Assert.assertEquals(1, answer.getProofs().get(3).getAnswerBindings()
        .size());

    List<Constant> expected = new ArrayList<Constant>();
    expected.add(new Constant("Nancy"));
    expected.add(new Constant("Red"));
    expected.add(new Constant("Bert"));
    expected.add(new Constant("Drew"));
    for (Proof p : answer.getProofs()) {
      expected.remove(p.getAnswerBindings().get(new Variable("x")));
    }
    Assert.assertEquals(0, expected.size());
  }
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
211
  protected void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds(
      InferenceProcedure infp, boolean expectedToTimeOut) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Curiosity"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = akb.ask(query);
    Assert.assertTrue(null != answer);
    if (expectedToTimeOut) {
View Full Code Here
228
229
230
231
232
233
234
235
236
237
238
239
  protected void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds(
      InferenceProcedure infp, boolean expectedToTimeOut) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Jack"));
    terms.add(new Constant("Tuna"));
    NotSentence query = new NotSentence(new Predicate("Kills", terms));

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
View Full Code Here
257
258
259
260
261
262
263
264
265
266
267
268
  protected void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(
      InferenceProcedure infp, boolean expectedToTimeOut) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(infp);
    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Jack"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
  protected void testEqualityAxiomsKBabcAEqualsCSucceeds(
      InferenceProcedure infp) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(infp, true);

    TermEquality query = new TermEquality(new Constant("A"), new Constant(
        "C"));

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
View Full Code Here
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
      InferenceProcedure infp) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, true);

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("A"));
    Function fa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(fa);
    TermEquality query = new TermEquality(new Function("F", terms),
        new Constant("A"));

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    Assert.assertFalse(answer.isPossiblyFalse());
View Full Code Here
330
331
332
333
334
335
336
337
338
339
340
      InferenceProcedure infp) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, true);

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("D"));
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
View Full Code Here
351
352
353
354
355
356
357
358
359
360
361
      InferenceProcedure infp, boolean expectedToTimeOut) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, true);

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("A"));
    Function fa = new Function("F", terms);
    terms = new ArrayList<Term>();
    terms.add(fa);
    Function ffa = new Function("F", terms);
    terms = new ArrayList<Term>();
View Full Code Here
385
386
387
388
389
390
391
392
393
394
395
  protected void testEqualityNoAxiomsKBabcAEqualsCSucceeds(
      InferenceProcedure infp, boolean expectedToFail) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(infp, false);

    TermEquality query = new TermEquality(new Constant("A"), new Constant(
        "C"));

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
View Full Code Here
TOP

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

  • aima.core.learning.knowledge.FOLExample
  • aima.core.logic.fol.parsing.FOLParser
  • aima.core.logic.fol.RemoveQuantifiers
  • 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.parsing.FOLParserTest
  • aima.test.core.unit.logic.fol.SubstVisitorTest
  • 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.