Class SimpleWeightedCompleteReasoner<T>

java.lang.Object

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

Type Parameters:

T - The type

public class SimpleWeightedCompleteReasoner<T>
extends Object

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

Constructors

Constructor	Description
SimpleWeightedCompleteReasoner()	Default Constructor

Method Summary

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

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

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

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.