Package | Description |
---|---|
net.sf.tweety.arg.delp | |
net.sf.tweety.arg.delp.semantics | |
net.sf.tweety.arg.delp.syntax |
Modifier and Type | Field and Description |
---|---|
(package private) static java.util.Comparator<DelpRule> |
Utilities.compareRules
Compare DeLP rules:
1) compare heads (conclusion) as literals
2) if the same, then
a) DelpFact < StrictRule < DefeasibleRule
b) within same subclass, compare set of literals...
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DelpRule> |
ArgumentCompletion.getRulesWithHead(FolFormula l) |
Modifier and Type | Class and Description |
---|---|
class |
DefeasibleRule
This class models a defeasible rule in defeasible logic programming.
|
class |
DelpFact
This class implements a fact in defeasible logic programming which encapsulates a literal.
|
class |
StrictRule
This class models a strict rule in defeasible logic programming.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DelpRule> |
DefeasibleLogicProgram.getRulesWithHead(FolFormula l)
Returns all defeasible and strict rules appearing in this program with the given literal as head
|
java.util.Set<DelpRule> |
DelpArgument.getRulesWithHead(FolFormula l)
Returns all defeasible rules of the support of this argument with the given literal as head
|