| Package | Description |
|---|---|
| net.sf.tweety.arg.aspic | |
| net.sf.tweety.arg.aspic.order | |
| net.sf.tweety.arg.aspic.semantics | |
| net.sf.tweety.arg.aspic.syntax |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Comparator<AspicArgument<T>> |
AspicArgumentationTheory.order
An order over this system's arguments, needed for their defeat relation
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<AspicArgument<T>> |
AspicArgumentationTheory.getArguments()
Expands this systems's inference rules into a tree arguments
|
java.util.Comparator<AspicArgument<T>> |
AspicArgumentationTheory.getOrder() |
| Modifier and Type | Method and Description |
|---|---|
void |
AspicArgumentationTheory.setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the arguments
|
| Modifier and Type | Method and Description |
|---|---|
int |
WeakestLinkOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
WeakestLinkOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
SimpleAspicOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
SimpleAspicOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
LastLinkOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
LastLinkOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Comparator<AspicArgument<T>> |
AspicAttack.order
The binary ordring to determine if attacks are successfull
|
| Modifier and Type | Method and Description |
|---|---|
int |
SimpleAspicOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
int |
SimpleAspicOrder.compare(AspicArgument<T> a,
AspicArgument<T> b) |
| Modifier and Type | Method and Description |
|---|---|
static <T extends Invertable> |
AspicAttack.determineAttackRelations(java.util.Collection<AspicArgument<T>> args,
java.util.Comparator<AspicArgument<T>> order,
RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of arguments
|
static <T extends Invertable> |
AspicAttack.determineAttackRelations(java.util.Collection<AspicArgument<T>> args,
java.util.Comparator<AspicArgument<T>> order,
RuleFormulaGenerator<T> rfgen)
Checks for defeats in a list of arguments
|
void |
AspicAttack.setOrder(java.util.Comparator<AspicArgument<T>> order)
Set an order for the arguments to determine if an attack ends in an defeat
|
| Constructor and Description |
|---|
AspicAttack(AspicArgument<T> active,
AspicArgument<T> passive)
Creates a new AspicAttack
|
AspicAttack(AspicArgument<T> active,
AspicArgument<T> passive)
Creates a new AspicAttack
|
| Modifier and Type | Field and Description |
|---|---|
private java.util.List<AspicArgument<T>> |
AspicArgument.directsubs
The argument's direct children, whose conclusions fit its prerequisites
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<AspicArgument<T>> |
AspicArgument.getAllSubs()
returns the Subs according to the ASPIC+ specification
|
java.util.Collection<AspicArgument<T>> |
AspicArgument.getDefeasibleSubs()
Determines subarguments with defeasible toprules, premises do not count as subrules
|
java.util.Collection<AspicArgument<T>> |
AspicArgument.getDirectSubs()
The argument's direct children, whose conclusions fit its prerequisites
|
java.util.Collection<AspicArgument<T>> |
AspicArgument.getOrdinaryPremises() |
| Modifier and Type | Method and Description |
|---|---|
void |
AspicArgument.addDirectSub(AspicArgument<T> sub)
Adds a subargument
|
boolean |
AspicArgument.isSubArgumentOf(AspicArgument<T> arg)
Checks wheter this is a direct or indirect subargument of
arg |
| Constructor and Description |
|---|
AspicArgument(DigraphNode<InferenceRule<T>> node,
java.util.Collection<AspicArgument<T>> as)
Creates an new argument with and all of its subarguments and adds them to as
|