C# Class AIMA.Core.Logic.FOL.KB.FOLKnowledgeBaseFactory

Datei anzeigen Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
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

Method Details

createABCDEqualityAndSubstitutionKnowledgeBase() public static method

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

createABCEqualityKnowledgeBase() public static method

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

createKingsKnowledgeBase() public static method

public static createKingsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
return	FOLKnowledgeBase

createLovesAnimalKnowledgeBase() public static method

public static createLovesAnimalKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
return	FOLKnowledgeBase

createRingOfThievesKnowledgeBase() public static method

public static createRingOfThievesKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
return	FOLKnowledgeBase

createWeaponsKnowledgeBase() public static method

public static createWeaponsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
return	FOLKnowledgeBase