Class RuleFormulaGenerator<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<T>
-
- Type Parameters:
T
- is the type of the returned formula
- Direct Known Subclasses:
FolFormulaGenerator
,PlFormulaGenerator
public abstract class RuleFormulaGenerator<T extends Invertable> extends java.lang.Object
- Author:
- Nils Geilen This class transforms a defeasible ASPIC inference rule into a corresponding formula, i.e. a word in the language of the conclusion and the premises of that rule, which can be used in the head of an inference rule.
-
-
Constructor Summary
Constructors Constructor Description RuleFormulaGenerator()
-
Method Summary
Modifier and Type Method Description DefeasibleInferenceRule<T>
getInferenceRule(T formula, AspicArgumentationTheory<T> kb)
Transforms a formula of typeT
into a corresponding defeasible ASPIC inference rule form the knowledge basekb
abstract T
getRuleFormula(DefeasibleInferenceRule<T> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula of typeT
-
-
-
Method Detail
-
getRuleFormula
public abstract T getRuleFormula(DefeasibleInferenceRule<T> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula of typeT
- Parameters:
r
- is the inferende rule to be transformed- Returns:
- a formula of type
T
-
getInferenceRule
public DefeasibleInferenceRule<T> getInferenceRule(T formula, AspicArgumentationTheory<T> kb)
Transforms a formula of typeT
into a corresponding defeasible ASPIC inference rule form the knowledge basekb
- Parameters:
formula
- is a formula of typeT
kb
- is the knowledge base the is searched for the rule- Returns:
- the corresponding inference rule
-
-