aima.test.logictest.foltest
Class CommonFOLInferenceProcedureTests

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

Direct Known Subclasses:

FOLBCAskTest, FOLFCAskTest, FOLModelEliminationTest, FOLOTTERLikeTheoremProverTest, FOLTFMResolutionRegression, FOLTFMResolutionTest

public abstract class CommonFOLInferenceProcedureTests
extends TestCase

Constructor Summary

CommonFOLInferenceProcedureTests()

Method Summary

protected void	testDefiniteClauseKBKingsQueryCriminalXFalse(InferenceProcedure infp)
protected void	testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(InferenceProcedure infp)
protected void	testDefiniteClauseKBKingsQueryJohnEvilSucceeds(InferenceProcedure infp)
protected void	testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(InferenceProcedure infp)
protected void	testDefiniteClauseKBKingsQueryRichardEvilFalse(InferenceProcedure infp)
protected void	testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(InferenceProcedure infp)
protected void	testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(InferenceProcedure infp)
protected void	testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(InferenceProcedure infp, boolean expectedToTimeOut)
protected void	testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds(InferenceProcedure infp, boolean expectedToFail)
protected void	testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(InferenceProcedure infp, boolean expectedToFail)
protected void	testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(InferenceProcedure infp, boolean expectedToFail)
protected void	testEqualityAxiomsKBabcAEqualsCSucceeds(InferenceProcedure infp)
protected void	testEqualityNoAxiomsKBabcAEqualsCSucceeds(InferenceProcedure infp, boolean expectedToFail)
protected void	testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds(InferenceProcedure infp, boolean expectedToTimeOut)
protected void	testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(InferenceProcedure infp, boolean expectedToTimeOut)
protected void	testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds(InferenceProcedure infp, boolean expectedToTimeOut)
protected void	testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(InferenceProcedure infp)
protected void	xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(InferenceProcedure infp)

Methods inherited from class java.lang.Object

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

Constructor Detail

CommonFOLInferenceProcedureTests

public CommonFOLInferenceProcedureTests()

Method Detail

testDefiniteClauseKBKingsQueryCriminalXFalse

protected void testDefiniteClauseKBKingsQueryCriminalXFalse(InferenceProcedure infp)

testDefiniteClauseKBKingsQueryRichardEvilFalse

protected void testDefiniteClauseKBKingsQueryRichardEvilFalse(InferenceProcedure infp)

testDefiniteClauseKBKingsQueryJohnEvilSucceeds

protected void testDefiniteClauseKBKingsQueryJohnEvilSucceeds(InferenceProcedure infp)

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds

protected void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(InferenceProcedure infp)

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds

protected void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(InferenceProcedure infp)

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds

protected void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(InferenceProcedure infp)

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew

protected void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(InferenceProcedure infp)

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds

protected void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds(InferenceProcedure infp,
                                                                       boolean expectedToTimeOut)

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds

protected void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds(InferenceProcedure infp,
                                                                     boolean expectedToTimeOut)

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse

protected void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(InferenceProcedure infp,
                                                               boolean expectedToTimeOut)

testEqualityAxiomsKBabcAEqualsCSucceeds

protected void testEqualityAxiomsKBabcAEqualsCSucceeds(InferenceProcedure infp)

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds

protected void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(InferenceProcedure infp)

xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds

protected void xtestEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(InferenceProcedure infp)

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds

protected void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(InferenceProcedure infp,
                                                                   boolean expectedToTimeOut)

testEqualityNoAxiomsKBabcAEqualsCSucceeds

protected void testEqualityNoAxiomsKBabcAEqualsCSucceeds(InferenceProcedure infp,
                                                         boolean expectedToFail)

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds

protected void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds(InferenceProcedure infp,
                                                                    boolean expectedToFail)

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds

protected void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(InferenceProcedure infp,
                                                                   boolean expectedToFail)

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds

protected void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(InferenceProcedure infp,
                                                                     boolean expectedToFail)