Class SimpleWeightedGroundedReasoner<T>

java.lang.Object
org.tweetyproject.arg.weighted.reasoner.SimpleWeightedGroundedReasoner<T>
Type Parameters:
T - The type
public class SimpleWeightedGroundedReasoner<T> extends Object
This reasoner for weighted Dung theories performs inference on the alpha-gamma-grounded extensions. The grounded extension is determined based on the alpha-gamma-admissible extensions and sceptically accepted arguments under alpha-gamma-complete semantics. The implementation follows the definition of unique grounded extensions in weigthed argumentation frameworks given by Bistarelli et al. in "Weighted Argumentation." FLAP 8.6 (2021): 1589-1622.
Author:
Sandra Hoffmann

  • Constructor Details

    • SimpleWeightedGroundedReasoner

      public SimpleWeightedGroundedReasoner()
      Default Constructor

  • Method Details

    • getModels

      public Collection<Extension<DungTheory>> getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)
      Computes and returns a collection containing the unique alpha-gamma-grounded extension for the given weighted argumentation framework.
      Parameters:
      bbase - The weighted argumentation framework.
      alpha - The threshold representing the maximum allowable combined weight of internal attacks.
      gamma - The threshold for defense, representing the maximum allowable difference between the aggregated weights of attack and defense.
      Returns:
      A collection containing the grounded extension.

    • getModel

      public Extension<DungTheory> getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)
      Computes and returns the unique alpha-gamma-grounded extension for the given weighted argumentation framework. The grounded extension is determined based on the alpha-gamma-admissible extensions and sceptically accepted arguments under alpha-gamma-complete semantics.
      Parameters:
      bbase - The weighted argumentation framework.
      alpha - The threshold representing the maximum allowable combined weight of internal attacks.
      gamma - The threshold for defense, representing the maximum allowable difference between the aggregated weights of attack and defense.
      Returns:
      The grounded extension.