Package org.tweetyproject.arg.adf.reasoner

Class AbstractDialecticalFrameworkReasoner

java.lang.Object
org.tweetyproject.arg.adf.reasoner.AbstractADFReasoner
org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, QualitativeReasoner<AbstractDialecticalFramework,Argument>, Reasoner<Boolean,AbstractDialecticalFramework,Argument>
Direct Known Subclasses:
AdmissibleReasoner, CompleteReasoner, ConflictFreeReasoner, GroundReasoner, ModelReasoner, NaiveReasoner, PreferredReasoner, StableReasoner
@Deprecated(forRemoval=true, since="1.19") public abstract class AbstractDialecticalFrameworkReasoner extends AbstractADFReasoner
Deprecated, for removal: This API element is subject to removal in a future version.
use AbstractDialecticalFramework.query() instead
Ancestor class for ADF reasoners backed by an incremental SAT solver.

  • Constructor Details

    • AbstractDialecticalFrameworkReasoner

      public AbstractDialecticalFrameworkReasoner(IncrementalSatSolver solver)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Creates a new abstract dialectical framework reasoner.
      Parameters:
      solver - the SAT solver used for model enumeration

  • Method Details

    • skepticalQuery

      public boolean skepticalQuery(AbstractDialecticalFramework adf, Argument argument)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Checks whether the given argument is accepted under skeptical semantics.
      Parameters:
      adf - the ADF to query
      argument - the argument to check
      Returns:
      true iff all models satisfy the argument

    • credulousQuery

      public boolean credulousQuery(AbstractDialecticalFramework adf, Argument argument)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Checks whether the given argument is accepted under credulous semantics.
      Parameters:
      adf - the ADF to query
      argument - the argument to check
      Returns:
      true iff at least one model satisfies the argument

    • getModels

      public Collection<Interpretation> getModels(AbstractDialecticalFramework adf)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns all models of the given ADF.
      Parameters:
      adf - the ADF to query
      Returns:
      all models of the ADF

    • getModel

      public Interpretation getModel(AbstractDialecticalFramework adf)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns one model of the given ADF, if available.
      Specified by:
      getModel in interface ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
      Overrides:
      getModel in class AbstractADFReasoner
      Parameters:
      adf - the ADF to query
      Returns:
      one model of the ADF or null if none exist

    • modelIterator

      public Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Returns an iterator over all models of the given ADF.
      Parameters:
      adf - the ADF to query
      Returns:
      an iterator over all models