FolReasoner (Tweety (FOL) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.fol.reasoner.FolReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<FolBeliefSet,FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,FolBeliefSet,FolFormula>

Direct Known Subclasses:

EFOLReasoner, Prover9FolReasoner, SimpleFolReasoner, SpassFolReasoner
```
public abstract class FolReasoner
extends Object
implements net.sf.tweety.commons.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)`
`static void`	`setDefaultReasoner(FolReasoner reasoner)`	Set default reasoner with given

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

- Field Detail
  - defaultReasoner
```
public static FolReasoner defaultReasoner
```
    Empty default reasoner
- Constructor Detail
  - FolReasoner
```
public FolReasoner()
```
- Method Detail
  - 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)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.QualitativeReasoner<FolBeliefSet,FolFormula>
    
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Boolean,FolBeliefSet,FolFormula>