T
- is the type of the returned formulapublic abstract class RuleFormulaGenerator<T extends Invertable>
extends java.lang.Object
Constructor and Description |
---|
RuleFormulaGenerator() |
Modifier and Type | Method and Description |
---|---|
DefeasibleInferenceRule<T> |
getInferenceRule(T formula,
AspicArgumentationTheory<T> kb)
Transforms a formula of type
T into a corresponding
defeasible ASPIC inference rule form the knowledge base kb |
abstract T |
getRuleFormula(DefeasibleInferenceRule<T> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula
of type
T |
public abstract T getRuleFormula(DefeasibleInferenceRule<T> r)
T
r
- is the inferende rule to be transformedT
public DefeasibleInferenceRule<T> getInferenceRule(T formula, AspicArgumentationTheory<T> kb)
T
into a corresponding
defeasible ASPIC inference rule form the knowledge base kb
formula
- is a formula of type T
kb
- is the knowledge base the is searched for the rule