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

Class CounterfactualStatement

java.lang.Object

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

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

org.tweetyproject.arg.dung.causal.syntax.CounterfactualStatement

public class CounterfactualStatement
extends InterventionalStatement

This class describes a counterfactual causal statement like: given phi, if v had been 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
CounterfactualStatement(HashSet<PlFormula> conclusions, HashMap<Proposition,Boolean> interventions, HashSet<PlFormula> premises)	Creates a new counterfactual causal statement.

Method Summary

Modifier and Type	Method	Description
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.InterventionalStatement

getInterventions

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

CounterfactualStatement

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

Creates a new counterfactual 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

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 InterventionalStatement

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 InterventionalStatement

Parameters:

cKbase - The causal knowledge base used for visualization.