Class GrossiModgilRankingReasoner

    • Constructor Detail

      • GrossiModgilRankingReasoner

        public GrossiModgilRankingReasoner()
    • Method Detail

      • numOfAttackers

        private int numOfAttackers​(DungTheory theory,
                                   Argument y,
                                   java.util.Collection<Argument> x)
        Determines the number of attackers from x to y.
        Parameters:
        theory - a Dung theory.
        y - some argument
        x - some set of arguments
        Returns:
        the number of attackers from x to y.
      • gradedDefense

        public java.util.Collection<Argument> gradedDefense​(DungTheory theory,
                                                            java.util.Collection<Argument> args,
                                                            int m,
                                                            int n)
        Implements the graded defense function from Def. 5, i.e. gradedDefense_m_n(X) = { x | there are not more than m different y s.t. y attacks x and there are not more than n different z s.t. z attacks y and z is in X}
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer (indicating the number of attackers)
        n - some integer (indicating the number of attackers of attackers)
        Returns:
        the set of arguments mn-defended by the given set of arguments
      • gradedNeutrality

        public java.util.Collection<Argument> gradedNeutrality​(DungTheory theory,
                                                               java.util.Collection<Argument> args,
                                                               int m)
        Implements the graded neutrality function from Def. 6, i.e. gradedNeutrality_m(X) = {x | there are less than m arguments y from X that attack x}
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer (the number of attackers)
        Returns:
        the set of arguments m-neutral to args.
      • isMConflictFree

        public boolean isMConflictFree​(DungTheory theory,
                                       java.util.Collection<Argument> args,
                                       int m)
        Checks whether the given set of arguments is m-conflict-free, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        Returns:
        "true" iff args is m-conflict-free
      • isMNAdmissible

        public boolean isMNAdmissible​(DungTheory theory,
                                      java.util.Collection<Argument> args,
                                      int m,
                                      int n)
        Checks whether the given set of arguments is mn-admissible, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        n - some integer
        Returns:
        "true" iff args is mn-admissible
      • isMNComplete

        public boolean isMNComplete​(DungTheory theory,
                                    java.util.Collection<Argument> args,
                                    int m,
                                    int n)
        Checks whether the given set of arguments is mn-complete, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        n - some integer
        Returns:
        "true" iff args is mn-complete
      • isMStable

        public boolean isMStable​(DungTheory theory,
                                 java.util.Collection<Argument> args,
                                 int m)
        Checks whether the given set of arguments is m-stable, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        Returns:
        "true" iff args is m-stable
      • isMNGrounded

        public boolean isMNGrounded​(DungTheory theory,
                                    java.util.Collection<Argument> args,
                                    int m,
                                    int n)
        Checks whether the given set of arguments is mn-grounded, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        n - some integer
        Returns:
        "true" iff args is mn-grounded
      • isMNPreferred

        public boolean isMNPreferred​(DungTheory theory,
                                     java.util.Collection<Argument> args,
                                     int m,
                                     int n)
        Checks whether the given set of arguments is mn-preferred, cf. Def. 9.
        Parameters:
        theory - a Dung theory
        args - some set of arguments
        m - some integer
        n - some integer
        Returns:
        "true" iff args is mn-preferred
      • getAllMNCompleteExtensions

        public java.util.Collection<Extension> getAllMNCompleteExtensions​(DungTheory theory,
                                                                          int m,
                                                                          int n)
        Returns all mn-complete extensions.
        Parameters:
        theory - a Dung theory
        m - some integer
        n - some integer
        Returns:
        all mn-complete extensions.
      • getAllMNPreferredExtensions

        public java.util.Collection<Extension> getAllMNPreferredExtensions​(DungTheory theory,
                                                                           int m,
                                                                           int n)
        Returns all mn-preferred extensions.
        Parameters:
        theory - a Dung theory
        m - some integer
        n - some integer
        Returns:
        all mn-preferred extensions.
      • getAllMNGroundedExtensions

        public java.util.Collection<Extension> getAllMNGroundedExtensions​(DungTheory theory,
                                                                          int m,
                                                                          int n)
        Returns all mn-grounded extensions.
        Parameters:
        theory - a Dung theory
        m - some integer
        n - some integer
        Returns:
        all mn-grounded extensions.
      • getAllMStableExtensions

        public java.util.Collection<Extension> getAllMStableExtensions​(DungTheory theory,
                                                                       int m)
        Returns all m-stable extensions.
        Parameters:
        theory - a Dung theory
        m - some integer
        Returns:
        all m-stable extensions.
      • isContainedInAll

        private boolean isContainedInAll​(Argument y,
                                         java.util.Collection<Extension> exts)
        Checks whether the given argument "y" is contained in all sets of arguments in "args".
        Parameters:
        y - some argument
        exts - some set of sets of arguments
        Returns:
        "true" iff the given argument "y" is contained in all sets of arguments in "args".
      • 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 bbase)
        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:
        bbase - some belief base
        Returns:
        a selected model of the belief base.