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
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
ConstructorDescriptionInducedArgument
(CausalKnowledgeBase knowledgeBase, Set<PlFormula> premises, PlFormula conclusion) Creates a causal argument -
Method Summary
Modifier and TypeMethodDescription*description missing**description missing**description missing*toString()
Methods inherited from class org.tweetyproject.arg.dung.syntax.Argument
compareTo, equals, getLdoArgument, getLdoFormula, getName, getSignature, hashCode, setName
-
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