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 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()
      *description missing*
      Returns:
      *description missing*
    • getKnowledgeBase

      public CausalKnowledgeBase getKnowledgeBase()
      *description missing*
      Returns:
      *description missing*
    • getPremises

      public HashSet<PlFormula> getPremises()
      *description missing*
      Returns:
      *description missing*
    • toString

      public String toString()
      Overrides:
      toString in class Argument