Package org.tweetyproject.arg.dung.causal.syntax

Class InducedArgument

java.lang.Object

org.tweetyproject.arg.dung.syntax.Argument

org.tweetyproject.arg.dung.causal.syntax.InducedArgument

All Implemented Interfaces:

Comparable<Argument>, DungEntity, Formula, Node

public class InducedArgument
extends Argument

This class is responsible for the representation of an Argument that was induced by a CausalKnowledgeBase 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

Constructor Summary

Constructors

Constructor	Description
InducedArgument(CausalKnowledgeBase knowledgeBase, Set<PlFormula> premises, PlFormula conclusion)	Creates a causal argument

Method Summary

Modifier and Type	Method	Description
PlFormula	getConclusion()	Returns the conclusion of this induced argument.
CausalKnowledgeBase	getKnowledgeBase()	Returns the causal knowledge base associated with this argument.
HashSet<PlFormula>	getPremises()	Returns the premises of this induced argument.
String	toString()

Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument

compareTo, equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

InducedArgument

public InducedArgument(CausalKnowledgeBase knowledgeBase,
 Set<PlFormula> premises,
 PlFormula conclusion)

Creates a causal argument

Parameters:

knowledgeBase - The causal knowledge base based on which this argument is created.

premises - Set of formulas which have to be added to the knowledge base to be able to come to the the specified conclusion.

conclusion - Formula that concludes from the knowledge base, if the specified premises are added to the base.

Method Details

getConclusion

public PlFormula getConclusion()

Returns the conclusion of this induced argument.

Returns:

The conclusion that can be drawn from the knowledge base given the premises.

getKnowledgeBase

public CausalKnowledgeBase getKnowledgeBase()

Returns the causal knowledge base associated with this argument.

Returns:

The causal knowledge base from which this argument is derived.

getPremises

public HashSet<PlFormula> getPremises()

Returns the premises of this induced argument.

Returns:

A set containing all the premises required for deriving the conclusion in this argument.

toString

public String toString()

Overrides:

toString in class Argument