Package | Description |
---|---|
net.sf.tweety.arg.delp | |
net.sf.tweety.arg.delp.reasoner | |
net.sf.tweety.arg.delp.semantics | |
net.sf.tweety.arg.delp.syntax |
Modifier and Type | Field and Description |
---|---|
(package private) static DelpArgument |
TestArguments.ARG_TINA_FLIES1 |
(package private) static DelpArgument |
TestArguments.ARG_TINA_FLIES2 |
(package private) static DelpArgument |
TestArguments.ARG_TINA_NESTS |
(package private) static DelpArgument |
TestArguments.ARG_TINA_NOT_FLIES |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DelpArgument> |
DelpReasoner.getWarrants(DefeasibleLogicProgram delp)
Computes the subset of the arguments of this program, that are warrants.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DelpReasoner.isWarrant(DefeasibleLogicProgram groundDelp,
DelpArgument argument,
java.util.Set<DelpArgument> arguments)
Checks whether the given argument is a warrant regarding a given set of arguments
|
Modifier and Type | Method and Description |
---|---|
boolean |
DelpReasoner.isWarrant(DefeasibleLogicProgram groundDelp,
DelpArgument argument,
java.util.Set<DelpArgument> arguments)
Checks whether the given argument is a warrant regarding a given set of arguments
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
ArgumentCompletion
This class models the completion of an argument in the framework of defeasible logic programming.
|
Modifier and Type | Field and Description |
---|---|
private DelpArgument |
DialecticalTree.argument
The argument in this node
|
Modifier and Type | Method and Description |
---|---|
java.util.stream.Stream<DelpArgument> |
DialecticalTree.getArgumentationLine()
Returns the argumentation line which is generated by the path from this node to the root (in reverse)
|
Modifier and Type | Method and Description |
---|---|
private boolean |
GeneralizedSpecificity.actSetTest(java.util.Set<java.util.Set<FolFormula>> ntActSets,
DelpArgument arg,
DefeasibleLogicProgram delp)
Test whether all given activation sets activate the given argument.
|
abstract ComparisonCriterion.Result |
ComparisonCriterion.compare(DelpArgument argument1,
DelpArgument argument2,
DefeasibleLogicProgram context)
This method returns the relation of to
given .
|
ComparisonCriterion.Result |
EmptyCriterion.compare(DelpArgument argument1,
DelpArgument argument2,
DefeasibleLogicProgram context) |
ComparisonCriterion.Result |
GeneralizedSpecificity.compare(DelpArgument argument1,
DelpArgument argument2,
DefeasibleLogicProgram context) |
static java.util.Set<ArgumentCompletion> |
ArgumentCompletion.getCompletions(DelpArgument argument,
DefeasibleLogicProgram delp)
This static method computes all argument completions for the given parameter using
the strict rules from the parameter
|
boolean |
DialecticalTree.isAcceptable(DelpArgument argument,
DefeasibleLogicProgram delp,
ComparisonCriterion comparisonCriterion)
Checks whether the argumentation line composed of the ancestors of this node and the parameter
is acceptable given the parameter
|
private boolean |
GeneralizedSpecificity.isActivated(DelpArgument arg,
java.util.Set<FolFormula> activationSet,
DefeasibleLogicProgram delp)
Test whether the given argument is activated by the given activation set.
|
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.
|
Constructor and Description |
---|
ArgumentCompletion(DelpArgument argument)
Constructor; initializes this argument completion with the given DeLP argument.
|
DialecticalTree(DelpArgument argument)
constructor; initializes this dialectical tree node as a root with given argument
|
DialecticalTree(DialecticalTree parent,
DelpArgument argument) |
Modifier and Type | Method and Description |
---|---|
DelpArgument |
DelpArgument.getDisagreementSubargument(FolFormula lit,
DefeasibleLogicProgram delp)
Computes the disagreement subargument of this argument for the given literal
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DelpArgument> |
DefeasibleLogicProgram.getArguments()
Returns the set of all possible arguments, that can be built in this delp.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DelpArgument.isStrongSubargumentOf(DelpArgument argument)
Checks whether this argument is a strong subargument of the given argument, i.e., if the
support of this argument is a strict subset of the support of the given argument
|
boolean |
DelpArgument.isSubargumentOf(DelpArgument argument)
Checks whether this argument is a subargument of the given argument
|