Package | Description |
---|---|
net.sf.tweety.arg.delp.syntax |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<DefeasibleRule> |
DelpArgument.support
The support of this argument
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DefeasibleRule> |
DelpArgument.getSupport()
returns the support of this argument
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<FolFormula> |
DefeasibleLogicProgram.getStrictClosure(java.util.Set<FolFormula> literals,
java.util.Set<DefeasibleRule> defeasibleRules)
Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
|
java.util.Set<FolFormula> |
DefeasibleLogicProgram.getStrictClosure(java.util.Set<FolFormula> literals,
java.util.Set<DefeasibleRule> defeasibleRules,
boolean usefacts)
Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
|
boolean |
DefeasibleLogicProgram.isConsistent(java.util.Set<DefeasibleRule> rules)
Checks whether the given set of defeasible rules are consistent given the strict part of this
program.
|
Constructor and Description |
---|
DelpArgument(java.util.Set<DefeasibleRule> support,
FolFormula conclusion)
constructor; initializes this argument with the given parameters
|