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