AbstractMlnReasoner

java.lang.Object
- org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

All Implemented Interfaces:

QuantitativeReasoner<MarkovLogicNetwork,FolFormula>, Reasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>

Direct Known Subclasses:

AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, IteratingMlnReasoner, SimpleMlnReasoner, SimpleSamplingMlnReasoner
```
public abstract class AbstractMlnReasoner
extends java.lang.Object
implements QuantitativeReasoner<MarkovLogicNetwork,FolFormula>
```
This class provides common methods for MLN reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

AbstractMlnReasoner()

Method Summary

Modifier and Type	Method	Description
`java.lang.Double`	`query(MarkovLogicNetwork mln, FolFormula query)`	Queries the given belief base for the given formula.
`java.lang.Double`	`query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)`	Queries the given MLN wrt.

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

- Constructor Detail
  - AbstractMlnReasoner
```
public AbstractMlnReasoner()
```
- Method Detail
  - query
```
public java.lang.Double query(MarkovLogicNetwork mln,
                              FolFormula query)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface Reasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>
    
    Parameters:
    
    mln - a belief base
    
    query - a formula
    
    Returns:
    
    the answer to the query
  - query
```
public java.lang.Double query(MarkovLogicNetwork mln,
                              FolFormula query,
                              FolSignature signature)
```
    Queries the given MLN wrt. the given signature
    
    Parameters:
    
    mln - some mln
    
    query - some query
    
    signature - some signature
    
    Returns:
    
    the answer to the query