C# 클래스 AIMA.Core.Logic.FOL.KB.FOLKnowledgeBaseFactory

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
createABCDEqualityAndSubstitutionKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
createABCEqualityKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
createKingsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
createLovesAnimalKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
createRingOfThievesKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
createWeaponsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase

메소드 상세

createABCDEqualityAndSubstitutionKnowledgeBase() 공개 정적인 메소드

public static createABCDEqualityAndSubstitutionKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
infp	InferenceProcedure
includeEqualityAxioms	bool
리턴	FOLKnowledgeBase

createABCEqualityKnowledgeBase() 공개 정적인 메소드

public static createABCEqualityKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
infp	InferenceProcedure
includeEqualityAxioms	bool
리턴	FOLKnowledgeBase

createKingsKnowledgeBase() 공개 정적인 메소드

public static createKingsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
리턴	FOLKnowledgeBase

createLovesAnimalKnowledgeBase() 공개 정적인 메소드

public static createLovesAnimalKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
리턴	FOLKnowledgeBase

createRingOfThievesKnowledgeBase() 공개 정적인 메소드

public static createRingOfThievesKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
리턴	FOLKnowledgeBase

createWeaponsKnowledgeBase() 공개 정적인 메소드

public static createWeaponsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
리턴	FOLKnowledgeBase