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()	Checks if the reasoner is installed.

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

Description copied from interface: QuantitativeReasoner

Checks if the reasoner is installed.

Returns:

if reasoner is installed