Package org.tweetyproject.arg.dung.reasoner

Class OrderingSemanticsReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.OrderingSemanticsReasoner
public class OrderingSemanticsReasoner extends Object
Reasoner for ordering semantics
Author:
Lars Bengel

  • Constructor Details

  • Method Details

    • getModels

      public List<Collection<Collection<Argument>>> getModels(DungTheory theory) throws InvocationTargetException, IllegalAccessException
      compute the ordering over all subsets of theory wrt. to the ordering semantics this is done by counting the attacks in a theoretical meta graph, where directed edges represent subset relations over the semantics compare sets.
      Parameters:
      theory - a dung theory
      Returns:
      a list representing the ordering of all subsets of the given graph wrt. the ordering semantics
      Throws:
      InvocationTargetException - should never happen
      IllegalAccessException - should never happen

    • getEmpty

      public Collection<Argument> getEmpty(Extension ext, DungTheory theory)
      dummy method used if only one ordering semantics is specified
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      always return empty set

    • getConflicts

      public Collection<Argument> getConflicts(Extension<DungTheory> ext, DungTheory theory)
      computes the set of conflicts occurring inside ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of conflict in ext

    • getUndefended

      public Collection<Argument> getUndefended(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments in ext, which are not defended by ext against outside attackers
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in ext which are not defended by ext

    • getUnattacked

      public Collection<Argument> getUnattacked(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments outside of ext, which are not attacked by ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in theory \ ext which are not attacked by ext

    • getDefendedNotIn

      public Collection<Argument> getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments outside of ext, which are defended by ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in theory \ ext which are defended by ext

    • show

      public void show(DungTheory theory) throws InvocationTargetException, IllegalAccessException
      print out table showing the sets according to the given ordering semantics
      Parameters:
      theory - a dung theory
      Throws:
      InvocationTargetException - should never happen
      IllegalAccessException - should never happen

    • isInstalled

      public boolean isInstalled()
      this method always returns true because the solver is native