Package org.tweetyproject.arg.delp.reasoner

Class DelpReasoner

java.lang.Object
org.tweetyproject.arg.delp.reasoner.DelpReasoner
All Implemented Interfaces:
Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
public class DelpReasoner extends Object implements Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
This reasoner performs default dialectical reasoning on some given DeLP.
Author:
Matthias Thimm

  • Constructor Details

    • DelpReasoner

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

  • Method Details

    • getComparisonCriterion

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

    • getWarrants

      public 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 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.

    • query

      public DelpAnswer.Type query(DefeasibleLogicProgram delp, FolFormula f)
      Description copied from interface: Reasoner
      Queries the given belief base for the given formula.
      Specified by:
      query in interface Reasoner<DelpAnswer.Type,DefeasibleLogicProgram,FolFormula>
      Parameters:
      delp - a belief base
      f - a formula
      Returns:
      the answer to the query

    • isInstalled

      public boolean isInstalled()