net.sf.tweety.arg.deductive.reasoner

Class AbstractDeductiveArgumentationReasoner

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.Reasoner<Double,DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

Direct Known Subclasses:

CompilationReasoner, SimpleDeductiveReasoner

public abstract class AbstractDeductiveArgumentationReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

This class contains common characteristics for deductive argumentation reasoner.

Author:

Matthias Thimm

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.
Double	query(DeductiveKnowledgeBase kb, net.sf.tweety.logics.pl.syntax.PropositionalFormula f)

Methods inherited from class java.lang.Object

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

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 Double query(DeductiveKnowledgeBase kb,
                    net.sf.tweety.logics.pl.syntax.PropositionalFormula f)

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Double,DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.PropositionalFormula>