net.sf.tweety.arg.deductive.reasoner

Class AbstractDeductiveArgumentationReasoner

java.lang.Object

net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

All Implemented Interfaces:

QuantitativeReasoner<DeductiveKnowledgeBase,PropositionalFormula>, Reasoner<java.lang.Double,DeductiveKnowledgeBase,PropositionalFormula>

Direct Known Subclasses:

CompilationReasoner, SimpleReasoner

public abstract class AbstractDeductiveArgumentationReasoner
extends java.lang.Object
implements QuantitativeReasoner<DeductiveKnowledgeBase,PropositionalFormula>

This class contains common characteristics for deductive argumentation reasoner.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private Accumulator	accumulator The accumulator used for reasoning.
private Categorizer	categorizer The categorizer used for reasoning.
private static org.slf4j.Logger	log Logger.

Constructor Summary

Constructors

Constructor and Description
AbstractDeductiveArgumentationReasoner(Categorizer categorizer, Accumulator accumulator) Creates a new reasoner for the given belief base, categorizer, and accumulator.

Method Summary

Modifier and Type	Method and Description
protected abstract ArgumentTree	getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg) Computes the argument tree of the given argument.
java.lang.Double	query(DeductiveKnowledgeBase kb, PropositionalFormula f) Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

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

Field Detail

log

private static org.slf4j.Logger log

Logger.

categorizer

private Categorizer categorizer

The categorizer used for reasoning.

accumulator

private Accumulator accumulator

The accumulator used for reasoning.

Constructor Detail

AbstractDeductiveArgumentationReasoner

public AbstractDeductiveArgumentationReasoner(Categorizer categorizer,
                                              Accumulator accumulator)

Creates a new reasoner for the given belief base, categorizer, and accumulator.

Parameters:

categorizer - some categorizer.

accumulator - some accumulator.

Method Detail

getArgumentTree

protected abstract ArgumentTree getArgumentTree(DeductiveKnowledgeBase kb,
                                                DeductiveArgument arg)

Computes the argument tree of the given argument.

Parameters:

arg - some argument.

Returns:

the argument tree for the argument

query

public java.lang.Double query(DeductiveKnowledgeBase kb,
                              PropositionalFormula f)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface Reasoner<java.lang.Double,DeductiveKnowledgeBase,PropositionalFormula>

Parameters:

kb - a belief base

f - a formula

Returns:

the answer to the query