Uses of Class
org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule
Package
Description
-
Uses of DefeasibleInferenceRule in org.tweetyproject.arg.aspic.ruleformulagenerator
Modifier and TypeMethodDescriptionRuleFormulaGenerator.getInferenceRule(T formula, AspicArgumentationTheory<T> kb)
Transforms a formula of typeT
into a corresponding defeasible ASPIC inference rule form the knowledge basekb
Modifier and TypeMethodDescriptionFolFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<FolFormula> r)
PlFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<PlFormula> r)
abstract T
RuleFormulaGenerator.getRuleFormula(DefeasibleInferenceRule<T> r)
Transforms a defeasible ASPIC inference rule into a corresponding formula of typeT
-
Uses of DefeasibleInferenceRule in org.tweetyproject.arg.aspic.syntax
Modifier and TypeMethodDescriptionDefeasibleInferenceRule.clone()
DefeasibleInferenceRule.substitute(Term<?> v, Term<?> t)
InferenceRule.toDefeasible()