Package net.sf.tweety.arg.deductive.reasoner

Class SimpleDeductiveReasoner

java.lang.Object

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

net.sf.tweety.arg.deductive.reasoner.SimpleDeductiveReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.Reasoner<Double,DeductiveKnowledgeBase,net.sf.tweety.logics.pl.syntax.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
protected ArgumentTree	getArgumentTree(DeductiveKnowledgeBase kb, DeductiveArgument arg)	Computes the argument tree of the given argument.

Methods inherited from class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

query

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

getArgumentTree

protected ArgumentTree getArgumentTree(DeductiveKnowledgeBase kb,
                                       DeductiveArgument arg)

Description copied from class: AbstractDeductiveArgumentationReasoner

Computes the argument tree of the given argument.

Specified by:

getArgumentTree in class AbstractDeductiveArgumentationReasoner

Parameters:

kb - a knowledge base

arg - some argument.

Returns:

the argument tree for the argument