Package | Description |
---|---|
net.sf.tweety.arg.aspic.ruleformulagenerator | |
net.sf.tweety.arg.aspic.syntax |
Modifier and Type | Method and Description |
---|---|
DefeasibleInferenceRule<T> |
RuleFormulaGenerator.getInferenceRule(T formula,
AspicArgumentationTheory<T> kb)
Transforms a formula of type
T into a corresponding
defeasible ASPIC inference rule form the knowledge base kb |
Modifier and Type | Method and Description |
---|---|
FolFormula |
FolFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<FolFormula> r) |
PropositionalFormula |
PlFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<PropositionalFormula> r) |
abstract T |
RuleFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<T> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula
of type
T |
Modifier and Type | Method and Description |
---|---|
DefeasibleInferenceRule<T> |
InferenceRule.toDefeasible() |