Class PropagationRankingReasoner

    • Constructor Detail

      • PropagationRankingReasoner

        public PropagationRankingReasoner​(boolean use_multiset)
        Creates a new PropagationRankingReasoner with the given parameters.
        Parameters:
        use_multiset - determines whether the multiset (M) of attackers/defenders of length is used instead of the set (S)
      • PropagationRankingReasoner

        public PropagationRankingReasoner​(double attacked_arguments_influence,
                                          boolean use_multiset,
                                          PropagationRankingReasoner.PropagationSemantics semantics)
        Creates a new PropagationRankingReasoner with the given parameters.
        Parameters:
        attacked_arguments_influence - the smaller this value is, the more important is the influence of the non-attacked arguments.
        use_multiset - determines whether the multiset (M) of attackers/defenders of length is used instead of the set (S)
        semantics - one of the three propagation semantics
    • 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.