Class InterventionalStatement

java.lang.Object

org.tweetyproject.causal.semantics.CausalStatement

org.tweetyproject.causal.semantics.InterventionalStatement

Direct Known Subclasses:

CounterfactualStatement

public class InterventionalStatement
extends CausalStatement

This class describes an interventional causal statement wrt. some CausalKnowledgeBase of the form:
"Given phi, if 'v' would be 'x' then psi would be true"
where 'v' is some atom and 'x' is a truth value

Author:

Julian Sander, Lars Bengel

See Also:

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

Constructor Summary

Constructors

Constructor	Description
InterventionalStatement()	Initializes a new empty interventional causal statement
InterventionalStatement(Collection<PlFormula> observations, Map<Proposition, Boolean> interventions, PlFormula conclusion)	Initializes a new interventional causal statement
InterventionalStatement(Collection<PlFormula> observations, PlFormula conclusion)	Initializes a new interventional causal statement without interventions

Method Summary

Modifier and Type	Method	Description
boolean	addIntervention(Proposition atom, boolean value)	Add a new intervention which sets the given atom to the given truth value to the causal statement
Map<Proposition, Boolean>	getInterventions()	Retrieves the interventions of this causal statement.

Methods inherited from class org.tweetyproject.causal.semantics.CausalStatement

addObservation, getConclusion, getObservations, setConclusion

Methods inherited from class java.lang.Object

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

Constructor Details

InterventionalStatement

public InterventionalStatement(Collection<PlFormula> observations,
 Map<Proposition, Boolean> interventions,
 PlFormula conclusion)

Initializes a new interventional causal statement

Parameters:

observations - Observations of causal atoms

interventions - A set of interventions on causal atoms

conclusion - Conclusion of the causal statement

InterventionalStatement

public InterventionalStatement(Collection<PlFormula> observations,
 PlFormula conclusion)

Initializes a new interventional causal statement without interventions

Parameters:

observations - Observations of causal atoms

conclusion - Conclusion of the causal statement

InterventionalStatement

public InterventionalStatement()

Initializes a new empty interventional causal statement

Method Details

addIntervention

public boolean addIntervention(Proposition atom,
 boolean value)

Add a new intervention which sets the given atom to the given truth value to the causal statement

Parameters:

atom - some causal atom

value - some truth value

Returns:

TRUE iff the intervention is added successfully

getInterventions

public Map<Proposition, Boolean> getInterventions()

Retrieves the interventions of this causal statement.

Returns:

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