Class DelpReasoner

    • Constructor Detail

      • DelpReasoner

        public DelpReasoner​(ComparisonCriterion comparisonCriterion)
        Creates a new DelpReasoner for the given delp. *
        Parameters:
        comparisonCriterion - a comparison criterion used for inference
    • Method Detail

      • getComparisonCriterion

        public ComparisonCriterion getComparisonCriterion()
        returns the comparison criterion used in this program
        Returns:
        the comparison criterion used in this program
      • getWarrants

        public java.util.Set<DelpArgument> getWarrants​(DefeasibleLogicProgram delp)
        Computes the subset of the arguments of this program, that are warrants.
        Parameters:
        delp - a delp
        Returns:
        a set of DelpArgument that are warrants
      • getArgumentsWithConclusion

        public static java.util.Set<DelpArgument> getArgumentsWithConclusion​(DefeasibleLogicProgram delp,
                                                                             FolFormula f)
        Returns all arguments with the given conclusion from the delp.
        Parameters:
        delp - some delp.
        f - a formula
        Returns:
        all arguments with the given conclusion from the delp.