Class MTRankingReasoner

    • Constructor Detail

      • MTRankingReasoner

        public MTRankingReasoner()
    • Method Detail

      • getModels

        public java.util.Collection<NumericalArgumentRanking> 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 NumericalArgumentRanking 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.
      • computeStrengthOfArgument

        public double computeStrengthOfArgument​(Argument a,
                                                DungTheory kb,
                                                java.util.Set<java.util.Set<Argument>> subsets)
        Computes the value of the zero-sum game for the given argument.
        Parameters:
        a - an Argument
        kb - DungTheory
        subsets - all subsets of the knowledge base
        Returns:
        strength value of the given argument
      • computeRewards

        public double computeRewards​(java.util.Collection<Argument> A,
                                     java.util.Collection<Argument> B,
                                     DungTheory kb)
        Computes the rewards of the given strategy (set of arguments).
        Parameters:
        A - set of arguments
        B - set of arguments
        kb - knowledge base containing the relations between A and B
        Returns:
        rewards of A
      • computeDegreeOfAcceptability

        public double computeDegreeOfAcceptability​(java.util.Collection<Argument> A,
                                                   java.util.Collection<Argument> B,
                                                   DungTheory kb)
        Computes the degree of acceptability of the strategy A wrt. strategy B.
        Parameters:
        A - set of arguments
        B - set of arguments
        kb - knowledge base containing the relations between A and B
        Returns:
        degree of acceptability of A wrt. B.