org.argkit.dung
Class PreferredCredulousReasoner<C>

java.lang.Object
  org.argkit.dung.AbstractReasoner<C>
      org.argkit.dung.PreferredCredulousReasoner<C>

Type Parameters:

C - argument's claim class

All Implemented Interfaces:

Reasoner<C>

public class PreferredCredulousReasoner<C>
extends AbstractReasoner<C>

Preferred Credulous Semantics Argument Game Reasoner.

• PRO may not attack it's own arguments.
• OPP may not repeat it's own arguments in a branch.

Log messages of the reasoning process are output at FINE level.

Author:

Matt South

Field Summary

Fields inherited from class org.argkit.dung.AbstractReasoner

argumentSource, defeatSource, logger

Constructor Summary

PreferredCredulousReasoner(ArgumentSource<C> source)

Method Summary

protected Dialogue<C>	calculate(Dialogue<C> dialogue, int level)
Dialogue<C>	runArgumentGame(Argument<C> argument) Throw error if there is no ArgumentSource or DefeatSource attached.

Methods inherited from class org.argkit.dung.AbstractReasoner

drawBranch, getArgumentSource, getDefeatSource, log, setArgumentSource, setDefeatSource

Methods inherited from class java.lang.Object

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

Constructor Detail

PreferredCredulousReasoner

public PreferredCredulousReasoner(ArgumentSource<C> source)

Method Detail

runArgumentGame

public Dialogue<C> runArgumentGame(Argument<C> argument)

Description copied from class: AbstractReasoner

Throw error if there is no ArgumentSource or DefeatSource attached. Throw error if the argument presented is not available in the ArgumentSource

Specified by:

runArgumentGame in interface Reasoner<C>

Overrides:

runArgumentGame in class AbstractReasoner<C>

Parameters:

argument - to be evaluated

Returns:

the dialogue proof arising from the argument dialogue game

calculate

protected Dialogue<C> calculate(Dialogue<C> dialogue,
                                int level)

Specified by:

calculate in class AbstractReasoner<C>