RaAdditionOfDefenseBranch

java.lang.Object
- net.sf.tweety.arg.rankings.postulates.RankingPostulate
- - net.sf.tweety.arg.rankings.postulates.RaAdditionOfDefenseBranch

All Implemented Interfaces:

Postulate<Argument>
```
public class RaAdditionOfDefenseBranch
extends RankingPostulate
```
The "addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet. A Comparative Study of Ranking-Based Semantics for Abstract Argumentation. 2016]: Adding a defense branch to any attacked argument improves its ranking.

Author:

Anna Gessler

See Also:

RaStrictAdditionOfDefenseBranch

Field Summary
- Fields inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
  ABSTRACTION, ADDITIONOFATTACKBRANCH, ADDITIONOFDEFENSEBRANCH, ATTACKVSFULLDEFENSE, CARDINALITYPRECEDENCE, INDEPENDENCE, NONATTACKEDEQUIVALENCE, QUALITYPRECEDENCE, SELFCONTRADICTION, STRICTADDITIONOFDEFENSEBRANCH, TOTAL, VOIDPRECEDENCE

Constructor Summary

Constructors
Constructor Description

RaAdditionOfDefenseBranch()

Method Summary

Modifier and Type	Method	Description
`java.lang.String`	`getName()`	The textual name of the postulate
`boolean`	`isApplicable(java.util.Collection<Argument> kb)`	The INCREASEOFDEFENSEBRANCH postulate
`boolean`	`isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)`

Methods inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
isSatisfied

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - RaAdditionOfDefenseBranch
```
public RaAdditionOfDefenseBranch()
```
- Method Detail
  - getName
```
public java.lang.String getName()
```
    Description copied from interface: Postulate
    
    The textual name of the postulate
    
    Returns:
    
    a string
  - isApplicable
```
public boolean isApplicable(java.util.Collection<Argument> kb)
```
    Description copied from class: RankingPostulate
    
    The INCREASEOFDEFENSEBRANCH postulate
    
    Specified by:
    
    isApplicable in interface Postulate<Argument>
    
    Specified by:
    
    isApplicable in class RankingPostulate
    
    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,
                           AbstractRankingReasoner<ArgumentRanking> ev)
```
    Specified by:
    
    isSatisfied in class RankingPostulate