Class RuleFormulaGenerator<T extends Invertable>

  • 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.
    • Method Summary

      Modifier and Type Method 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
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RuleFormulaGenerator

        public RuleFormulaGenerator()
    • Method Detail

      • getRuleFormula

        public abstract T getRuleFormula​(DefeasibleInferenceRule<T> r)
        Transforms a defeasible ASPIC inference rule into a corresponding formula of type T
        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 type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb
        Parameters:
        formula - is a formula of type T
        kb - is the knowledge base the is searched for the rule
        Returns:
        the corresponding inference rule