Class DiscussionBasedRankingReasoner

java.lang.Object
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticeArgumentRanking>
org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,LatticeArgumentRanking>, PostulateEvaluatable<Argument>

public class DiscussionBasedRankingReasoner extends AbstractRankingReasoner<LatticeArgumentRanking>
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]. It compares arguments by counting the number of paths ending to to them. If some arguments are equivalent wrt. to their number of direct attackers, the size of paths is increased recursively until a difference is found.
Author:
Anna Gessler
  • Constructor Details

    • DiscussionBasedRankingReasoner

      public DiscussionBasedRankingReasoner()
  • Method Details

    • getModels

      public Collection<LatticeArgumentRanking> getModels(DungTheory bbase)
      Description copied from interface: ModelProvider
      Returns a characterizing model of the given belief base
      Parameters:
      bbase - some belief base
      Returns:
      the (selected) models of the belief base
    • getModel

      public LatticeArgumentRanking getModel(DungTheory kb)
      Description copied from interface: ModelProvider
      Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
      Parameters:
      kb - some belief base
      Returns:
      a selected model of the belief base.
    • getNumberOfPathsOfLength

      public int getNumberOfPathsOfLength(DungTheory base, Argument a, int i)
      Returns the number of linear discussions of the given length in the given DungTheory for the given argument.
      Parameters:
      base - the abstract argumentation framework
      a - an argument
      i - length of linear discussions
      Returns:
      the number of linear discussions of the given length
    • isInstalled

      public boolean isInstalled()
      natively installed
      Specified by:
      isInstalled in class AbstractRankingReasoner<LatticeArgumentRanking>