net.sf.tweety.arg.deductive

Class AbstractDeductiveArgumentationReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.deductive.AbstractDeductiveArgumentationReasoner

Direct Known Subclasses:

CompilationReasoner, SimpleReasoner

public abstract class AbstractDeductiveArgumentationReasoner
extends net.sf.tweety.commons.Reasoner

This class contains common characteristics for deductive argumentation reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractDeductiveArgumentationReasoner(net.sf.tweety.commons.BeliefBase beliefBase, 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(DeductiveArgument arg) Computes the argument tree of the given argument.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDeductiveArgumentationReasoner

public AbstractDeductiveArgumentationReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                                              Categorizer categorizer,
                                              Accumulator accumulator)

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

Parameters:

beliefBase - some belief base (must be of class DeductiveKnowledgebase).

categorizer - some categorizer.

accumulator - some accumulator.

Method Detail

getArgumentTree

protected abstract ArgumentTree getArgumentTree(DeductiveArgument arg)

Computes the argument tree of the given argument.

Parameters:

arg - some argument.

Returns:

the argument tree for the argument

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner