Examples of FOLKnowledgeBase

aima.core.logic.fol.kb.FOLKnowledgeBase
A First Order Logic (FOL) Knowledge Base. @author Ciaran O'Reilly

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

    Assert.assertEquals(0, expected.size());
  }


  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) {
      Assert.assertFalse(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());
      Assert.assertTrue(answer.isUnknownDueToTimeout());

View Full Code Here

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

    }
  }


  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);
    if (expectedToTimeOut) {
      Assert.assertFalse(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());

View Full Code Here

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

    }
  }


  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);
    if (expectedToTimeOut) {
      Assert.assertFalse(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());

View Full Code Here

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

    }
  }


  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);
    Assert.assertFalse(answer.isPossiblyFalse());
    Assert.assertTrue(answer.isTrue());
    Assert.assertFalse(answer.isUnknownDueToTimeout());

View Full Code Here

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

        .size());
  }


  protected void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(
      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());
    Assert.assertTrue(answer.isTrue());
    Assert.assertFalse(answer.isUnknownDueToTimeout());

View Full Code Here

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

        .size());
  }


  protected void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(
      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);
    Assert.assertFalse(answer.isPossiblyFalse());
    Assert.assertTrue(answer.isTrue());
    Assert.assertFalse(answer.isUnknownDueToTimeout());

View Full Code Here

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

        .size());
  }


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


    InferenceResult answer = akb.ask(query);


    if (expectedToTimeOut) {
      Assert.assertFalse(answer.isPossiblyFalse());
      Assert.assertFalse(answer.isTrue());
      Assert.assertTrue(answer.isUnknownDueToTimeout());

View Full Code Here

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

    }
  }


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

View Full Code Here

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

  }


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


    FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
        .createKingsKnowledgeBase(ip);


    String kbStr = kb.toString();


    List<Term> terms = new ArrayList<Term>();
    terms.add(new Constant("John"));
    Predicate query = new Predicate("Evil", 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

    }
  }


  protected void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds(
      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);
    TermEquality query = new TermEquality(new Function("F", terms),
        new Constant("A"));


    InferenceResult answer = akb.ask(query);


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

View Full Code Here

0 1 2

TOP

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.