| Package | Description |
|---|---|
| net.sf.tweety.arg.lp | |
| net.sf.tweety.arg.lp.semantics | |
| net.sf.tweety.arg.lp.semantics.attack |
| Modifier and Type | Method and Description |
|---|---|
Set<Argument> |
ArgumentationKnowledgeBase.getArguments()
Returns all minimal arguments constructible from the extended logic program
|
Set<Argument> |
ArgumentationReasoner.getDefensibleArguments()
Returns the set of defensible arguments, i.e.
|
Set<Argument> |
ArgumentationReasoner.getJustifiedArguments()
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
|
Set<Argument> |
ArgumentationReasoner.getOverruledArguments()
Returns the set of overruled arguments, i.e.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
ArgumentationReasoner.isDefensible(Argument arg)
An argument is called x/y-defensible if it is neither x/y-justified
nor x/y-overruled.
|
boolean |
ArgumentationReasoner.isJustified(Argument arg)
An argument is called x/y-justified if it is contained in J_{P,x/y}.
|
boolean |
ArgumentationReasoner.isOverruled(Argument arg)
An argument is called x/y-overruled, if it is attacked by an
x/y-justified argument.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Argument> |
AttackRelation.getAttackingArguments(Argument a)
Returns all arguments from the knowledgebase, that attack argument a.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
AttackRelation.attacks(Argument a,
Argument b)
Returns true iff argument a attacks argument b for the notion of
attack represented by this attack relation.
|
boolean |
AttackRelation.attacks(Set<Argument> attacker,
Argument b)
Is true iff at least one attacking argument attacks b
|
Set<Argument> |
AttackRelation.getAttackingArguments(Argument a)
Returns all arguments from the knowledgebase, that attack argument a.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
AttackRelation.attacks(Set<Argument> attacker,
Argument b)
Is true iff at least one attacking argument attacks b
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
ConfidentRebut.attacks(Argument a,
Argument b) |
boolean |
Rebut.attacks(Argument a,
Argument b) |
boolean |
StrongAttack.attacks(Argument a,
Argument b) |
boolean |
ConfidentAttack.attacks(Argument a,
Argument b) |
boolean |
StrongUndercut.attacks(Argument a,
Argument b) |
boolean |
AttackStrategy.attacks(Argument a,
Argument b)
Returns "true" iff the first argument attacks the second argument.
|
boolean |
Attack.attacks(Argument a,
Argument b) |
boolean |
Defeat.attacks(Argument a,
Argument b) |
boolean |
StrongConfidentAttack.attacks(Argument a,
Argument b) |
boolean |
Undercut.attacks(Argument a,
Argument b) |
Copyright © 2018. All rights reserved.