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

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

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() private method

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