CompilationReasoner

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

All Implemented Interfaces:

QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>, Reasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>
```
public class CompilationReasoner
extends AbstractDeductiveArgumentationReasoner
```
This class implements the approach of knowledge base compilation as proposed in

Philippe Besnard and Anthony Hunter. Knowledgebase Compilation for Efficient Logical Argumentation. In Proceedings of the 10th International Conference on Knowledge Representation (KR'06), pages 123-133, AAAI Press, 2006.

It performs deductive argumentation on a set of propositional formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`CompilationReasoner(Categorizer categorizer, Accumulator accumulator)`	Creates a new compilation 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.

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
  - CompilationReasoner
```
public CompilationReasoner(Categorizer categorizer,
                           Accumulator accumulator)
```
    Creates a new compilation 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