Class RuleFormulaGenerator<T extends Invertable>
java.lang.Object
org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator<T>
- Type Parameters:
T
- is the type of the returned formula
- Direct Known Subclasses:
FolFormulaGenerator
,PlFormulaGenerator
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.
- Author:
- Nils Geilen
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetInferenceRule
(T formula, AspicArgumentationTheory<T> kb) Transforms a formula of typeT
into a corresponding defeasible ASPIC inference rule form the knowledge basekb
abstract T
Transforms a defeasible ASPIC inference rule into a corresponding formula of typeT
-
Constructor Details
-
RuleFormulaGenerator
public RuleFormulaGenerator()
-
-
Method Details
-
getRuleFormula
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
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
-