Class SimpleWeightedConflictFreeReasoner<T>

java.lang.Object
org.tweetyproject.arg.weighted.reasoner.SimpleWeightedConflictFreeReasoner<T>
Type Parameters:
T - The type
public class SimpleWeightedConflictFreeReasoner<T> extends Object
This reasoner for weighted Dung theories performs inference on the alpha conflict-free extensions.
Author:
Sandra Hoffmann

  • Constructor Details

    • SimpleWeightedConflictFreeReasoner

      public SimpleWeightedConflictFreeReasoner()
      Default Constructor

  • Method Details

    • getModels

      public Collection<Extension<DungTheory>> getModels(WeightedArgumentationFramework<T> bbase, T alpha)
      Computes all alpha-conflict-free extensions for the given weighted argumentation framework. Conflict-free extensions are subsets of the set of arguments that satisfy the alpha-conflict-free condition. This method uses a simple approach by checking all possible subsets of the arguments.
      Parameters:
      bbase - The weighted argumentation framework.
      alpha - The threshold representing the maximum allowable combined weight of internal attacks.
      Returns:
      A collection of alpha-conflict-free extensions.

    • getModel

      public Extension<DungTheory> getModel(WeightedArgumentationFramework<T> bbase, T alpha)
      Returns the empty set as it is always conflict-free.
      Parameters:
      bbase - The weighted argumentation framework.
      alpha - The threshold representing the maximum allowable combined weight of internal attacks.
      Returns:
      An empty conflict-free extension.