Package | Description |
---|---|
net.sf.tweety.arg.deductive | |
net.sf.tweety.arg.deductive.semantics | |
net.sf.tweety.arg.deductive.semantics.attacks |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DeductiveArgument> |
DeductiveKnowledgeBase.getDeductiveArguments()
Computes all deductive arguments.
|
java.util.Set<DeductiveArgument> |
DeductiveKnowledgeBase.getDeductiveArguments(PropositionalFormula claim)
Computes all deductive arguments for the given claim.
|
Modifier and Type | Method and Description |
---|---|
protected ArgumentTree |
SimpleReasoner.getArgumentTree(DeductiveArgument arg) |
protected ArgumentTree |
CompilationReasoner.getArgumentTree(DeductiveArgument arg) |
protected abstract ArgumentTree |
AbstractDeductiveArgumentationReasoner.getArgumentTree(DeductiveArgument arg)
Computes the argument tree of the given argument.
|
Modifier and Type | Class and Description |
---|---|
class |
DeductiveArgumentNode
Extends a deductive argument by a unique identifier.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<CompilationNode> |
Compilation.firstLevel(DeductiveArgument arg)
This method returns the compilation nodes that can be used
to construct undercuts to the given argument.
|
ArgumentTree |
Compilation.getArgumentTree(DeductiveArgument arg)
Returns the argument tree for the given argument.
|
Constructor and Description |
---|
DeductiveArgumentNode(DeductiveArgument arg)
Creates a new deductive argument node from the given deductive argument
(a unique ID is generated)
|
Modifier and Type | Method and Description |
---|---|
boolean |
Undercut.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
Rebuttal.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
DirectUndercut.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
DirectDefeat.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
DefeatingRebuttal.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
Defeat.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
CanonicalUndercut.isAttackedBy(DeductiveArgument a,
DeductiveArgument b) |
boolean |
Attack.isAttackedBy(DeductiveArgument a,
DeductiveArgument b)
Returns "true" iff the first argument is attacked by the second argument.
|