Method |
Description |
|
testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void |
|
|
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void |
|
|
testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void |
|
|
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void |
|
|
testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void |
|
|
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void |
|
|
testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void |
|
|
testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void |
|
|
testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void |
|
|
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void |
|
|
testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void |
|
|
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void |
|
|