Package org.tweetyproject.arg.dung.divisions

Class Division

java.lang.Object
org.tweetyproject.commons.util.Pair<Extension<DungTheory>,Extension<DungTheory>>
org.tweetyproject.arg.dung.divisions.Division
All Implemented Interfaces:
Serializable
public class Division extends Pair<Extension<DungTheory>,Extension<DungTheory>>
A pair <P,V> is a division of AAF G w.r.t. semantics X iff there is an X-extension E such that P\subseteq E and E \cap V = {}, cf. [Hunter,Thimm,2014].
Author:
Matthias Thimm
See Also:

  • Constructor Details

    • Division

      public Division(Extension<DungTheory> p, Extension<DungTheory> v)
      Creates a new division for the given parameters.
      Parameters:
      p - some set of arguments.
      v - some set of arguments

  • Method Details

    • isValid

      public boolean isValid(Collection<Extension<DungTheory>> exts)
      Checks whether this division is valid wrt. some of the given extensions
      Parameters:
      exts - a collection of extensions.
      Returns:
      "true" if this division is valid.

    • isValid

      public boolean isValid(Extension<DungTheory> ext)
      Checks whether this division is valid wrt. the given extension.
      Parameters:
      ext - some extension
      Returns:
      "true" iff this division is valid.

    • getDividers

      public Collection<DungTheory> getDividers(DungTheory theory, Semantics semantics)
      Returns the dividers for this division, i.e. all sub-theories of the given theory such that this division is in that sub-theories set of divisions.
      Parameters:
      theory - some argumentation framework
      semantics - some semantics
      Returns:
      the set of dividers of this devision

    • getDivisions

      public static Collection<Division> getDivisions(Collection<Extension<DungTheory>> exts, DungTheory aaf)
      Returns all divisions of all given extensions and the given aaf.
      Parameters:
      exts - a collection of extensions.
      aaf - a Dung theory
      Returns:
      the set of divisions of all extensions returned by the given reasoner.

    • getDivisions

      public static Collection<Division> getDivisions(Extension<DungTheory> ext, DungTheory aaf)
      Returns all divisions of aaf that arise from the given extension.
      Parameters:
      ext - some extension
      aaf - some Dung theory
      Returns:
      the set of divisions of aaf that arise from the given extension.

    • isExhaustive

      public static boolean isExhaustive(Collection<Division> divisions, DungTheory theory, Semantics semantics)
      Checks whether the given set of divisions is exhaustive wrt. the given theory.
      Parameters:
      divisions - a set of divisions.
      theory - some aaf.
      semantics - some semantics
      Returns:
      "true" if the given set of divisions is exhaustive.

    • isDisjoint

      public static boolean isDisjoint(Collection<Division> divisions, DungTheory theory, Semantics semantics)
      Checks whether the given set o divisions is disjoint wrt. the given theory.
      Parameters:
      divisions - a set of divisions
      theory - some aaf
      semantics - some semantics
      Returns:
      "true" if the given set of divisions is disjoint.

    • getStandardDivisions

      public static Collection<Division> getStandardDivisions(DungTheory theory)
      Returns the standard set of divisions of the given argumentation theory, i.e. the set of all divisions of the form (A,Arg\A) where A\subseteq Arg and Arg is the set of arguments of the given theory.
      Parameters:
      theory - some theory.
      Returns:
      the standard set of divisions.