aima.test.logictest.foltest
Class FOLModelEliminationTest

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

public class FOLModelEliminationTest
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLModelEliminationTest()

Method Summary

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

FOLModelEliminationTest

public FOLModelEliminationTest()

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

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()

testEqualityNoAxiomsKBabcAEqualsCSucceeds

public void testEqualityNoAxiomsKBabcAEqualsCSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds()

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds

public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds()