Package org.tweetyproject.arg.adf.reasoner

Class PreferredReasoner

java.lang.Object
org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
org.tweetyproject.arg.adf.reasoner.PreferredReasoner
All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, QualitativeReasoner<AbstractDialecticalFramework,Argument>, Reasoner<Boolean,AbstractDialecticalFramework,Argument>
@Deprecated(forRemoval=true, since="1.19") public class PreferredReasoner extends AbstractDialecticalFrameworkReasoner
Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, marked for removal in future versions
This class implements a reasoner for preferred semantics in Abstract Dialectical Frameworks (ADFs). It utilizes a SAT solver to compute preferred interpretations.

This class is deprecated and will be removed in future versions. Use the more updated reasoner classes instead.

Author:
Mathias Hofer

  • Constructor Details

    • PreferredReasoner

      public PreferredReasoner(IncrementalSatSolver solver)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Constructs a PreferredReasoner with the given SAT solver.
      Parameters:
      solver - the underlying SAT solver used to compute the preferred interpretations