Package org.tweetyproject.arg.weighted.reasoner

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 Summary

Constructors

Constructor	Description
SimpleWeightedGroundedReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
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.
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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.