Class RaCounterTransitivity

java.lang.Object
org.tweetyproject.arg.rankings.postulates.RankingPostulate
org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity
All Implemented Interfaces:
Postulate<Argument>

public class RaCounterTransitivity extends RankingPostulate
The "counter-transitivity" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]: If the direct attackers of an argument b are at least as numerous and acceptable as those of an argument a, then a is at least as acceptable as b.
Author:
Anna Gessler
  • Constructor Details

    • RaCounterTransitivity

      public RaCounterTransitivity()
  • Method Details