Class SimpleWeightedCompleteReasoner<T>
java.lang.Object
org.tweetyproject.arg.weighted.reasoner.SimpleWeightedCompleteReasoner<T>
- Type Parameters:
T
- The type
This reasoner for weighted Dung theories performs inference on the complete extensions.
Computes the set of all complete extensions, i.e., all alpha gamma admissible sets that contain all their acceptable arguments.
- Author:
- Sandra Hoffmann
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetModel
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Returns an alpha-gamma-complete extension for the given weighted argumentation framework.getModels
(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-complete extensions for the given weighted argumentation framework.
-
Constructor Details
-
SimpleWeightedCompleteReasoner
public SimpleWeightedCompleteReasoner()Default Constructor
-
-
Method Details
-
getModels
public Collection<Extension<DungTheory>> getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-complete extensions 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 all complete extensions.
-
getModel
Returns an alpha-gamma-complete 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:
- An alpha-gamma-complete extension.
-