Package org.tweetyproject.arg.adf.reasoner.sat.execution

Interface Semantics

public interface Semantics
Provides access to the computational building blocks of SAT-based ADF semantics.
Author:
Mathias Hofer

  • Method Details

    • createDecomposer

      Decomposer createDecomposer()
      Creates the decomposer used by this semantics.
      Returns:
      the decomposer

    • createCandidateGenerator

      CandidateGenerator createCandidateGenerator(Supplier<SatSolverState> stateSupplier)
      Creates the candidate generator used by this semantics.
      Parameters:
      stateSupplier - supplier of SAT solver states
      Returns:
      the candidate generator

    • createStateProcessors

      List<StateProcessor> createStateProcessors()
      Creates the state processors used by this semantics.
      Returns:
      the state processors

    • createUnverifiedProcessor

      Optional<InterpretationProcessor> createUnverifiedProcessor(Supplier<SatSolverState> stateSupplier)
      Creates the processor applied before interpretations are verified.
      Parameters:
      stateSupplier - supplier of SAT solver states
      Returns:
      an optional pre-verification processor

    • hasStatefulVerifier

      default boolean hasStatefulVerifier()
      Returns whether this semantics uses a stateful verifier.
      Returns:
      true if this semantics uses a stateful verifier

    • createVerifier

      Optional<Verifier> createVerifier(Supplier<SatSolverState> stateSupplier)
      Creates a verifier, which acts as a filter.
      Parameters:
      stateSupplier - supplier of SAT solver states
      Returns:
      an optional verifier

    • createVerifiedProcessor

      Optional<InterpretationProcessor> createVerifiedProcessor(Supplier<SatSolverState> stateSupplier)
      Creates the processor applied after interpretations are verified.
      Parameters:
      stateSupplier - supplier of SAT solver states
      Returns:
      an optional post-verification processor

    • restrict

      Semantics restrict(Interpretation partial)
      Returns a restricted version of this semantics.
      Parameters:
      partial - the partial interpretation used for restriction
      Returns:
      a new Semantics instance

    • conflictFree

      static Semantics conflictFree(AbstractDialecticalFramework adf)
      Creates the conflict-free semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the conflict-free semantics

    • naive

      static Semantics naive(AbstractDialecticalFramework adf)
      Creates the naive semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the naive semantics

    • admissible

      static Semantics admissible(AbstractDialecticalFramework adf)
      Creates the admissible semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the admissible semantics

    • preferred

      static Semantics preferred(AbstractDialecticalFramework adf)
      Creates the preferred semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the preferred semantics

    • stable

      static Semantics stable(AbstractDialecticalFramework adf)
      Creates the stable semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the stable semantics

    • complete

      static Semantics complete(AbstractDialecticalFramework adf)
      Creates the complete semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the complete semantics

    • model

      static Semantics model(AbstractDialecticalFramework adf)
      Creates the model semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the model semantics

    • ground

      static Semantics ground(AbstractDialecticalFramework adf)
      Creates the grounded semantics for the given ADF.
      Parameters:
      adf - the ADF
      Returns:
      the grounded semantics