Package net.sf.tweety.arg.rankings.reasoner

Class 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

    • Method Summary

      Modifier and Type Method Description
      LatticeArgumentRanking getModel​(DungTheory kb)
      Returns a single (dedicated) model of the given belief base.
      java.util.Collection<LatticeArgumentRanking> getModels​(DungTheory bbase)
      Returns a characterizing model of the given belief base
      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.
      java.util.HashSet<java.util.ArrayList<Argument>> getPathsOfHigherSize​(java.util.HashSet<java.util.ArrayList<Argument>> old_paths, DungTheory base)
      Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • DiscussionBasedRankingReasoner

        public DiscussionBasedRankingReasoner()

    • Method Detail

      • getModels

        public java.util.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

      • getPathsOfHigherSize

        public java.util.HashSet<java.util.ArrayList<Argument>> getPathsOfHigherSize​(java.util.HashSet<java.util.ArrayList<Argument>> old_paths,
                                                                             DungTheory base)
        Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.
        Parameters:
        old_paths - set of paths of length i-1
        base - the DungTheory
        Returns:
        a set of paths of length i