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
|