aima.test.regression.logic.fol
Class FOLTFMResolutionRegression

java.lang.Object
  TestCase
      aima.test.logictest.foltest.CommonFOLInferenceProcedureTests
          aima.test.regression.logic.fol.FOLTFMResolutionRegression

public class FOLTFMResolutionRegression
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLTFMResolutionRegression()

Method Summary

void	testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()

Methods inherited from class aima.test.logictest.foltest.CommonFOLInferenceProcedureTests

testDefiniteClauseKBKingsQueryCriminalXFalse, testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds, testDefiniteClauseKBKingsQueryJohnEvilSucceeds, testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds, testDefiniteClauseKBKingsQueryRichardEvilFalse, testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds, testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds, testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds, testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds, testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds, testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds, testEqualityAxiomsKBabcAEqualsCSucceeds, testEqualityNoAxiomsKBabcAEqualsCSucceeds, testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds, testFullFOLKBLovesAnimalQueryKillsJackTunaFalse, testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds, testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew, xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLTFMResolutionRegression

public FOLTFMResolutionRegression()

Method Detail

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse

public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()