aima.logic.fol.kb
Class FOLKnowledgeBaseFactory

java.lang.Object
  aima.logic.fol.kb.FOLKnowledgeBaseFactory

public class FOLKnowledgeBaseFactory
extends java.lang.Object

Constructor Summary

FOLKnowledgeBaseFactory()

Method Summary

static FOLKnowledgeBase	createABCDEqualityAndSubstitutionKnowledgeBase(InferenceProcedure infp, boolean includeEqualityAxioms)
static FOLKnowledgeBase	createABCEqualityKnowledgeBase(InferenceProcedure infp, boolean includeEqualityAxioms)
static FOLKnowledgeBase	createKingsKnowledgeBase(InferenceProcedure infp)
static FOLKnowledgeBase	createLovesAnimalKnowledgeBase(InferenceProcedure infp)
static FOLKnowledgeBase	createRingOfThievesKnowledgeBase(InferenceProcedure infp)
static FOLKnowledgeBase	createWeaponsKnowledgeBase(InferenceProcedure infp)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLKnowledgeBaseFactory

public FOLKnowledgeBaseFactory()

Method Detail

createKingsKnowledgeBase

public static FOLKnowledgeBase createKingsKnowledgeBase(InferenceProcedure infp)

createWeaponsKnowledgeBase

public static FOLKnowledgeBase createWeaponsKnowledgeBase(InferenceProcedure infp)

createLovesAnimalKnowledgeBase

public static FOLKnowledgeBase createLovesAnimalKnowledgeBase(InferenceProcedure infp)

createRingOfThievesKnowledgeBase

public static FOLKnowledgeBase createRingOfThievesKnowledgeBase(InferenceProcedure infp)

createABCEqualityKnowledgeBase

public static FOLKnowledgeBase createABCEqualityKnowledgeBase(InferenceProcedure infp,
                                                              boolean includeEqualityAxioms)

createABCDEqualityAndSubstitutionKnowledgeBase

public static FOLKnowledgeBase createABCDEqualityAndSubstitutionKnowledgeBase(InferenceProcedure infp,
                                                                              boolean includeEqualityAxioms)