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 is 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()	*description missing*
HashSet<PlFormula>	getPremises()	*description missing*
boolean	holds(CausalKnowledgeBase cKbase)	Checks if this instance holds in the specified knowledge base.
void	VisualizeHolds(CausalKnowledgeBase cKbase)	*description missing*

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()

*description missing*

Returns:

*description missing*

getPremises

public HashSet<PlFormula> getPremises()

*description missing*

Returns:

*description missing*

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)

*description missing*

Parameters:

cKbase - Causal knowledge base