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

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
CausalKnowledgeBase(CausalModel facts, Set<PlFormula> assumptions)	Creates a new causal knowledge base

Method Summary

Modifier and Type	Method	Description
CausalKnowledgeBase	clone()
HashSet<PlFormula>	getBeliefs()	Retrieves all beliefs (propositional formulas) stored in this knowledge base.
HashSet<PlFormula>	getBeliefsWithoutStructuralEquations()	Retrieves all propositional formulas of this knowledge base excluding the structural equations.
CausalModel	getCausalModel()
HashSet<PlFormula>	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 class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

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

Retrieves all beliefs (propositional formulas) stored in this knowledge base.

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()

Retrieves all propositional formulas of this knowledge base excluding the structural equations.

Returns:

a set of beliefs without structural equations

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