SimpleDeductiveReasoner

java.lang.Object
- net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
- - net.sf.tweety.arg.deductive.reasoner.SimpleDeductiveReasoner

All Implemented Interfaces:

QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>, Reasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>
```
public class SimpleDeductiveReasoner
extends AbstractDeductiveArgumentationReasoner
```
This class implements a brute force approach to deductive argumentation. It performs deductive argumentation on a set of propositional formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`SimpleDeductiveReasoner(Categorizer categorizer, Accumulator accumulator)`	Creates a new reasoner for the given belief base, categorizer, and accumulator.

Method Summary
- Methods inherited from class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
  query
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SimpleDeductiveReasoner
```
public SimpleDeductiveReasoner(Categorizer categorizer,
                               Accumulator accumulator)
```
    Creates a new reasoner for the given belief base, categorizer, and accumulator.
    
    Parameters:
    
    categorizer - some categorizer.
    
    accumulator - some accumulator.