Package org.tweetyproject.arg.weighted.reasoner

Class SimpleWeightedPreferredReasoner<T>

java.lang.Object

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

Type Parameters:

T - The type

public class SimpleWeightedPreferredReasoner<T>
extends Object

This reasoner for weighted Dung theories performs inference on the alpha-gamma-preferred extensions. Computes the set of all alpha-gamma-preferred extensions, i.e., all maximal alpha-gamma-admissable sets. It does so by first computing all alpha-gamma-complete extensions and then checking if they are alpha-gamma-preferred extensions.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleWeightedPreferredReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes and returns a single alpha-gamma-preferred extension for the given weighted argumentation framework.
Collection<Extension<DungTheory>>	getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma)	Computes all alpha-gamma-preferred 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

SimpleWeightedPreferredReasoner

public SimpleWeightedPreferredReasoner()

Default Constructor

Method Details

getModels

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

Computes all alpha-gamma-preferred extensions for the given weighted argumentation framework. This method uses a complete reasoner to find complete extensions and then filters out the extensions that are also preferred.

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 alpha-gamma-preferred extensions.

getModel

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

Computes and returns a single alpha-gamma-preferred 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:

The first alpha-gamma-preferred extension found.