Package org.tweetyproject.arg.dung.reasoner.serialisable

Class SerialisableExtensionReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.serialisable.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, Julian Sander

  • Constructor Details

    • SerialisableExtensionReasoner

      public SerialisableExtensionReasoner(Semantics semantics)
      Parameters:
      semantics - Semantics used to generate the extensions found during the examination.

  • Method Details

    • 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

    • 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.

    • 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

    • getModelsGraph

      public SerialisationGraph getModelsGraph(DungTheory bbase)
      Creates a graph, visualizing the transition states of the serialisation process, which creates all serialisable extensions according to the specified semantics of the specified framework.
      Parameters:
      bbase - Argumentation framework, for which the extensions shall be computed.
      Returns:
      Graph showing the serialisation process.

    • getModelsSequences

      public HashSet<SerialisationSequence> getModelsSequences(DungTheory bbase)
      Creates a set of sequences, each sequences is showing the serialisation path to generate the final extension regarding the semantics of the reasoner.
      Parameters:
      bbase - Argumentation framework, for which the extensions shall be computed.
      Returns:
      Set of sequences tracing the serialisation process for each final extension

    • getSemantics

      public Semantics getSemantics()
      Returns:
      Semantics used to generate the extensions found during the examination.

    • 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(DungTheory reducedFramework, Extension<DungTheory> constructedExtension)
      Checks whether the current state satisfies some condition, i.e. its extension can be accepted by the corresponding semantics
      Parameters:
      reducedFramework - The current framework of the transition system
      constructedExtension - The extension constructed so far.
      Returns:
      true, if the state satisfies the condition