Class InterventionalStatement

java.lang.Object

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

org.tweetyproject.arg.dung.causal.syntax.InterventionalStatement

Direct Known Subclasses:

CounterfactualStatement

public class InterventionalStatement
extends CausalStatement

This class describes an interventional causal statement like: given phi, if v would be x then rho would be true Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
InterventionalStatement(HashSet<PlFormula> conclusions, HashMap<Proposition,Boolean> interventions, HashSet<PlFormula> premises)	Creates a new interventional causal statement.

Method Summary

Modifier and Type	Method	Description
HashMap<Proposition,Boolean>	getInterventions()	Retrieves the interventions 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 org.tweetyproject.arg.dung.causal.syntax.CausalStatement

getConclusions, getPremises

Methods inherited from class java.lang.Object

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

Constructor Details

InterventionalStatement

public InterventionalStatement(HashSet<PlFormula> conclusions,
 HashMap<Proposition,Boolean> interventions,
 HashSet<PlFormula> premises)

Creates a new interventional causal statement.

Parameters:

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

interventions - Maps explainable atoms to boolean values.

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

Method Details

getInterventions

public HashMap<Proposition,Boolean> getInterventions()

Retrieves the interventions of this causal statement.

Returns:

A HashMap containing the interventions mapped from explainable atoms to their respective boolean values.

holds

public boolean holds(CausalKnowledgeBase cKbase)

Description copied from class: CausalStatement

Checks if this instance holds in the specified knowledge base.

Overrides:

holds in class CausalStatement

Parameters:

cKbase - Causal knowledge base

Returns:

TRUE iff this instance holds in the specified knowledge base.

VisualizeHolds

public void VisualizeHolds(CausalKnowledgeBase cKbase)

Description copied from class: CausalStatement

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.

Overrides:

VisualizeHolds in class CausalStatement

Parameters:

cKbase - The causal knowledge base used for visualization.