Package aima.core.logic.fol.inference

Examples of aima.core.logic.fol.inference.FOLTFMResolution$TFMAnswerHandler


  @Test
  public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() {
    // This query will not return using TFM as keep expanding
    // clauses through resolution for this KB.
    FOLTFMResolution ip = new FOLTFMResolution(1000 * 1000);
    ip.setTracer(new RegressionFOLTFMResolutionTracer());
    testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(ip, true);
  }
View Full Code Here


  private static void fOL_TFMResolutionDemo() {
    System.out.println("----------------------------");
    System.out.println("TFM Resolution, Kings Demo 1");
    System.out.println("----------------------------");
    kingsDemo1(new FOLTFMResolution());
    System.out.println("----------------------------");
    System.out.println("TFM Resolution, Kings Demo 2");
    System.out.println("----------------------------");
    kingsDemo2(new FOLTFMResolution());
    System.out.println("----------------------------");
    System.out.println("TFM Resolution, Weapons Demo");
    System.out.println("----------------------------");
    weaponsDemo(new FOLTFMResolution());
    System.out.println("---------------------------------");
    System.out.println("TFM Resolution, Loves Animal Demo");
    System.out.println("---------------------------------");
    lovesAnimalDemo(new FOLTFMResolution());
    System.out.println("---------------------------------------");
    System.out.println("TFM Resolution, ABC Equality Axiom Demo");
    System.out.println("---------------------------------------");
    abcEqualityAxiomDemo(new FOLTFMResolution());
  }
View Full Code Here

*/
public class FOLTFMResolutionTest extends CommonFOLInferenceProcedureTests {

  @Test
  public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLTFMResolution());
  }
View Full Code Here

    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLTFMResolution());
  }

  @Test
  public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLTFMResolution());
  }
View Full Code Here

    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLTFMResolution());
  }

  @Test
  public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLTFMResolution());
  }
View Full Code Here

    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLTFMResolution());
  }

  @Test
  public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLTFMResolution());
  }
View Full Code Here

    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLTFMResolution());
  }

  @Test
  public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLTFMResolution());
  }
View Full Code Here

    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLTFMResolution());
  }

  @Test
  public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
    testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLTFMResolution());
  }
View Full Code Here

  @Test
  public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() {
    // The clauses in this KB can keep creating resolvents infinitely,
    // therefore give it 20 seconds to find the 4 answers to this, should
    // be more than enough.
    testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLTFMResolution(
        40 * 1000));
  }
 
View Full Code Here

  @Test
  public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() {
    // 10 seconds should be more than plenty for this query to finish.
    testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds(
        new FOLTFMResolution(10 * 1000), false);
  }
View Full Code Here

TOP

Related Classes of aima.core.logic.fol.inference.FOLTFMResolution$TFMAnswerHandler

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.