C# Класс AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests

Показать файл Открыть проект

Защищенные методы

Метод	Описание
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

Описание методов

testDefiniteClauseKBKingsQueryCriminalXFalse() защищенный Метод

protected testDefiniteClauseKBKingsQueryCriminalXFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() защищенный Метод

protected testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testDefiniteClauseKBKingsQueryJohnEvilSucceeds() защищенный Метод

protected testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() защищенный Метод

protected testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testDefiniteClauseKBKingsQueryRichardEvilFalse() защищенный Метод

protected testDefiniteClauseKBKingsQueryRichardEvilFalse ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() защищенный Метод

protected testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds() защищенный Метод

protected testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds() защищенный Метод

protected testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() защищенный Метод

protected testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Результат	void

testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds() защищенный Метод

protected testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Результат	void

testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds() защищенный Метод

protected testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Результат	void

testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() защищенный Метод

protected testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Результат	void

testEqualityAxiomsKBabcAEqualsCSucceeds() защищенный Метод

protected testEqualityAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void

testEqualityNoAxiomsKBabcAEqualsCSucceeds() защищенный Метод

protected testEqualityNoAxiomsKBabcAEqualsCSucceeds ( InferenceProcedure infp, bool expectedToFail ) : void
infp	InferenceProcedure
expectedToFail	bool
Результат	void

testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() защищенный Метод

protected testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Результат	void

testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() защищенный Метод

protected testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Результат	void

testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() защищенный Метод

protected testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( InferenceProcedure infp, bool expectedToTimeOut ) : void
infp	InferenceProcedure
expectedToTimeOut	bool
Результат	void

testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew() защищенный Метод

protected testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( InferenceProcedure infp ) : void
infp	InferenceProcedure
Результат	void