Package net.sf.tweety.arg.rankings.postulates

Class RankingPostulate

java.lang.Object

net.sf.tweety.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 java.lang.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 RankingPostulate	ABSTRACTION	The ABSTRACTION postulate
static RankingPostulate	ADDITIONOFATTACKBRANCH	The ADDITIONOFATTACKBRANCH postulate
static RankingPostulate	ADDITIONOFDEFENSEBRANCH	The ADDITIONOFDEFENSEBRANCH postulate
static RankingPostulate	ATTACKVSFULLDEFENSE	The ATTACKVSFULLDEFENSE postulate
static RankingPostulate	CARDINALITYPRECEDENCE	The CARDINALITYPRECEDENCE postulate
static RankingPostulate	COUNTERTRANSITIVITY	The COUNTERTRANSITIVITY postulate
static RankingPostulate	DEFENSEPRECEDENCE	The DEFENSEPRECEDENCE postulate
static RankingPostulate	DISTDEFENSEPRECEDENCE	The DISTDEFENSEPRECEDENCE postulate
static RankingPostulate	INCREASEOFATTACKBRANCH	The INCREASEOFATTACKBRANCH postulate
static RankingPostulate	INCREASEOFDEFENSEBRANCH	The INCREASEOFDEFENSEBRANCH postulate
static RankingPostulate	INDEPENDENCE	The INDEPENDENCE postulate
static RankingPostulate	NONATTACKEDEQUIVALENCE	The NONATTACKEDEQUIVALENCE postulate
static RankingPostulate	QUALITYPRECEDENCE	The QUALITYPRECEDENCE postulate
static RankingPostulate	SELFCONTRADICTION	The SELFCONTRADICTION postulate
static RankingPostulate	STRICTADDITIONOFDEFENSEBRANCH	The STRICTADDITIONOFDEFENSEBRANCH postulate
static RankingPostulate	STRICTCOUNTERTRANSITIVITY	The STRICTCOUNTERTRANSITIVITY postulate
static RankingPostulate	TOTAL	The TOTAL postulate
static RankingPostulate	VOIDPRECEDENCE	The VOIDPRECEDENCE postulate

Constructor Summary

Constructors

Constructor	Description
RankingPostulate()

Method Summary

Modifier and Type	Method	Description
abstract boolean	isApplicable(java.util.Collection<Argument> kb)	Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
abstract boolean	isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean	isSatisfied(java.util.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

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

Methods inherited from interface net.sf.tweety.commons.postulates.Postulate

getName

Field Detail

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 Detail

RankingPostulate

public RankingPostulate()

Method Detail

isApplicable

public abstract boolean isApplicable(java.util.Collection<Argument> kb)

Description copied from interface: Postulate

Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).

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.

isSatisfied

public boolean isSatisfied(java.util.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(java.util.Collection<Argument> kb,
                                    AbstractRankingReasoner<ArgumentRanking> ev)