Class AbstractArgumentationBasedCausalReasoner

java.lang.Object

org.tweetyproject.causal.reasoner.AbstractCausalReasoner

org.tweetyproject.causal.reasoner.AbstractArgumentationBasedCausalReasoner

All Implemented Interfaces:

ModelProvider<PlFormula, CausalKnowledgeBase, CausalInterpretation>, QualitativeReasoner<CausalKnowledgeBase, PlFormula>, Reasoner<Boolean, CausalKnowledgeBase, PlFormula>

Direct Known Subclasses:

ArgumentationBasedCausalReasoner, ArgumentationBasedCounterfactualReasoner

public abstract class AbstractArgumentationBasedCausalReasoner
extends AbstractCausalReasoner

Base class for argumentation-based causal reasoners as described in

Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, 'Argumentation-based Causal and Counterfactual Reasoning', 1st International Workshop on Argumentation for eXplainable AI (ArgXAI), (2022)

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
AbstractArgumentationBasedCausalReasoner()

Method Summary

Modifier and Type	Method	Description
DungTheory	getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations)	Constructs a logical argumentation framework from a given causal knowledge base and some observations
abstract DungTheory	getInducedTheory(CausalKnowledgeBase cbase, Collection<PlFormula> observations, Map<Proposition, Boolean> interventions)	Constructs a logical argumentation framework from a given causal knowledge base and some observations
Collection<CausalInterpretation>	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

Methods inherited from class org.tweetyproject.causal.reasoner.AbstractCausalReasoner

getConclusions, getConclusions, getConclusions, getConclusions, getModel, getModel, getModel, getModel, getModels, getModels, getModels, isInstalled, query, query, query, query

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AbstractArgumentationBasedCausalReasoner

public AbstractArgumentationBasedCausalReasoner()

Method Details

getInducedTheory

public abstract DungTheory getInducedTheory(CausalKnowledgeBase cbase,
 Collection<PlFormula> observations,
 Map<Proposition, Boolean> interventions)

Constructs a logical argumentation framework from a given causal knowledge base and some observations

Parameters:

cbase - some causal knowledge base

observations - some logical formulae representing the observations of causal atoms

interventions - a set of interventions on causal atoms

Returns:

the argumentation framework induced from the causal knowledge base and the observations

getInducedTheory

public DungTheory getInducedTheory(CausalKnowledgeBase cbase,
 Collection<PlFormula> observations)

Constructs a logical argumentation framework from a given causal knowledge base and some observations

Parameters:

cbase - some causal knowledge base

observations - some logical formulae representing the observations of causal atoms

Returns:

the argumentation framework induced from the causal knowledge base and the observations

getModels

public Collection<CausalInterpretation> getModels(CausalKnowledgeBase cbase,
 Collection<PlFormula> observations,
 Map<Proposition, Boolean> interventions)

Description copied from class: AbstractCausalReasoner

Computes the set of all interpretations that can be concluded from the causal knowledge base and observations

Specified by:

getModels in class AbstractCausalReasoner

Parameters:

cbase - some causal knowledge base

observations - some logical formulae over atoms of the causal knowledge base

interventions - a set of interventions on causal atoms

Returns:

the set of interpretations that can be concluded from the causal knowledge base