Package org.tweetyproject.web.services.causal

Class CausalReasonerService

java.lang.Object

org.tweetyproject.web.services.causal.CausalReasonerService

@Service
public final class CausalReasonerService
extends Object

Service for querying causal conclusions and sequence explanations.

Author:

Oleksandr Dzhychko

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	CausalReasonerService.SequenceExplanations	Class bundling sequence explanations and additional information

Constructor Summary

Constructors

Constructor	Description
CausalReasonerService()	Default constructor.

Method Summary

Modifier and Type	Method	Description
static boolean	isConclusionInFilter(PlFormula conclusion, Set<Proposition> conclusionFilter)	Determine whether the conclusion is relevant
DungTheory	queryArgumentationFramework(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations)	Compute the induced dung theory
Collection<PlFormula>	queryConclusions(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Computes the causal conclusions of the causal knowledge based given the observations
Map<Proposition,Collection<Proposition>>	queryPerAtomSignificantAtoms(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Determine mapping of significant atoms per atom
CausalReasonerService.SequenceExplanations	querySequenceExplanations(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Determine the collection of sequence explanations

Methods inherited from class java.lang.Object

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

Constructor Details

CausalReasonerService

public CausalReasonerService()

Default constructor.

Method Details

queryConclusions

public Collection<PlFormula> queryConclusions(CausalKnowledgeBase causalKnowledgeBase,
 Collection<PlFormula> observations,
 Set<Proposition> conclusionFilter)

Computes the causal conclusions of the causal knowledge based given the observations

Parameters:

causalKnowledgeBase - the causal knowledge base

observations - a set of observations about causal atoms

conclusionFilter - the set of propositions to consider

Returns:

the causal conclusions of the causal knowledge based given the observations

isConclusionInFilter

public static boolean isConclusionInFilter(PlFormula conclusion,
 @NonNull
 Set<Proposition> conclusionFilter)

Determine whether the conclusion is relevant

Parameters:

conclusion - all conclusions

conclusionFilter - the relevant conclusions

Returns:

"true" if the conclusion is relevant

queryPerAtomSignificantAtoms

public Map<Proposition,Collection<Proposition>> queryPerAtomSignificantAtoms(CausalKnowledgeBase causalKnowledgeBase,
 Collection<PlFormula> observations,
 Set<Proposition> conclusionFilter)

Determine mapping of significant atoms per atom

Parameters:

causalKnowledgeBase - some causal knowledge base

observations - a collection of observations

conclusionFilter - the relevant propositions

Returns:

mapping of significant atoms per atom

querySequenceExplanations

public CausalReasonerService.SequenceExplanations querySequenceExplanations(CausalKnowledgeBase causalKnowledgeBase,
 Collection<PlFormula> observations,
 Set<Proposition> conclusionFilter)

Determine the collection of sequence explanations

Parameters:

causalKnowledgeBase - some causal knowledge base

observations - some observations

conclusionFilter - the relevant atoms

Returns:

the collection of sequence explanations

queryArgumentationFramework

public DungTheory queryArgumentationFramework(CausalKnowledgeBase causalKnowledgeBase,
 Collection<PlFormula> observations)

Compute the induced dung theory

Parameters:

causalKnowledgeBase - some causal knowledge base

observations - some observations

Returns:

the induced dung theory