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
|