Class CausalStatement

java.lang.Object
org.tweetyproject.causal.semantics.CausalStatement
Direct Known Subclasses:
InterventionalStatement
public class CausalStatement extends Object
This class describes a basic causal statement wrt. some CausalKnowledgeBase of the form:
"Given phi, it follows that psi holds"
Author:
Julian Sander, Lars Bengel

  • Constructor Details

    • CausalStatement

      public CausalStatement()
      Initializes a new empty causal statement

    • CausalStatement

      public CausalStatement(Collection<PlFormula> observations, PlFormula conclusion)
      Initializes a new causal statement
      Parameters:
      observations - observations of the causal atoms
      conclusion - the conclusion of the causal statement

  • Method Details

    • addObservation

      public boolean addObservation(PlFormula observation)
      Add a new observation to the causal statement
      Parameters:
      observation - some observation of a causal atom
      Returns:
      TRUE iff observation is added successfully

    • setConclusion

      public void setConclusion(PlFormula conclusion)
      Set a new conclusion of the causal statement
      Parameters:
      conclusion - the new conclusion

    • getConclusion

      public PlFormula getConclusion()
      Retrieves the conclusion of this causal statement
      Returns:
      The conclusion of this causal statement.

    • getObservations

      public Collection<PlFormula> getObservations()
      Retrieves the observations of this causal statement
      Returns:
      A copy of the observations of this causal statement