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 Details

  • 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: