Class RaSkeptSigmaCompatibility

java.lang.Object

org.tweetyproject.arg.rankings.postulates.RankingPostulate

org.tweetyproject.arg.rankings.postulates.RaSkeptSigmaCompatibility

All Implemented Interfaces:

Postulate<Argument>

public class RaSkeptSigmaCompatibility
extends RankingPostulate

Represents the Skeptical Sigma-Compatibility postulate for ranking-based argumentation frameworks.

The class can be instantiated with either a specific AbstractExtensionReasoner or a predefined Semantics to automatically derive a suitable reasoner.

See Also:

• RankingPostulate
• AbstractExtensionReasoner
• Semantics

Field Summary

Fields inherited from class org.tweetyproject.arg.rankings.postulates.RankingPostulate

ABSTRACTION, ADDITIONOFATTACKBRANCH, ADDITIONOFDEFENSEBRANCH, ATTACKVSFULLDEFENSE, CARDINALITYPRECEDENCE, COUNTERTRANSITIVITY, DEFENSEPRECEDENCE, DISTDEFENSEPRECEDENCE, INCREASEOFATTACKBRANCH, INCREASEOFDEFENSEBRANCH, INDEPENDENCE, NONATTACKEDEQUIVALENCE, QUALITYPRECEDENCE, SELFCONTRADICTION, STRICTADDITIONOFDEFENSEBRANCH, STRICTCOUNTERTRANSITIVITY, TOTAL, VOIDPRECEDENCE

Constructor Summary

Constructors

Constructor	Description
RaSkeptSigmaCompatibility(AbstractExtensionReasoner reasoner)	Constructs a RaSkeptSigmaCompatibility postulate with the specified extension reasoner.
RaSkeptSigmaCompatibility(Semantics semantics)	Constructs a RaSkeptSigmaCompatibility postulate using a specified semantics.

Method Summary

Modifier and Type	Method	Description
String	getName()	The textual name of the postulate
boolean	isApplicable(Collection<Argument> kb)	(non-Javadoc)
boolean	isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument,DungTheory>> ev)	Return status

Methods inherited from class org.tweetyproject.arg.rankings.postulates.RankingPostulate

isSatisfied

Methods inherited from class java.lang.Object

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

Constructor Details

RaSkeptSigmaCompatibility

public RaSkeptSigmaCompatibility(AbstractExtensionReasoner reasoner)

Constructs a RaSkeptSigmaCompatibility postulate with the specified extension reasoner.

Parameters:

reasoner - The AbstractExtensionReasoner used to compute extensions of the argumentation framework.

RaSkeptSigmaCompatibility

public RaSkeptSigmaCompatibility(Semantics semantics)

Constructs a RaSkeptSigmaCompatibility postulate using a specified semantics.

Parameters:

semantics - The Semantics defining the reasoning approach for argument evaluation.

Method Details

isApplicable

public boolean isApplicable(Collection<Argument> kb)

Description copied from class: RankingPostulate

(non-Javadoc)

Specified by:

isApplicable in interface Postulate<Argument>

Specified by:

isApplicable in class RankingPostulate

Parameters:

kb - some knowledge base

Returns:

true if the knowledge base is a non trivial instance of this postulate.

See Also:

• Postulate.isApplicable(java.util.Collection)

getName

public String getName()

Description copied from interface: Postulate

The textual name of the postulate

Returns:

a string

isSatisfied

public boolean isSatisfied(Collection<Argument> kb,
 AbstractRankingReasoner<GeneralComparator<Argument,DungTheory>> ev)

Description copied from class: RankingPostulate

Return status

Specified by:

isSatisfied in class RankingPostulate

Parameters:

kb - kb

ev - ev

Returns:

status