| Package | Description |
|---|---|
| net.sf.tweety.arg.delp | |
| net.sf.tweety.arg.delp.semantics |
| Modifier and Type | Field and Description |
|---|---|
private ComparisonCriterion |
DelpReasoner.comparisonCriterion
The comparison criterion is initialized with the "empty criterion"
|
(package private) ComparisonCriterion |
DefeasibleLogicProgram.DelpOptions.criterion |
| Modifier and Type | Method and Description |
|---|---|
ComparisonCriterion |
DelpReasoner.getComparisonCriterion()
returns the comparison criterion used in this program
|
| Constructor and Description |
|---|
DelpReasoner(BeliefBase beliefBase,
ComparisonCriterion comparisonCriterion)
Creates a new DelpReasoner for the given delp.
|
| Constructor and Description |
|---|
CriterionOptionHandler(org.kohsuke.args4j.CmdLineParser parser,
org.kohsuke.args4j.OptionDef option,
org.kohsuke.args4j.spi.Setter<? super ComparisonCriterion> setter) |
| Modifier and Type | Class and Description |
|---|---|
class |
EmptyCriterion
This class implements the empty criterion to compare two arguments.
|
class |
GeneralizedSpecificity
This class implements the generalized specificity criterion used to compare two arguments.
|
| Modifier and Type | Method and Description |
|---|---|
static ComparisonCriterion |
ComparisonCriterion.Factory.create(java.lang.String name) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<DialecticalTree> |
DialecticalTree.getDefeaters(java.util.Set<DelpArgument> arguments,
DefeasibleLogicProgram delp,
ComparisonCriterion comparisonCriterion)
Computes the set of arguments which are defeaters for the argument in this tree node and returns
the corresponding dialectical tree nodes with these defeaters.
|
boolean |
DialecticalTree.isAcceptable(DelpArgument argument,
DefeasibleLogicProgram delp,
ComparisonCriterion comparisonCriterion)
Checks whether the argumentation line composed of the ancestors of this node and the parameter
|