Package org.tweetyproject.arg.weighted.reasoner

Class SimpleWeightedConflictFreeReasoner<T>

java.lang.Object

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

Type Parameters:

T - The type

public class SimpleWeightedConflictFreeReasoner<T>
extends Object

This reasoner for weighted Dung theories performs inference on the alpha conflict-free extensions.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleWeightedConflictFreeReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getModel(WeightedArgumentationFramework<T> bbase, T alpha)	Returns the empty set as it is always conflict-free.
Collection<Extension<DungTheory>>	getModels(WeightedArgumentationFramework<T> bbase, T alpha)	Computes all alpha-conflict-free 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

SimpleWeightedConflictFreeReasoner

public SimpleWeightedConflictFreeReasoner()

Default Constructor

Method Details

getModels

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

Computes all alpha-conflict-free extensions for the given weighted argumentation framework. Conflict-free extensions are subsets of the set of arguments that satisfy the alpha-conflict-free 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.

Returns:

A collection of alpha-conflict-free extensions.

getModel

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

Returns the empty set as it is always conflict-free.

Parameters:

bbase - The weighted argumentation framework.

alpha - The threshold representing the maximum allowable combined weight of internal attacks.

Returns:

An empty conflict-free extension.