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>

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 Details

    • 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 Details

    • isInstalled

      public boolean isInstalled()
      Returns:
      if reasoner is installed