Class SimpleDeductiveReasoner
java.lang.Object
org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
org.tweetyproject.arg.deductive.reasoner.SimpleDeductiveReasoner
- All Implemented Interfaces:
QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
,Reasoner<Double,DeductiveKnowledgeBase,PlFormula>
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
ConstructorDescriptionSimpleDeductiveReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new reasoner for the given belief base, categorizer, and accumulator. -
Method Summary
Methods inherited from class org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
query
-
Constructor Details
-
SimpleDeductiveReasoner
Creates a new reasoner for the given belief base, categorizer, and accumulator.- Parameters:
categorizer
- some categorizer.accumulator
- some accumulator.
-