aima.test.logictest.foltest
Class FOLOTTERLikeTheoremProverTest

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

public class FOLOTTERLikeTheoremProverTest
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLOTTERLikeTheoremProverTest()

Method Summary

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

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

FOLOTTERLikeTheoremProverTest

public FOLOTTERLikeTheoremProverTest()

Method Detail

testDefaultClauseSimplifier

public void testDefaultClauseSimplifier()

testExhaustsSearchSpace

public void testExhaustsSearchSpace()

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()

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()

testEqualityNoAxiomsKBabcAEqualsCSucceeds

public void testEqualityNoAxiomsKBabcAEqualsCSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds()