aima.test.logictest.foltest
Class FOLTFMResolutionTest

java.lang.Object
  TestCase
      aima.test.logictest.foltest.CommonFOLInferenceProcedureTests
          aima.test.logictest.foltest.FOLTFMResolutionTest

public class FOLTFMResolutionTest
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLTFMResolutionTest()

Method Summary

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

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

FOLTFMResolutionTest

public FOLTFMResolutionTest()

Method Detail

testDefiniteClauseKBKingsQueryCriminalXFalse

public void testDefiniteClauseKBKingsQueryCriminalXFalse()

testDefiniteClauseKBKingsQueryRichardEvilFalse

public void testDefiniteClauseKBKingsQueryRichardEvilFalse()

testDefiniteClauseKBKingsQueryJohnEvilSucceeds

public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds()

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds

public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds()

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds

public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds()

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds

public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds()

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew

public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew()

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds

public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds()

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds

public void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds()

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse

public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()

testEqualityAxiomsKBabcAEqualsCSucceeds

public void testEqualityAxiomsKBabcAEqualsCSucceeds()

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds()

xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds

public void xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()

testEqualityNoAxiomsKBabcAEqualsCSucceeds

public void testEqualityNoAxiomsKBabcAEqualsCSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds()