Class StratifiedLabelingReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,StratifiedLabeling>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class StratifiedLabelingReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,StratifiedLabeling>
This class implements a stratified labeling reasoner.
Author:
Matthias Thimm
  • Constructor Details

    • StratifiedLabelingReasoner

      public StratifiedLabelingReasoner(Semantics semantics)
      Creates a new reasoner for the given semantics.
      Parameters:
      semantics - a semantics
    • StratifiedLabelingReasoner

      public StratifiedLabelingReasoner()
      Creates a new reasoner using sceptical inference and grounded semantics.
  • Method Details