AbstractDeductiveArgumentationReasoner

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

All Implemented Interfaces:

QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>, Reasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>

Direct Known Subclasses:

CompilationReasoner, SimpleDeductiveReasoner
```
public abstract class AbstractDeductiveArgumentationReasoner
extends java.lang.Object
implements QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
```
This class contains common characteristics for deductive argumentation reasoner.

Author:

Matthias Thimm

Constructor Summary

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

Method Summary

Modifier and Type Method Description

java.lang.Double query(DeductiveKnowledgeBase kb, PlFormula f)
Queries the given belief base for the given formula.
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - AbstractDeductiveArgumentationReasoner
```
public AbstractDeductiveArgumentationReasoner(Categorizer categorizer,
                                              Accumulator accumulator)
```
    Creates a new reasoner for the given belief base, categorizer, and accumulator.
    
    Parameters:
    
    categorizer - some categorizer.
    
    accumulator - some accumulator.
- Method Detail
  - query
```
public java.lang.Double query(DeductiveKnowledgeBase kb,
                              PlFormula f)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface Reasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>
    
    Parameters:
    
    kb - a belief base
    
    f - a formula
    
    Returns:
    
    the answer to the query