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 Summary

Fields

Modifier and Type

Field

Description

static FolReasoner

defaultReasoner

Empty default reasoner
Constructor Summary

Constructors

Constructor

Description

FolReasoner()
Method Summary

Modifier and Type

Method

Description

abstract boolean

equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)

This method determines whether two formulas are equivalent wrt.

static FolReasoner

getDefaultReasoner()

Returns the default theorem prover

abstract Boolean

query(FolBeliefSet beliefbase, FolFormula formula)

Queries the given belief base for the given formula.

static void

setDefaultReasoner(FolReasoner reasoner)

Set default reasoner with given

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner
isInstalled

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