SimpleFolReasoner

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

All Implemented Interfaces:

QualitativeReasoner<FolBeliefSet,FolFormula>, Reasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
```
public class SimpleFolReasoner
extends FolReasoner
```
Uses a naive brute force search procedure for theorem proving.

Author:

Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.logics.fol.reasoner.FolReasoner
  defaultReasoner

Constructor Summary

Constructors
Constructor Description

SimpleFolReasoner()

Method Summary

Modifier and Type	Method	Description
`boolean`	`equivalent(FolBeliefSet kb, FolFormula f1, FolFormula f2)`	This method determines whether two formulas are equivalent wrt.
`java.lang.Boolean`	`query(FolBeliefSet kb, FolFormula formula)`	Queries the given belief base for the given formula.

Methods inherited from class net.sf.tweety.logics.fol.reasoner.FolReasoner
getDefaultReasoner, setDefaultReasoner

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

- Constructor Detail
  - SimpleFolReasoner
```
public SimpleFolReasoner()
```
- Method Detail
  - query
```
public java.lang.Boolean query(FolBeliefSet kb,
                               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<java.lang.Boolean,FolBeliefSet,FolFormula>
    
    Specified by:
    
    query in class FolReasoner
    
    Parameters:
    
    kb - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query
  - equivalent
```
public boolean equivalent(FolBeliefSet kb,
                          FolFormula f1,
                          FolFormula f2)
```
    Description copied from class: FolReasoner
    
    This method determines whether two formulas are equivalent wrt. to the given knowledge base.
    
    Specified by:
    
    equivalent in class FolReasoner
    
    Parameters:
    
    kb - the knowledge base
    
    f1 - the first formula.
    
    f2 - the second formula.
    
    Returns:
    
    the answer to the query.