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

Class RankingPostulate

java.lang.Object

net.sf.tweety.arg.rankings.postulates.RankingPostulate

All Implemented Interfaces:

net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.Argument>

Direct Known Subclasses:

RaAbstraction, RaAdditionOfAttackBranch, RaAdditionOfDefenseBranch, RaAttackVsFullDefense, RaCardinalityPrecedence, RaIndependence, RaNonAttackedEquivalence, RaQualityPrecedence, RaSelfContradiction, RaStrictAdditionOfDefenseBranch, RaTotal, RaVoidPrecedence

public abstract class RankingPostulate
extends Object
implements net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.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	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	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(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb)	The INCREASEOFDEFENSEBRANCH postulate
abstract boolean	isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb, AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.ArgumentRanking> ev)
boolean	isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb, net.sf.tweety.commons.postulates.PostulateEvaluatable<net.sf.tweety.arg.dung.syntax.Argument> ev)

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

INDEPENDENCE

public static final RankingPostulate INDEPENDENCE

The INDEPENDENCE postulate

VOIDPRECEDENCE

public static final RankingPostulate VOIDPRECEDENCE

The VOIDPRECEDENCE postulate

SELFCONTRADICTION

public static final RankingPostulate SELFCONTRADICTION

The SELFCONTRADICTION postulate

CARDINALITYPRECEDENCE

public static final RankingPostulate CARDINALITYPRECEDENCE

The CARDINALITYPRECEDENCE postulate

TOTAL

public static final RankingPostulate TOTAL

The TOTAL postulate

NONATTACKEDEQUIVALENCE

public static final RankingPostulate NONATTACKEDEQUIVALENCE

The NONATTACKEDEQUIVALENCE postulate

QUALITYPRECEDENCE

public static final RankingPostulate QUALITYPRECEDENCE

The QUALITYPRECEDENCE postulate

ATTACKVSFULLDEFENSE

public static final RankingPostulate ATTACKVSFULLDEFENSE

The ATTACKVSFULLDEFENSE postulate

STRICTADDITIONOFDEFENSEBRANCH

public static final RankingPostulate STRICTADDITIONOFDEFENSEBRANCH

The STRICTADDITIONOFDEFENSEBRANCH postulate

ADDITIONOFDEFENSEBRANCH

public static final RankingPostulate ADDITIONOFDEFENSEBRANCH

The ADDITIONOFDEFENSEBRANCH postulate

ADDITIONOFATTACKBRANCH

public static final RankingPostulate ADDITIONOFATTACKBRANCH

The ADDITIONOFATTACKBRANCH postulate

Constructor Detail

RankingPostulate

public RankingPostulate()

Method Detail

isApplicable

public abstract boolean isApplicable(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb)

The INCREASEOFDEFENSEBRANCH postulate

Specified by:

isApplicable in interface net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.Argument>

isSatisfied

public boolean isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb,
                           net.sf.tweety.commons.postulates.PostulateEvaluatable<net.sf.tweety.arg.dung.syntax.Argument> ev)

Specified by:

isSatisfied in interface net.sf.tweety.commons.postulates.Postulate<net.sf.tweety.arg.dung.syntax.Argument>

isSatisfied

public abstract boolean isSatisfied(Collection<net.sf.tweety.arg.dung.syntax.Argument> kb,
                                    AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.ArgumentRanking> ev)