Class SerialisableExtensionReasoner

All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
Direct Known Subclasses:
SerialisedAdmissibleReasoner, SerialisedUnchallengedReasoner

public abstract class SerialisableExtensionReasoner extends AbstractExtensionReasoner
Abstract class for computing extensions via a serialised transition system to implement this class, you need to define a selection and a termination function Selection function a(UA, UC, C): selects and returns a subset of the initial sets Termination function b((AF, S)): If the given state satisfies a specific condition, its extension may be accepted by the associated serialised semantics
Author:
Lars Bengel
  • Constructor Details

    • SerialisableExtensionReasoner

      public SerialisableExtensionReasoner()
  • Method Details

    • selectionFunction

      public abstract Collection<Extension<DungTheory>> selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged)
      select a subset of the initial sets of the theory, i.e. the possible successor states
      Parameters:
      unattacked - the set of unattacked initial sets
      unchallenged - the set of unchallenged initial sets
      challenged - the set of challenged initial sets
      Returns:
      a subset of the initial sets of the theory, selected via a specific criteria
    • terminationFunction

      public abstract boolean terminationFunction(TransitionState state)
      Checks whether the current state satisfies some condition, i.e. its extension can be accepted by the corresponding semantics
      Parameters:
      state - the current state of the transition system
      Returns:
      true, if the state satisfies the condition
    • getModels

      public Collection<Extension<DungTheory>> getModels(DungTheory bbase)
      Description copied from interface: ModelProvider
      Returns a characterizing model of the given belief base
      Parameters:
      bbase - some belief base
      Returns:
      the (selected) models of the belief base
    • getModel

      public Extension<DungTheory> getModel(DungTheory bbase)
      Description copied from interface: ModelProvider
      Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
      Parameters:
      bbase - some belief base
      Returns:
      a selected model of the belief base.
    • getSerialisableReasonerForSemantics

      public static SerialisableExtensionReasoner getSerialisableReasonerForSemantics(Semantics semantics)
      Creates a reasoner for the given semantics.
      Parameters:
      semantics - a semantics
      Returns:
      a reasoner for the given Dung theory, inference type, and semantics