Hierarchy For Package aima.logic.fol.inference

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • aima.logic.fol.inference.AbstractModulation
    • aima.logic.fol.inference.Demodulation
    • aima.logic.fol.inference.Paramodulation
  • aima.logic.fol.inference.AbstractModulation.IdentifyCandidateMatchingTerm (implements aima.logic.fol.parsing.FOLVisitor)
  • aima.logic.fol.inference.AbstractModulation.ReplaceMatchingTerm (implements aima.logic.fol.parsing.FOLVisitor)
  • aima.logic.fol.inference.FOLBCAsk (implements aima.logic.fol.inference.InferenceProcedure)
  • aima.logic.fol.inference.FOLFCAsk (implements aima.logic.fol.inference.InferenceProcedure)
  • aima.logic.fol.inference.FOLModelElimination (implements aima.logic.fol.inference.InferenceProcedure)
  • aima.logic.fol.inference.FOLOTTERLikeTheoremProver (implements aima.logic.fol.inference.InferenceProcedure)
  • aima.logic.fol.inference.FOLTFMResolution (implements aima.logic.fol.inference.InferenceProcedure)
  • aima.logic.fol.inference.InferenceResultPrinter

Interface Hierarchy

• aima.logic.fol.inference.InferenceProcedure
• aima.logic.fol.inference.InferenceResult