Package org.tweetyproject.arg.bipolar.analysis

Class ConcurrentExactAnalysis

java.lang.Object

org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis

org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis

All Implemented Interfaces:

Analysis, ProbabilisticJustificationAnalysis

public class ConcurrentExactAnalysis
extends AbstractAnalysis
implements ProbabilisticJustificationAnalysis

This class implements exact probabilistic justification of a set of queries by generating all possible induces EAFs from a PEAF in parallel.

Author:

Taha Dogan Gunes

Field Summary

Fields

Modifier and Type	Field	Description
Double	p
Double	total

Constructor Summary

Constructors

Constructor	Description
ConcurrentExactAnalysis(PEAFTheory peafTheory, AbstractExtensionReasoner extensionReasoner)	Constructs ConcurrentExactAnalysis with noThreads equal to availableProcessors - 1
ConcurrentExactAnalysis(PEAFTheory peafTheory, AbstractExtensionReasoner extensionReasoner, int noThreads)	Constructs ConcurrentExactAnalysis with given noThreads

Method Summary

Modifier and Type	Method	Description
AnalysisResult	query(Set<BArgument> args)	Computes exactly what is probabilistic justification of the given set of arguments in the PEAF.

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

Field Details

total

public Double total

p

public Double p

Constructor Details

ConcurrentExactAnalysis

public ConcurrentExactAnalysis(PEAFTheory peafTheory,
 AbstractExtensionReasoner extensionReasoner)

Constructs ConcurrentExactAnalysis with noThreads equal to availableProcessors - 1

Parameters:

peafTheory - the PEAFTheory to be analyzed

extensionReasoner - the extension reasoner

ConcurrentExactAnalysis

public ConcurrentExactAnalysis(PEAFTheory peafTheory,
 AbstractExtensionReasoner extensionReasoner,
 int noThreads)

Constructs ConcurrentExactAnalysis with given noThreads

Parameters:

peafTheory - the PEAFTheory to be analyzed

extensionReasoner - the extension reasoner

noThreads - the number of threads

Method Details

query

public AnalysisResult query(Set<BArgument> args)

Computes exactly what is probabilistic justification of the given set of arguments in the PEAF.

Warning: It is intractable when the number of arguments in PEAF is above 15.

Specified by:

query in interface Analysis

Parameters:

args - the set of arguments necessary for the query

Returns:

the result of the analysis

See Also:

• for larger PEAFs