Package aima.core.logic.fol.kb

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
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
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
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
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
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
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
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

Related Classes of aima.core.logic.fol.kb.FOLKnowledgeBase

  • aima.core.learning.learners.CurrentBestLearner
  • aima.core.logic.fol.CNFConverter
  • aima.core.logic.fol.domain.FOLDomain
  • aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver
  • aima.core.logic.fol.inference.InferenceResult
  • aima.core.logic.fol.inference.proof.ProofStepClauseClausifySentence
  • aima.core.logic.fol.kb.data.CNF
  • aima.core.logic.fol.kb.data.Literal
  • aima.core.logic.fol.parsing.ast.Predicate
  • aima.core.logic.fol.parsing.ast.Sentence
    • 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.