Package | Description |
---|---|
net.sf.tweety.arg.dung.reasoner | |
net.sf.tweety.arg.dung.semantics |
Modifier and Type | Method and Description |
---|---|
ArgumentRanking |
GrossiModgilRankingReasoner.getModel(DungTheory bbase) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ArgumentRanking> |
GrossiModgilRankingReasoner.getModels(DungTheory bbase) |
Modifier and Type | Class and Description |
---|---|
class |
LatticeArgumentRanking
This class models argument ranking by representing the acceptability of arguments in
a graph-based structure.
|
class |
NumericalArgumentRanking
This class provides a acceptability interpretation of arguments by
assigning them real values where larger values indicate more acceptability.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ArgumentRanking.isEquivalent(ArgumentRanking other,
java.util.Collection<Argument> args)
Checks whether this ranking is equivalent to the other one wrt.
|