Package org.tweetyproject.arg.dung.syntax

Class ClaimBasedTheory

java.lang.Object

org.tweetyproject.commons.BeliefSet<Argument,DungSignature>

org.tweetyproject.arg.dung.syntax.DungTheory

org.tweetyproject.arg.dung.syntax.ClaimBasedTheory

All Implemented Interfaces:

Comparable<DungTheory>, Iterable<Argument>, Collection<Argument>, ArgumentationFramework<Argument>, BeliefBase, GeneralGraph<Argument>, Graph<Argument>

public class ClaimBasedTheory
extends DungTheory

Implements a claim-based argumentation theory. See: "The Complexity Landscape of Claim-Augmented Argumentation Frameworks" by Wolfgang Dvorak, Alexander Gressler, Anna Rapberger, and Stefan Woltran.

Author:

Sebastian Franke

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
ClaimBasedTheory()	Creates a new empty claim-based theory.
ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)	Creates a new claim-based theory from a claim map.

Method Summary

Modifier and Type	Method	Description
void	add(ClaimArgument arg)	Adds a claim argument to this theory.
ClaimSet	defeats(Extension ext)	Returns all claims defeated by the extension.
HashSet<Claim>	getClaims()	Returns all claims in this theory.
Set<Claim>	getClaims(Extension<DungTheory> ext)	Returns all claims of a given extension.
void	setClaims(HashSet<Claim> claims)	Sets the claims of this theory.

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

add, add, add, add, add, addAllAttacks, addAttack, areAdjacent, clone, compareTo, contains, containsAll, containsAttack, containsCycle, containsOddCycle, equals, equalsIn, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttacked, getAttackers, getAttackers, getAttacks, getBidirectionalAttacks, getChildren, getComplementGraph, getComponents, getConnectedComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getReduct, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, getUnattackedAttackers, getUndefendedAttacks, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissible, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isComplete, isConflictFree, isConflictFree, isDefenseBranch, isIndirectAttack, isPreferred, 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

getAncestors, getAncestors, iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

ClaimBasedTheory

public ClaimBasedTheory()

Creates a new empty claim-based theory.

ClaimBasedTheory

public ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)

Creates a new claim-based theory from a claim map.

Parameters:

claimMap - the map if arguments to claims

Method Details

add

public void add(ClaimArgument arg)

Adds a claim argument to this theory.

Parameters:

arg - argument

getClaims

public HashSet<Claim> getClaims()

Returns all claims in this theory.

Returns:

the claims

setClaims

public void setClaims(HashSet<Claim> claims)

Sets the claims of this theory.

Parameters:

claims - the claims to set

getClaims

public Set<Claim> getClaims(Extension<DungTheory> ext)

Returns all claims of a given extension.

Parameters:

ext - extension

Returns:

the extension's claims

defeats

public ClaimSet defeats(Extension ext)

Returns all claims defeated by the extension.

Parameters:

ext - the extension

Returns:

all claims defeated by the extension