Package org.tweetyproject.arg.weighted.reasoner

Class SimpleWeightedAdmissibleReasoner<T>

java.lang.Object

org.tweetyproject.arg.weighted.reasoner.SimpleWeightedAdmissibleReasoner<T>

Type Parameters:

T - The type

public class SimpleWeightedAdmissibleReasoner<T>
extends Object

* This reasoner for weighted Dung theories performs inference on the apha gamma admissible extensions. Extensions are determined by checking all possible sets for alpha gamma admissibility.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleWeightedAdmissibleReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getModel(DungTheory bbase, T alpha, T gamma)	Returns the empty set as it is always admissible.
Collection<Extension<DungTheory>>	getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework.

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleWeightedAdmissibleReasoner

public SimpleWeightedAdmissibleReasoner()

Default Constructor

Method Details

getModels

public Collection<Extension<DungTheory>> getModels(WeightedArgumentationFramework<T> bbase,
 T alpha,
 T gamma)

Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework. Admissible extensions are subsets of the set of arguments that satisfy the alpha-gamma admissibility 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.

gamma - The threshold for defense, representing the maximum allowable difference between the aggregated weights of attack and defense.

Returns:

A collection of admissible extensions.

getModel

public Extension<DungTheory> getModel(DungTheory bbase,
 T alpha,
 T gamma)

Returns the empty set as it is always admissible.

Parameters:

bbase - The base argumentation theory.

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 empty admissible extension.