AbstractMlReasoner

java.lang.Object
- net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner

All Implemented Interfaces:

QualitativeReasoner<MlBeliefSet,FolFormula>, Reasoner<java.lang.Boolean,MlBeliefSet,FolFormula>

Direct Known Subclasses:

MleanCoPReasoner, SimpleMlReasoner, SPASSMlReasoner
```
public abstract class AbstractMlReasoner
extends java.lang.Object
implements QualitativeReasoner<MlBeliefSet,FolFormula>
```
Abstract modal reasoner to be implemented by concrete reasoners.

Author:

Bastian Wolf, Nils Geilen, Anna Gessler, Matthias Thimm

Field Summary

Fields
Modifier and Type Field Description

static AbstractMlReasoner defaultReasoner
Empty default prover

Constructor Summary

Constructors
Constructor Description

AbstractMlReasoner()

Method Summary

Modifier and Type	Method	Description
`static AbstractMlReasoner`	`getDefaultReasoner()`	Returns the default reasoner for modal logic
`abstract java.lang.Boolean`	`query(MlBeliefSet beliefbase, FolFormula formula)`	Queries the given belief base for the given formula.
`static void`	`setDefaultReasoner(AbstractMlReasoner reasoner)`	Set default modal reasoner with given

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

- Field Detail
  - defaultReasoner
```
public static AbstractMlReasoner defaultReasoner
```
    Empty default prover
- Constructor Detail
  - AbstractMlReasoner
```
public AbstractMlReasoner()
```
- Method Detail
  - setDefaultReasoner
```
public static void setDefaultReasoner(AbstractMlReasoner reasoner)
```
    Set default modal reasoner with given
    
    Parameters:
    
    reasoner - an ML Reasoner
  - getDefaultReasoner
```
public static AbstractMlReasoner getDefaultReasoner()
```
    Returns the default reasoner for modal logic
    
    Returns:
    
    the default modal reasoner
  - query
```
public abstract java.lang.Boolean query(MlBeliefSet beliefbase,
                                        FolFormula formula)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface QualitativeReasoner<MlBeliefSet,FolFormula>
    
    Specified by:
    
    query in interface Reasoner<java.lang.Boolean,MlBeliefSet,FolFormula>
    
    Parameters:
    
    beliefbase - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query