aima.test.logictest.foltest
Class FOLFCAskTest

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

public class FOLFCAskTest
extends CommonFOLInferenceProcedureTests

Constructor Summary

FOLFCAskTest()

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

FOLFCAskTest

public FOLFCAskTest()

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