AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLModelEliminationTest.testDefiniteClauseKBKingsQueryJohnEvilSucceeds C# (CSharp) Method

FOLModelEliminationTest Class Documentation Mostra file Open project: PaulMineau/AIMA.Net

testDefiniteClauseKBKingsQueryJohnEvilSucceeds() private method

private testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( ) : void
return void 
        public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds()
        {
            testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLModelElimination());
        }
FOLModelEliminationTest
testDefiniteClauseKBKingsQueryCriminalXFalse
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds
testDefiniteClauseKBKingsQueryJohnEvilSucceeds
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds
testDefiniteClauseKBKingsQueryRichardEvilFalse
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds
testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds
testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds
testEqualityAxiomsKBabcAEqualsCSucceeds
testEqualityNoAxiomsKBabcAEqualsCSucceeds
testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse
testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew