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

Class SerialisedStronglyAdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner

org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner

org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedStronglyAdmissibleReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SerialisedStronglyAdmissibleReasoner
extends SerialisedAdmissibleReasoner

This class represents a reasoner to compute the extensions of the strongly admissible Semantics by serialising unattacked initial sets. A set of arguments E is strongly admissible iff every argument A in E is defended by some argument B in E \ {A}, which itself is strongly defended by E \ {A}, in other words, no argument in E is defended only by itself.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
SerialisedStronglyAdmissibleReasoner()	Initializes a SerialisableExtensionReasoner for the strongly admissible semantics

Method Summary

Modifier and Type	Method	Description
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 AF, i.e.

Methods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner

terminationFunction

Methods inherited from class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner

getModel, getModels, getSemantics, getSequences, getSerialisableReasonerForSemantics, getSerialisationGraph

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SerialisedStronglyAdmissibleReasoner

public SerialisedStronglyAdmissibleReasoner()

Initializes a SerialisableExtensionReasoner for the strongly admissible semantics

Method Details

selectionFunction

public 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 AF, i.e. the possible successor states

Overrides:

selectionFunction in class SerialisedAdmissibleReasoner

Parameters:

unattacked - the set of unattacked initial sets

unchallenged - the set of unchallenged initial sets

challenged - the set of challenged initial sets

Returns:

the set of unattacked initial sets