Package org.tweetyproject.causal.reasoner

Class ArgumentationBasedCounterfactualReasoner

java.lang.Object

org.tweetyproject.causal.reasoner.AbstractCausalReasoner

org.tweetyproject.causal.reasoner.AbstractArgumentationBasedCausalReasoner

org.tweetyproject.causal.reasoner.ArgumentationBasedCounterfactualReasoner

All Implemented Interfaces:

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

public class ArgumentationBasedCounterfactualReasoner
extends AbstractArgumentationBasedCausalReasoner

Implements the approach to argumentation-based counterfactual reasoning 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
ArgumentationBasedCounterfactualReasoner()

Method Summary

Modifier and Type	Method	Description
Collection<PlFormula>	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
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
boolean	query(CausalKnowledgeBase cbase, CounterfactualStatement statement)	Evaluates the given counterfactual statement against the causal knowledge base.

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

getInducedTheory

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

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

ArgumentationBasedCounterfactualReasoner

public ArgumentationBasedCounterfactualReasoner()

Method Details

getInducedTheory

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

Description copied from class: AbstractArgumentationBasedCausalReasoner

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

Specified by:

getInducedTheory in class AbstractArgumentationBasedCausalReasoner

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

query

public boolean query(CausalKnowledgeBase cbase,
 CounterfactualStatement statement)

Evaluates the given counterfactual statement against the causal knowledge base.

Parameters:

cbase - the causal knowledge base

statement - the counterfactual statement

Returns:

true if the statement holds, false otherwise

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

Overrides:

getModels in class AbstractArgumentationBasedCausalReasoner

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

getConclusions

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

Description copied from class: AbstractCausalReasoner

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

Overrides:

getConclusions 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 expressions that can be concluded from the given knowledge