Package org.tweetyproject.arg.rankings.postulates

Class RankingPostulate

java.lang.Object

org.tweetyproject.arg.rankings.postulates.RankingPostulate

All Implemented Interfaces:

Postulate<Argument>

Direct Known Subclasses:

RaAbstraction, RaAdditionOfAttackBranch, RaAdditionOfDefenseBranch, RaAttackVsFullDefense, RaCardinalityPrecedence, RaCounterTransitivity, RaDefensePrecedence, RaDistDefensePrecedence, RaIncreaseOfAttackBranch, RaIncreaseOfDefenseBranch, RaIndependence, RaNonAttackedEquivalence, RaQualityPrecedence, RaSelfContradiction, RaStrictAdditionOfDefenseBranch, RaStrictCounterTransitivity, RaTotal, RaVoidPrecedence

public abstract class RankingPostulate
extends Object
implements Postulate<Argument>

An abstract postulate for ranking-based semantics in abstract argumentation; the ancestor of all concrete postulates.

Author:

Anna Gessler, Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static final RankingPostulate	ABSTRACTION	The ABSTRACTION postulate
static final RankingPostulate	ADDITIONOFATTACKBRANCH	The ADDITIONOFATTACKBRANCH postulate
static final RankingPostulate	ADDITIONOFDEFENSEBRANCH	The ADDITIONOFDEFENSEBRANCH postulate
static final RankingPostulate	ATTACKVSFULLDEFENSE	The ATTACKVSFULLDEFENSE postulate
static final RankingPostulate	CARDINALITYPRECEDENCE	The CARDINALITYPRECEDENCE postulate
static final RankingPostulate	COUNTERTRANSITIVITY	The COUNTERTRANSITIVITY postulate
static final RankingPostulate	DEFENSEPRECEDENCE	The DEFENSEPRECEDENCE postulate
static final RankingPostulate	DISTDEFENSEPRECEDENCE	The DISTDEFENSEPRECEDENCE postulate
static final RankingPostulate	INCREASEOFATTACKBRANCH	The INCREASEOFATTACKBRANCH postulate
static final RankingPostulate	INCREASEOFDEFENSEBRANCH	The INCREASEOFDEFENSEBRANCH postulate
static final RankingPostulate	INDEPENDENCE	The INDEPENDENCE postulate
static final RankingPostulate	NONATTACKEDEQUIVALENCE	The NONATTACKEDEQUIVALENCE postulate
static final RankingPostulate	QUALITYPRECEDENCE	The QUALITYPRECEDENCE postulate
static final RankingPostulate	SELFCONTRADICTION	The SELFCONTRADICTION postulate
static final RankingPostulate	STRICTADDITIONOFDEFENSEBRANCH	The STRICTADDITIONOFDEFENSEBRANCH postulate
static final RankingPostulate	STRICTCOUNTERTRANSITIVITY	The STRICTCOUNTERTRANSITIVITY postulate
static final RankingPostulate	TOTAL	The TOTAL postulate
static final RankingPostulate	VOIDPRECEDENCE	The VOIDPRECEDENCE postulate

Constructor Summary

Constructors

Constructor	Description
RankingPostulate()	Default Constructor

Method Summary

Modifier and Type	Method	Description
abstract boolean	isApplicable(Collection<Argument> kb)	(non-Javadoc)
abstract boolean	isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument,DungTheory>> ev)	Return status
boolean	isSatisfied(Collection<Argument> kb, PostulateEvaluatable<Argument> ev)	Checks whether this postulate is satisfied by the given approach ev wrt.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.tweetyproject.commons.postulates.Postulate

getName

Field Details

ABSTRACTION

public static final RankingPostulate ABSTRACTION

The ABSTRACTION postulate

ADDITIONOFATTACKBRANCH

public static final RankingPostulate ADDITIONOFATTACKBRANCH

The ADDITIONOFATTACKBRANCH postulate

ADDITIONOFDEFENSEBRANCH

public static final RankingPostulate ADDITIONOFDEFENSEBRANCH

The ADDITIONOFDEFENSEBRANCH postulate

ATTACKVSFULLDEFENSE

public static final RankingPostulate ATTACKVSFULLDEFENSE

The ATTACKVSFULLDEFENSE postulate

CARDINALITYPRECEDENCE

public static final RankingPostulate CARDINALITYPRECEDENCE

The CARDINALITYPRECEDENCE postulate

COUNTERTRANSITIVITY

public static final RankingPostulate COUNTERTRANSITIVITY

The COUNTERTRANSITIVITY postulate

DEFENSEPRECEDENCE

public static final RankingPostulate DEFENSEPRECEDENCE

The DEFENSEPRECEDENCE postulate

DISTDEFENSEPRECEDENCE

public static final RankingPostulate DISTDEFENSEPRECEDENCE

The DISTDEFENSEPRECEDENCE postulate

INCREASEOFATTACKBRANCH

public static final RankingPostulate INCREASEOFATTACKBRANCH

The INCREASEOFATTACKBRANCH postulate

INCREASEOFDEFENSEBRANCH

public static final RankingPostulate INCREASEOFDEFENSEBRANCH

The INCREASEOFDEFENSEBRANCH postulate

INDEPENDENCE

public static final RankingPostulate INDEPENDENCE

The INDEPENDENCE postulate

NONATTACKEDEQUIVALENCE

public static final RankingPostulate NONATTACKEDEQUIVALENCE

The NONATTACKEDEQUIVALENCE postulate

QUALITYPRECEDENCE

public static final RankingPostulate QUALITYPRECEDENCE

The QUALITYPRECEDENCE postulate

SELFCONTRADICTION

public static final RankingPostulate SELFCONTRADICTION

The SELFCONTRADICTION postulate

STRICTCOUNTERTRANSITIVITY

public static final RankingPostulate STRICTCOUNTERTRANSITIVITY

The STRICTCOUNTERTRANSITIVITY postulate

STRICTADDITIONOFDEFENSEBRANCH

public static final RankingPostulate STRICTADDITIONOFDEFENSEBRANCH

The STRICTADDITIONOFDEFENSEBRANCH postulate

TOTAL

public static final RankingPostulate TOTAL

The TOTAL postulate

VOIDPRECEDENCE

public static final RankingPostulate VOIDPRECEDENCE

The VOIDPRECEDENCE postulate

Constructor Details

RankingPostulate

public RankingPostulate()

Default Constructor

Method Details

isApplicable

public abstract boolean isApplicable(Collection<Argument> kb)

(non-Javadoc)

Specified by:

isApplicable in interface Postulate<Argument>

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)

isSatisfied

public boolean isSatisfied(Collection<Argument> kb,
 PostulateEvaluatable<Argument> ev)

Description copied from interface: Postulate

Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).

Specified by:

isSatisfied in interface Postulate<Argument>

Parameters:

kb - some knowledge base

ev - some approach

Returns:

true if the postulate is satisfied on the instance

isSatisfied

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

Return status

Parameters:

kb - kb

ev - ev

Returns:

status