java.util.Set<Argument> |
ArgumentationReasoner.getDefensibleArguments(ArgumentationKnowledgeBase kb) |
Returns the set of defensible arguments, i.e.
|
java.util.Set<Argument> |
ArgumentationReasoner.getJustifiedArguments(ArgumentationKnowledgeBase kb) |
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
|
java.util.Set<Argument> |
ArgumentationReasoner.getOverruledArguments(ArgumentationKnowledgeBase kb) |
Returns the set of overruled arguments, i.e.
|
private boolean |
ArgumentationReasoner.isAcceptable(ArgumentationKnowledgeBase kb,
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(ArgumentationKnowledgeBase kb,
Argument arg) |
An argument is called x/y-defensible if it is neither x/y-justified
nor x/y-overruled.
|
boolean |
LiteralReasoner.isJustified(ArgumentationKnowledgeBase kb,
ASPLiteral arg) |
A literal is called x/y-justified, if a x/y-justified
argument with conclusion arg can be constructed from p.
|
boolean |
ArgumentationReasoner.isOverruled(ArgumentationKnowledgeBase kb,
Argument arg) |
An argument is called x/y-overruled, if it is attacked by an
x/y-justified argument.
|
boolean |
LiteralReasoner.isOverruled(ArgumentationKnowledgeBase kb,
ASPLiteral arg) |
A literal is called x/y-overruled, iff it is not x/y-justified.
|
java.lang.Boolean |
ArgumentationReasoner.query(ArgumentationKnowledgeBase kb,
Argument query) |
|
java.lang.Boolean |
LiteralReasoner.query(ArgumentationKnowledgeBase kb,
ASPLiteral query) |
|