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

Class CausalKnowledgeBase

java.lang.Object
org.tweetyproject.commons.BeliefSet<PlFormula,PlSignature>
org.tweetyproject.logics.pl.syntax.PlBeliefSet
org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase
org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase
All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, BeliefBase
public class CausalKnowledgeBase extends KnowledgeBase
This class describes a causal knowledge base. 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 Details

    • CausalKnowledgeBase

      public CausalKnowledgeBase(CausalModel facts, Set<PlFormula> assumptions)
      Creates a new causal knowledge base
      Parameters:
      facts - Causal model representing the causal origin of this knowledge base.
      assumptions - Set of assumptions about the background atoms of the causal model.

  • Method Details

    • getCausalModel

      public CausalModel getCausalModel()
      Returns:
      The underlying causal model of this instance.

    • getBeliefs

      public HashSet<PlFormula> getBeliefs()
      Description copied from class: KnowledgeBase
      *description missing*
      Overrides:
      getBeliefs in class KnowledgeBase
      Returns:
      Returns all propositional formulas of this knowledge base, this includes the structural equations of the underlying causal model.

    • getBeliefsWithoutStructuralEquations

      public HashSet<PlFormula> getBeliefsWithoutStructuralEquations()
      *description missing*
      Returns:
      *description missing*

    • getSingelAtomConclusions

      public HashSet<PlFormula> getSingelAtomConclusions(Set<PlFormula> premises)
      Returns all 1-atom-conclusions of this instance if the specified set of formulas is used as premises.
      Parameters:
      premises - Set of formulas which are added to this knowledge base to get to the returned conlusions.
      Returns:
      Set of formulas, that can be concluded from this knowledge base, if the specified formulas are added.

    • clone

      public CausalKnowledgeBase clone()
      Overrides:
      clone in class KnowledgeBase