Class FolReasoner

java.lang.Object
org.tweetyproject.logics.fol.reasoner.FolReasoner
All Implemented Interfaces:
QualitativeReasoner<FolBeliefSet,FolFormula>, Reasoner<Boolean,FolBeliefSet,FolFormula>
Direct Known Subclasses:
EFOLReasoner, Prover9FolReasoner, SimpleFolReasoner, SpassFolReasoner

public abstract class FolReasoner extends Object implements QualitativeReasoner<FolBeliefSet,FolFormula>
Abstract FOL Prover to be implemented by concrete solvers.
Author:
Bastian Wolf, Nils Geilen, Matthias Thimm
  • Field Details

    • defaultReasoner

      public static FolReasoner defaultReasoner
      Empty default reasoner
  • Constructor Details

    • FolReasoner

      public FolReasoner()
  • Method Details

    • setDefaultReasoner

      public static void setDefaultReasoner(FolReasoner reasoner)
      Set default reasoner with given
      Parameters:
      reasoner - a FolReasoner
    • getDefaultReasoner

      public static FolReasoner getDefaultReasoner()
      Returns the default theorem prover
      Returns:
      the default theorem prover
    • equivalent

      public abstract boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
      This method determines whether two formulas are equivalent wrt. to the given knowledge base.
      Parameters:
      kb - the knowledge base
      a - the first formula.
      b - the second formula.
      Returns:
      the answer to the query.
    • query

      public abstract Boolean query(FolBeliefSet beliefbase, FolFormula formula)
      Description copied from interface: Reasoner
      Queries the given belief base for the given formula.
      Specified by:
      query in interface QualitativeReasoner<FolBeliefSet,FolFormula>
      Specified by:
      query in interface Reasoner<Boolean,FolBeliefSet,FolFormula>
      Parameters:
      beliefbase - a belief base
      formula - a formula
      Returns:
      the answer to the query