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

Class InducedTheory

java.lang.Object
org.tweetyproject.commons.BeliefSet<Argument,DungSignature>
org.tweetyproject.arg.dung.syntax.DungTheory
org.tweetyproject.arg.dung.causal.syntax.InducedTheory
All Implemented Interfaces:
Comparable<DungTheory>, Iterable<Argument>, Collection<Argument>, ArgumentationFramework<Argument>, BeliefBase, GeneralGraph<Argument>, Graph<Argument>
public class InducedTheory extends DungTheory
This class describes an abstract argumentation framework 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
See Also:

  • Constructor Details

    • InducedTheory

      public InducedTheory(CausalKnowledgeBase knowledgeBase)
      Creates an abstract argumentation framework, which was induced from a specified causal knowledge base
      Parameters:
      knowledgeBase - The causal knowledge base, which was the origin for this framework.

  • Method Details

    • add

      public boolean add(Argument argument)
      Description copied from interface: Graph
      Adds the given node to this graph.
      Specified by:
      add in interface Collection<Argument>
      Specified by:
      add in interface Graph<Argument>
      Overrides:
      add in class DungTheory
      Parameters:
      argument - some node.
      Returns:
      "true" iff the edge has been added successfully.

    • addAttack

      public boolean addAttack(Argument attacker, Argument attacked)
      Description copied from class: DungTheory
      Adds an attack from the first argument to the second to thisDdung theory.
      Overrides:
      addAttack in class DungTheory
      Parameters:
      attacker - some argument
      attacked - some argument
      Returns:
      "true" if the set of attacks has been modified.

    • addAttack

      public boolean addAttack(InducedArgument attacker, InducedArgument attacked)
      Adds an attack from the first argument to the second to this theory.
      Parameters:
      attacker - Argument which undercuts the second argument.
      attacked - Argument which is undercut by the first argument.
      Returns:
      TRUE iff the set of attacks was changed. FALSE if the attack was already element of the set.

    • entails

      public boolean entails(PlFormula conclusion)
      This method checks if a specified fomula can be concluded from this instance, by checking if all stable extension contain at least one argument with the conclusion to check.
      Parameters:
      conclusion - Formula, which is in question to be a conclusion of this instance.
      Returns:
      TRUE iff the conclusion can be drawn from this instance. FALSE if not.

    • getArguments

      public Set<InducedArgument> getArguments()
      *description missing*
      Returns:
      *description missing*

    • getKnowledgeBase

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