org.argkit.dung
Interface Reasoner<C>

Type Parameters:

C - (Argument's) claim class

All Known Implementing Classes:

AbstractReasoner, GroundedReasoner, PreferredCredulousReasoner

public interface Reasoner<C>

An argument game reasoner interface. A Reasoner uses an argument source and a defeat source to evaluate the acceptable status of a particular argument under a given semantics.

Author:

Matt South

Method Summary

ArgumentSource<C>	getArgumentSource() Access the Reasoner's argument source.
DefeatSource<C>	getDefeatSource() Access the Reasoner's defeat source.
Dialogue<C>	runArgumentGame(Argument<C> argument) Pass in a single argument to see if it is acceptable under the associated ArgumentSource and DefeatSource network, given the Reasoner's semantics.

Method Detail

getArgumentSource

ArgumentSource<C> getArgumentSource()

Access the Reasoner's argument source.

Returns:

Reasoner's argument source.

getDefeatSource

DefeatSource<C> getDefeatSource()

Access the Reasoner's defeat source.

Returns:

Reasoner's defeat source.

runArgumentGame

Dialogue<C> runArgumentGame(Argument<C> argument)
                            throws java.lang.NullPointerException,
                                   java.lang.IllegalArgumentException

Pass in a single argument to see if it is acceptable under the associated ArgumentSource and DefeatSource network, given the Reasoner's semantics.

Parameters:

argument - to be evaluated

Returns:

the dialogue proof arising from the argument dialogue game

Throws:

java.lang.NullPointerException - if the implementing class is missing an ArgumentSource or DefeatSource reference

java.lang.IllegalArgumentException - if the argument that is passed in is not available from the ArgumentSource.