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 abstract argumentation frameworks with a characteristic structure for skeptical reasoning tasks under preferred semantics.

See Kuhlmann, Wujek, and 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)
    Creates a new KWT Dung theory generator.

  • 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)
      Creates a new KWT Dung theory generator.
      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 - ideal attacked probability
      p_ideal_attack_back - ideal attacked-back probability
      p_other_skept_args_attacked - skeptical attacked-back probability
      p_other_skept_args_attack_back - skeptical attacked-args-back probability
      p_cred_args_attacked - credulous args attacked probability
      p_cred_args_attack_back - credulous args attack-back probability
      p_other_attacks - other attack probability

  • Method Details