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

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

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

public static createABCDEqualityAndSubstitutionKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
infp	InferenceProcedure
includeEqualityAxioms	bool
Résultat	FOLKnowledgeBase

createABCEqualityKnowledgeBase() public static méthode

public static createABCEqualityKnowledgeBase ( InferenceProcedure infp, bool includeEqualityAxioms ) : FOLKnowledgeBase
infp	InferenceProcedure
includeEqualityAxioms	bool
Résultat	FOLKnowledgeBase

createKingsKnowledgeBase() public static méthode

public static createKingsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
Résultat	FOLKnowledgeBase

createLovesAnimalKnowledgeBase() public static méthode

public static createLovesAnimalKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
Résultat	FOLKnowledgeBase

createRingOfThievesKnowledgeBase() public static méthode

public static createRingOfThievesKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
Résultat	FOLKnowledgeBase

createWeaponsKnowledgeBase() public static méthode

public static createWeaponsKnowledgeBase ( InferenceProcedure infp ) : FOLKnowledgeBase
infp	InferenceProcedure
Résultat	FOLKnowledgeBase