Class AbstractDeductiveArgumentationReasoner
- java.lang.Object
-
- net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
- All Implemented Interfaces:
QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
,Reasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>
- Direct Known Subclasses:
CompilationReasoner
,SimpleDeductiveReasoner
public abstract class AbstractDeductiveArgumentationReasoner extends java.lang.Object implements QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
This class contains common characteristics for deductive argumentation reasoner.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field 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 Description AbstractDeductiveArgumentationReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new reasoner for the given belief base, categorizer, and accumulator.
-
Method Summary
Modifier and Type Method Description protected abstract ArgumentTree
getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)
Computes the argument tree of the given argument.java.lang.Double
query(DeductiveKnowledgeBase kb, PlFormula f)
Queries the given belief base for the given formula.
-
-
-
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:
kb
- a knowledge basearg
- some argument.- Returns:
- the argument tree for the argument
-
query
public java.lang.Double query(DeductiveKnowledgeBase kb, PlFormula f)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceReasoner<java.lang.Double,DeductiveKnowledgeBase,PlFormula>
- Parameters:
kb
- a belief basef
- a formula- Returns:
- the answer to the query
-
-