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
org.tweetyproject.web.services.causal

Uses of CausalKnowledgeBase in org.tweetyproject.causal.parser

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

Modifier and Type	Method	Description
CausalKnowledgeBase	CausalParser.parseBeliefBase(Reader reader)	Parses data from the reader into a CausalKnowledgeBase.

Uses of CausalKnowledgeBase in org.tweetyproject.causal.reasoner

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)
Map<Proposition,Collection<Proposition>>	ArgumentationBasedCausalReasoner.getSignificantAtoms(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition,Boolean> interventions, Collection<Proposition> atomFilter)	Computes, for each atom that appears in the knowledge base, the set of atoms that are significant for establishing that conclusion under the given observations and 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

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.

Uses of CausalKnowledgeBase in org.tweetyproject.web.services.causal

Methods in org.tweetyproject.web.services.causal with parameters of type CausalKnowledgeBase

Modifier and Type	Method	Description
DungTheory	CausalReasonerService.queryArgumentationFramework(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations)	Compute the induced dung theory
Collection<PlFormula>	CausalReasonerService.queryConclusions(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Computes the causal conclusions of the causal knowledge based given the observations
Map<Proposition,Collection<Proposition>>	CausalReasonerService.queryPerAtomSignificantAtoms(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Determine mapping of significant atoms per atom
CausalReasonerService.SequenceExplanations	CausalReasonerService.querySequenceExplanations(CausalKnowledgeBase causalKnowledgeBase, Collection<PlFormula> observations, Set<Proposition> conclusionFilter)	Determine the collection of sequence explanations