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:

• DungTheory

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Fields inherited from interface org.tweetyproject.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
InducedTheory(CausalKnowledgeBase knowledgeBase)	Creates an abstract argumentation framework, which was induced from a specified causal knowledge base

Method Summary

Modifier and Type	Method	Description
boolean	add(Argument argument)	Adds the given node to this graph.
boolean	addAttack(InducedArgument attacker, InducedArgument attacked)	Adds an attack from the first argument to the second to this theory.
boolean	addAttack(Argument attacker, Argument attacked)	Adds an attack from the first argument to the second to thisDdung theory.
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.
Set<InducedArgument>	getArguments()	Retrieves all InducedArguments from the theory.
CausalKnowledgeBase	getKnowledgeBase()	Retrieves the causal knowledge base associated with this theory.

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

add, add, add, add, addAllAttacks, areAdjacent, clone, compareTo, contains, containsAll, containsAttack, containsCycle, containsOddCycle, equals, equalsIn, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttacked, getAttackers, getAttackers, getAttacks, getBidirectionalAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, getUnattackedAttackers, getUndefendedAttacks, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissible, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isComplete, isConflictFree, isConflictFree, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isStronglyDefendedBy, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, addAll, clear, getSignature, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface org.tweetyproject.graphs.Graph

iterator

Methods inherited from interface java.lang.Iterable

forEach

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()

Retrieves all InducedArguments from the theory.

Returns:

A set of all InducedArguments within this theory.

getKnowledgeBase

public CausalKnowledgeBase getKnowledgeBase()

Retrieves the causal knowledge base associated with this theory.

Returns:

The causal knowledge base from which this theory is induced.