Package org.tweetyproject.arg.dung.util

Class KwtDungTheoryGenerator

java.lang.Object

org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator

All Implemented Interfaces:

Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,DungTheory>

public class KwtDungTheoryGenerator
extends Object
implements DungTheoryGenerator

Creates AAFs with a complex structure for tasks related to skeptical reasoning wrt. preferred semantics, see [Kuhlmann, Wujek, Thimm, 2022]

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
KwtDungTheoryGenerator(int num_arguments, int num_skept_arguments, int size_ideal_extension, int num_cred_arguments, int num_pref_exts, double p_ideal_attacked, double p_ideal_attack_back, double p_other_skept_args_attacked, double p_other_skept_args_attack_back, double p_cred_args_attacked, double p_cred_args_attack_back, double p_other_attacks)

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
DungTheory	next()
DungTheory	next(Argument arg)	Generates a new Dung theory where the given argument is enforced to be in the grounded extension
void	setSeed(long seed)	Set the seed for the generation.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

KwtDungTheoryGenerator

public KwtDungTheoryGenerator(int num_arguments,
 int num_skept_arguments,
 int size_ideal_extension,
 int num_cred_arguments,
 int num_pref_exts,
 double p_ideal_attacked,
 double p_ideal_attack_back,
 double p_other_skept_args_attacked,
 double p_other_skept_args_attack_back,
 double p_cred_args_attacked,
 double p_cred_args_attack_back,
 double p_other_attacks)

Parameters:

num_arguments - nr of args

num_skept_arguments - nr of skeptical args

size_ideal_extension - size of ideal extension

num_cred_arguments - nr of credulous args

num_pref_exts - nums of preferred extensions

p_ideal_attacked - idel attacked

p_ideal_attack_back - ideal aattcked back

p_other_skept_args_attacked - skeptical attacked back

p_other_skept_args_attack_back - skeptical attacked args back

p_cred_args_attacked - credulous args attacked

p_cred_args_attack_back - creduous args attack back

p_other_attacks - other attack

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface BeliefSetIterator<Argument,DungTheory>

Specified by:

hasNext in interface DungTheoryGenerator

Specified by:

hasNext in interface Iterator<DungTheory>

next

public DungTheory next()

Specified by:

next in interface BeliefSetIterator<Argument,DungTheory>

Specified by:

next in interface DungTheoryGenerator

Specified by:

next in interface Iterator<DungTheory>

next

public DungTheory next(Argument arg)

Description copied from interface: DungTheoryGenerator

Generates a new Dung theory where the given argument is enforced to be in the grounded extension

Specified by:

next in interface DungTheoryGenerator

Parameters:

arg - an argument that is enforced to be in the grounded extension of the generated theory.

Returns:

a Dung theory,

setSeed

public void setSeed(long seed)

Description copied from interface: DungTheoryGenerator

Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.

Specified by:

setSeed in interface DungTheoryGenerator

Parameters:

seed - some seed.