Package org.tweetyproject.arg.dung.causal.syntax

Class CausalStatement

java.lang.Object

org.tweetyproject.arg.dung.causal.syntax.CausalStatement

Direct Known Subclasses:

InterventionalStatement

public abstract class CausalStatement
extends Object

This class describes a causal statement, such as an interventional or counterfactual statement.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
CausalStatement(HashSet<PlFormula> conclusions, HashSet<PlFormula> premises)	Creates a new causal statement.

Method Summary

Modifier and Type	Method	Description
HashSet<PlFormula>	getConclusions()	Retrieves the conclusions of this causal statement.
HashSet<PlFormula>	getPremises()	Retrieves the premises of this causal statement.
boolean	holds(CausalKnowledgeBase cKbase)	Checks if this instance holds in the specified knowledge base.
void	VisualizeHolds(CausalKnowledgeBase cKbase)	Visualizes this causal statement within a given causal knowledge base.

Methods inherited from class java.lang.Object

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

Constructor Details

CausalStatement

public CausalStatement(HashSet<PlFormula> conclusions,
 HashSet<PlFormula> premises)

Creates a new causal statement.

Parameters:

conclusions - Conclusions, which would be true, iff this statement is true and the interventions were realized and the premises are met.

premises - PlFormulas which have to be true, so that the conclusions can be drawn.

Method Details

getConclusions

public HashSet<PlFormula> getConclusions()

Retrieves the conclusions of this causal statement.

Returns:

A new HashSet containing all the conclusions of this causal statement.

getPremises

public HashSet<PlFormula> getPremises()

Retrieves the premises of this causal statement.

Returns:

A new HashSet containing all the premises required for the conclusions to hold.

holds

public boolean holds(CausalKnowledgeBase cKbase)

Checks if this instance holds in the specified knowledge base.

Parameters:

cKbase - Causal knowledge base

Returns:

TRUE iff this instance holds in the specified knowledge base.

VisualizeHolds

public void VisualizeHolds(CausalKnowledgeBase cKbase)

Visualizes this causal statement within a given causal knowledge base. This method generates a visual representation of the argument framework induced by adding the premises of this statement to the causal knowledge base, highlighting the conclusions.

Parameters:

cKbase - The causal knowledge base used for visualization.