net.sf.tweety.arg.deductive

Class SimpleReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.deductive.AbstractDeductiveArgumentationReasoner

net.sf.tweety.arg.deductive.SimpleReasoner

public class SimpleReasoner
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 and Description
SimpleReasoner(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 ArgumentTree	getArgumentTree(DeductiveArgument arg) Computes the argument tree of the given argument.
private ArgumentTree	getArgumentTree(DeductiveArgumentNode argNode, java.util.Set<PropositionalFormula> support) Computes the argument tree of the given argument.

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

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

SimpleReasoner

public SimpleReasoner(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 ArgumentTree getArgumentTree(DeductiveArgument arg)

Description copied from class: AbstractDeductiveArgumentationReasoner

Computes the argument tree of the given argument.

Specified by:

getArgumentTree in class AbstractDeductiveArgumentationReasoner

Parameters:

arg - some argument.

Returns:

the argument tree for the argument

getArgumentTree

private ArgumentTree getArgumentTree(DeductiveArgumentNode argNode,
                                     java.util.Set<PropositionalFormula> support)

Computes the argument tree of the given argument.

Parameters:

argNode - some argument node.

support - the union of the supports of all previously encountered arguments

Returns:

the argument tree for the argument