Package | Description |
---|---|
net.sf.tweety.arg.lp | |
net.sf.tweety.arg.lp.semantics | |
net.sf.tweety.arg.lp.semantics.attack | |
net.sf.tweety.argumentation.parameterisedhierarchy |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Argument> |
ArgumentationKnowledgeBase.getArguments()
Returns all minimal arguments constructible from the extended logic program
|
private java.util.Set<Argument> |
ArgumentationKnowledgeBase.getArguments(java.util.LinkedList<Rule> rules)
Recursively constructions minimal arguments in a bottom-up fashion.
|
java.util.Set<Argument> |
ArgumentationReasoner.getDefensibleArguments()
Returns the set of defensible arguments, i.e.
|
java.util.Set<Argument> |
ArgumentationReasoner.getJustifiedArguments()
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
|
java.util.Set<Argument> |
ArgumentationReasoner.getOverruledArguments()
Returns the set of overruled arguments, i.e.
|
Modifier and Type | Method and Description |
---|---|
private boolean |
ArgumentationReasoner.isAcceptable(java.util.Set<Argument> arguments,
java.util.Set<Argument> defendingArguments,
Argument toCheck)
Returns true iff the argument toCheck is x/y-acceptable wrt.
|
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 |
---|---|
private boolean |
ArgumentationReasoner.isAcceptable(java.util.Set<Argument> arguments,
java.util.Set<Argument> defendingArguments,
Argument toCheck)
Returns true iff the argument toCheck is x/y-acceptable wrt.
|
private boolean |
ArgumentationReasoner.isAcceptable(java.util.Set<Argument> arguments,
java.util.Set<Argument> defendingArguments,
Argument toCheck)
Returns true iff the argument toCheck is x/y-acceptable wrt.
|
Modifier and Type | Method and Description |
---|---|
java.util.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(java.util.Set<Argument> attacker,
Argument b)
Is true iff at least one attacking argument attacks b
|
java.util.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(java.util.Set<Argument> attacker,
Argument b)
Is true iff at least one attacking argument attacks b
|
Modifier and Type | Method and Description |
---|---|
boolean |
Undercut.attacks(Argument a,
Argument b) |
boolean |
StrongUndercut.attacks(Argument a,
Argument b) |
boolean |
StrongConfidentAttack.attacks(Argument a,
Argument b) |
boolean |
StrongAttack.attacks(Argument a,
Argument b) |
boolean |
Rebut.attacks(Argument a,
Argument b) |
boolean |
Defeat.attacks(Argument a,
Argument b) |
boolean |
ConfidentRebut.attacks(Argument a,
Argument b) |
boolean |
ConfidentAttack.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) |
Modifier and Type | Field and Description |
---|---|
(package private) Argument |
ArgumentationReasonerTest.a1 |
(package private) Argument |
ArgumentationReasonerTest.a2 |
(package private) Argument |
ArgumentationReasonerTest.a3 |
(package private) Argument |
ArgumentationReasonerTest.a4 |
(package private) Argument |
ArgumentationReasonerTest.a5 |
(package private) Argument |
ArgumentationReasonerTest.a6 |
(package private) Argument |
ArgumentationReasonerTest.a7 |
(package private) Argument |
ArgumentationReasonerTest.a8 |