aima.test.logictest.foltest
Class FOLBCAskTest

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

public class FOLBCAskTest
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLBCAskTest()

Method Summary

void	testDefiniteClauseKBKingsQueryCriminalXFalse()
void	testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds()
void	testDefiniteClauseKBKingsQueryJohnEvilSucceeds()
void	testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds()
void	testDefiniteClauseKBKingsQueryRichardEvilFalse()
void	testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds()

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

FOLBCAskTest

public FOLBCAskTest()

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