Uses of Class
org.tweetyproject.causal.syntax.CausalKnowledgeBase

Packages that use CausalKnowledgeBase

Package	Description
org.tweetyproject.causal.parser
org.tweetyproject.causal.reasoner
org.tweetyproject.causal.semantics
org.tweetyproject.causal.syntax

Uses of CausalKnowledgeBase in org.tweetyproject.causal.parser

Subclasses with type arguments of type CausalKnowledgeBase in org.tweetyproject.causal.parser

Modifier and Type	Class	Description
class	CausalParser

Methods in org.tweetyproject.causal.parser that return CausalKnowledgeBase

Modifier and Type	Method	Description
CausalKnowledgeBase	CausalParser.parseBeliefBase(Reader reader)

Uses of CausalKnowledgeBase in org.tweetyproject.causal.reasoner

Classes in org.tweetyproject.causal.reasoner that implement interfaces with type arguments of type CausalKnowledgeBase

Modifier and Type	Class	Description
class	AbstractCausalReasoner	General abstract reasoner for basic causal reasoning with CausalKnowledgeBase
class	AbstractCausalReasoner	General abstract reasoner for basic causal reasoning with CausalKnowledgeBase

Methods in org.tweetyproject.causal.reasoner with parameters of type CausalKnowledgeBase

Modifier and Type	Method	Description
Collection<PlFormula>	AbstractCausalReasoner.getConclusions(CausalKnowledgeBase cbase)	Computes the set of all literal expressions that can be concluded from the causal knowledge base
Collection<PlFormula>	AbstractCausalReasoner.getConclusions(CausalKnowledgeBase cbase, Collection<PlFormula> observations)	Computes the set of all literal expressions that can be concluded from the causal knowledge base and observation
Collection<PlFormula>	AbstractCausalReasoner.getConclusions(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)	Computes the set of all literal expressions that can be concluded from the causal knowledge base and observations
Collection<PlFormula>	AbstractCausalReasoner.getConclusions(CausalKnowledgeBase cbase, PlFormula observation)	Computes the set of all literal expressions that can be concluded from the causal knowledge base and observation
Collection<PlFormula>	ArgumentationBasedCounterfactualReasoner.getConclusions(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)
DungTheory	AbstractArgumentationBasedCausalReasoner.getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations)	Constructs a logical argumentation framework from a given causal knowledge base and some observations
abstract DungTheory	AbstractArgumentationBasedCausalReasoner.getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)	Constructs a logical argumentation framework from a given causal knowledge base and some observations
DungTheory	ArgumentationBasedCausalReasoner.getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)
DungTheory	ArgumentationBasedCounterfactualReasoner.getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)
CausalInterpretation	AbstractCausalReasoner.getModel(CausalKnowledgeBase cbase)
CausalInterpretation	AbstractCausalReasoner.getModel(CausalKnowledgeBase cbase, Collection<PlFormula> observations)	Computes some interpretation that can be concluded from the causal knowledge base and observations
CausalInterpretation	AbstractCausalReasoner.getModel(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)	Computes some interpretation that can be concluded from the causal knowledge base and observations
CausalInterpretation	AbstractCausalReasoner.getModel(CausalKnowledgeBase cbase, PlFormula observation)	Computes some interpretation that can be concluded from the causal knowledge base and observations
Collection<CausalInterpretation>	AbstractArgumentationBasedCausalReasoner.getModels(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)
Collection<CausalInterpretation>	AbstractCausalReasoner.getModels(CausalKnowledgeBase cbase)
Collection<CausalInterpretation>	AbstractCausalReasoner.getModels(CausalKnowledgeBase cbase, Collection<PlFormula> observations)	Computes the set of all interpretations that can be concluded from the causal knowledge base and observation
abstract Collection<CausalInterpretation>	AbstractCausalReasoner.getModels(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)	Computes the set of all interpretations that can be concluded from the causal knowledge base and observations
Collection<CausalInterpretation>	AbstractCausalReasoner.getModels(CausalKnowledgeBase cbase, PlFormula observation)	Computes the set of all interpretations that can be concluded from the causal knowledge base and observation
Collection<CausalInterpretation>	ArgumentationBasedCounterfactualReasoner.getModels(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)
boolean	AbstractCausalReasoner.query(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions, PlFormula effect)	Determines whether the given effect is entailed by the causal knowledge base together with the observations
boolean	AbstractCausalReasoner.query(CausalKnowledgeBase cbase, Collection<PlFormula> observations, PlFormula effect)	Determines whether the given effect is entailed by the causal knowledge base together with the observations
Boolean	AbstractCausalReasoner.query(CausalKnowledgeBase cbase, PlFormula effect)
boolean	AbstractCausalReasoner.query(CausalKnowledgeBase cbase, PlFormula observation, PlFormula effect)	Determines whether the given effect is entailed by the causal knowledge base together with the observation
boolean	ArgumentationBasedCausalReasoner.query(CausalKnowledgeBase cbase, CausalStatement statement)	Determines whether the given causal statements holds under the causal knowledge base
boolean	ArgumentationBasedCausalReasoner.query(CausalKnowledgeBase cbase, InterventionalStatement statement)	Determines whether the given causal statements holds under the causal knowledge base
boolean	ArgumentationBasedCounterfactualReasoner.query(CausalKnowledgeBase cbase, CounterfactualStatement statement)	Evaluates the given counterfactual statement against the causal knowledge base.

Uses of CausalKnowledgeBase in org.tweetyproject.causal.semantics

Subclasses with type arguments of type CausalKnowledgeBase in org.tweetyproject.causal.semantics

Modifier and Type	Class	Description
class	CausalInterpretation	Representation of a propositional interpretation of a causal knowledge base

Methods in org.tweetyproject.causal.semantics with parameters of type CausalKnowledgeBase

Modifier and Type	Method	Description
boolean	CausalInterpretation.satisfies(CausalKnowledgeBase beliefBase)

Uses of CausalKnowledgeBase in org.tweetyproject.causal.syntax

Methods in org.tweetyproject.causal.syntax that return CausalKnowledgeBase

Modifier and Type	Method	Description
CausalKnowledgeBase	CausalKnowledgeBase.clone()
CausalKnowledgeBase	CausalKnowledgeBase.getTwinVersion()	Returns the twin version of this causal knowledge base.