Class AbstractExtensionAnalysis

java.lang.Object

org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis

All Implemented Interfaces:

Analysis, ExtensionAnalysis

Direct Known Subclasses:

GroundedAnalysis, PreferredAnalysis

public abstract class AbstractExtensionAnalysis
extends AbstractAnalysis
implements ExtensionAnalysis

An abstract class for performing extension analysis on a PEAF (Process-Entity-Attribute-Function) theory.

This class is designed to convert a PEAF theory into an EAF (Extended Argumentation Framework) theory, then into a Dung theory, and finally use an extension reasoner to compute the extensions of the Dung theory.

Constructor Summary

Constructors

Constructor	Description
AbstractExtensionAnalysis(PEAFTheory peafTheory, AbstractExtensionReasoner extensionReasoner, AnalysisType analysisType)	The default constructor

Method Summary

Modifier and Type	Method	Description
List<Set<String>>	getExtensions()	Computes and returns a list of extensions.
AnalysisResult	query(Set<BArgument> args)	Creates an AnalysisResult to store the results of the analysis

Methods inherited from class org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

setPEAFTheory

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractExtensionAnalysis

public AbstractExtensionAnalysis(PEAFTheory peafTheory,
 AbstractExtensionReasoner extensionReasoner,
 AnalysisType analysisType)

The default constructor

Parameters:

peafTheory - The PEAF Theory

extensionReasoner - The extension reasoner

analysisType - The type of the analysis

Method Details

getExtensions

public List<Set<String>> getExtensions()

Description copied from interface: ExtensionAnalysis

Computes and returns a list of extensions.

Each extension is represented as a set of strings, where each string corresponds to an argument in the argumentation framework. The method returns all extensions that are found according to the specific analysis performed by the implementing class.

Specified by:

getExtensions in interface ExtensionAnalysis

Returns:

a list of sets, where each set contains strings representing an extension of the argumentation framework.

query

public AnalysisResult query(Set<BArgument> args)

Description copied from interface: Analysis

Creates an AnalysisResult to store the results of the analysis

Specified by:

query in interface Analysis

Parameters:

args - the set of arguments necessary for the query

Returns:

an AnalysisResult object