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
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
-
Field Summary
Fields inherited from class org.tweetyproject.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
Constructor Summary
ConstructorDescriptionCausalKnowledgeBase
(CausalModel facts, Set<PlFormula> assumptions) Creates a new causal knowledge base -
Method Summary
Modifier and TypeMethodDescriptionclone()
*description missing**description missing*getSingelAtomConclusions
(Set<PlFormula> premises) Returns all 1-atom-conclusions of this instance if the specified set of formulas is used as premises.Methods inherited from class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase
addAssumption, entails, getAssumptions, removeAssumption
Methods inherited from class org.tweetyproject.logics.pl.syntax.PlBeliefSet
getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf
Methods inherited from class org.tweetyproject.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString
Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
Constructor Details
-
CausalKnowledgeBase
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
- Returns:
- The underlying causal model of this instance.
-
getBeliefs
Description copied from class:KnowledgeBase
*description missing*- Overrides:
getBeliefs
in classKnowledgeBase
- Returns:
- Returns all propositional formulas of this knowledge base, this includes the structural equations of the underlying causal model.
-
getBeliefsWithoutStructuralEquations
*description missing*- Returns:
- *description missing*
-
getSingelAtomConclusions
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
- Overrides:
clone
in classKnowledgeBase
-