Package org.tweetyproject.arg.deductive.reasoner

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 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
boolean	isInstalled()

Methods inherited from class org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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