Class SerialisableRankingReasoner

All Implemented Interfaces:
ModelProvider<Argument,DungTheory,LatticePartialOrder<Argument,DungTheory>>, PostulateEvaluatable<Argument>

public class SerialisableRankingReasoner extends AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>
Implements the serialisable ranking semantics from [Blümel, Thimm. A Ranking Semantics for Abstract Argumentation based on Serialisability. In COMMA'22, 2022.]
Author:
Matthias Thimm
  • Constructor Details

    • SerialisableRankingReasoner

      public SerialisableRankingReasoner()
      Creates a new serialisable ranking reasoner that uses SimpleInitialReasoner for determining initial sets.
    • SerialisableRankingReasoner

      public SerialisableRankingReasoner(AbstractExtensionReasoner initialSetReasoner)
      Creates a new serialisable ranking reasoner that uses the given reasoner for determining initial sets (this object should return all initial sets via getModels().
      Parameters:
      initialSetReasoner - some initial set reasoner
  • Method Details