Class AbstractDeductiveArgumentationReasoner
java.lang.Object
org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
- All Implemented Interfaces:
QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
,Reasoner<Double,DeductiveKnowledgeBase,PlFormula>
- Direct Known Subclasses:
CompilationReasoner
,SimpleDeductiveReasoner
public abstract class AbstractDeductiveArgumentationReasoner
extends Object
implements QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
This class contains common characteristics for deductive argumentation
reasoner.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionAbstractDeductiveArgumentationReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new reasoner for the given belief base, categorizer, and accumulator. -
Method Summary
Modifier and TypeMethodDescriptionquery(DeductiveKnowledgeBase kb, PlFormula f)
Queries the given belief base for the given formula.
-
Constructor Details
-
AbstractDeductiveArgumentationReasoner
Creates a new reasoner for the given belief base, categorizer, and accumulator.- Parameters:
categorizer
- some categorizer.accumulator
- some accumulator.
-
-
Method Details