Examples of FOLKnowledgeBase

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
  }

  private static void kingsDemo2(InferenceProcedure ip) {
    StandardizeApartIndexicalFactory.flush();

    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(ip);

    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("King", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Kings Knowledge Base:");
    System.out.println(kbStr);
    System.out.println("Query: " + query);
    for (Proof p : answer.getProofs()) {
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
    }
  }

  protected void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(
      InferenceProcedure infp, boolean expectedToFail) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, false);

    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);
    if (expectedToFail) {
      Assert.assertTrue(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
  }

  private static void weaponsDemo(InferenceProcedure ip) {
    StandardizeApartIndexicalFactory.flush();

    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createWeaponsKnowledgeBase(ip);

    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Variable("x"));
    Predicate query = new Predicate("Criminal", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Weapons Knowledge Base:");
    System.out.println(kbStr);
    System.out.println("Query: " + query);
    for (Proof p : answer.getProofs()) {
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
    }
  }

  protected void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(
      InferenceProcedure infp, boolean expectedToFail) {
    FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
        .createABCDEqualityAndSubstitutionKnowledgeBase(infp, false);

    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>();
    terms.add(ffa);
    Predicate query = new Predicate("P", terms);

    InferenceResult answer = akb.ask(query);

    Assert.assertTrue(null != answer);
    if (expectedToFail) {
      Assert.assertTrue(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
  }

  private static void lovesAnimalDemo(InferenceProcedure ip) {
    StandardizeApartIndexicalFactory.flush();

    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createLovesAnimalKnowledgeBase(ip);

    String kbStr = kb.toString();

    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("Curiosity"));
    terms.add(new Constant("Tuna"));
    Predicate query = new Predicate("Kills", terms);

    InferenceResult answer = kb.ask(query);

    System.out.println("Loves Animal Knowledge Base:");
    System.out.println(kbStr);
    System.out.println("Query: " + query);
    for (Proof p : answer.getProofs()) {
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
  }

  private static void abcEqualityAxiomDemo(InferenceProcedure ip) {
    StandardizeApartIndexicalFactory.flush();

    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(ip, true);

    String kbStr = kb.toString();

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

    InferenceResult answer = kb.ask(query);

    System.out.println("ABC Equality Axiom Knowledge Base:");
    System.out.println(kbStr);
    System.out.println("Query: " + query);
    for (Proof p : answer.getProofs()) {
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
  }

  private static void abcEqualityNoAxiomDemo(InferenceProcedure ip) {
    StandardizeApartIndexicalFactory.flush();

    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createABCEqualityKnowledgeBase(ip, false);

    String kbStr = kb.toString();

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

    InferenceResult answer = kb.ask(query);

    System.out.println("ABC Equality No Axiom Knowledge Base:");
    System.out.println(kbStr);
    System.out.println("Query: " + query);
    for (Proof p : answer.getProofs()) {
View Full Code Here

Examples of aima.core.logic.fol.kb.FOLKnowledgeBase

27
28
29
30
31
32
33
34
35
  @Before
  public void setUp() {
    StandardizeApartIndexicalFactory.flush();

    weaponsKB = new FOLKnowledgeBase(DomainFactory.weaponsDomain());

    kingsKB = new FOLKnowledgeBase(DomainFactory.kingsDomain());
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.