C# Class AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes protégées

Méthode	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

Method Details

testDefiniteClauseKBKingsQueryCriminalXFalse() protected méthode

protected testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() protected méthode

protected testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testDefiniteClauseKBKingsQueryJohnEvilSucceeds() protected méthode

protected testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() protected méthode

protected testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testDefiniteClauseKBKingsQueryRichardEvilFalse() protected méthode

protected testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() protected méthode

protected testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() protected méthode

protected testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() protected méthode

protected testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() protected méthode

protected testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Résultat	void

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() protected méthode

protected testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Résultat	void

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() protected méthode

protected testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Résultat	void

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() protected méthode

protected testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Résultat	void

testEqualityAxiomsKBabcAEqualsCSucceeds() protected méthode

protected testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void

testEqualityNoAxiomsKBabcAEqualsCSucceeds() protected méthode

protected testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Résultat	void

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() protected méthode

protected testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Résultat	void

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() protected méthode

protected testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Résultat	void

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() protected méthode

protected testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Résultat	void

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() protected méthode

protected testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Résultat	void