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 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()

  • Method Details

    • isApplicable

      public abstract boolean isApplicable(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(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)