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

Modifier and Type	Method	Description
`protected ArgumentTree`	`getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)`	Computes the argument tree of the given argument.
`private ArgumentTree`	`getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgumentNode argNode, java.util.Set<PlFormula> support)`	Computes the argument tree of the given argument.

Methods inherited from class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
query

Methods inherited from class java.lang.Object
clone, equals, finalize, 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.
- Method Detail
  - getArgumentTree
```
protected ArgumentTree getArgumentTree(DeductiveKnowledgeBase kb,
                                       DeductiveArgument arg)
```
    Description copied from class: AbstractDeductiveArgumentationReasoner
    
    Computes the argument tree of the given argument.
    
    Specified by:
    
    getArgumentTree in class AbstractDeductiveArgumentationReasoner
    
    Parameters:
    
    kb - a knowledge base
    
    arg - some argument.
    
    Returns:
    
    the argument tree for the argument
  - getArgumentTree
```
private ArgumentTree getArgumentTree(DeductiveKnowledgeBase kb,
                                     DeductiveArgumentNode argNode,
                                     java.util.Set<PlFormula> support)
```
    Computes the argument tree of the given argument.
    
    Parameters:
    
    kb - the knowledge base
    
    argNode - some argument node.
    
    support - the union of the supports of all previously encountered arguments
    
    Returns:
    
    the argument tree for the argument