Class DefeasibleRule

    • Constructor Detail

      • DefeasibleRule

        public DefeasibleRule​(FolFormula head,
                              java.util.Set<FolFormula> body)
        Initializes the defeasible rule with the given parameters
        Parameters:
        head - a literal
        body - a set of literals
    • Method Detail

      • toStrictRule

        public StrictRule toStrictRule()
        returns the translation of this rule as a strict rule
        Returns:
        the translation of this rule as a strict rule
      • substitute

        public RelationalFormula substitute​(Term<?> v,
                                            Term<?> t)
                                     throws java.lang.IllegalArgumentException
        Description copied from class: RelationalFormula
        Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula. NOTE: if "v" is a variable and bound to a quantifier then "v" is not substituted in that quantifiers inner formula.
        Specified by:
        substitute in interface ComplexLogicalFormula
        Specified by:
        substitute in class DelpRule
        Parameters:
        v - the term to be substituted.
        t - the term to substitute.
        Returns:
        a formula where every occurrence of "v" is replaced by "t".
        Throws:
        java.lang.IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula).