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 claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )

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()	Default constructor; initializes empty sets of arguments and attacks
ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)	Default constructor; initializes empty sets of arguments and attacks

Method Summary

Modifier and Type	Method	Description
void	add(ClaimArgument arg)
ClaimSet	defeats(Extension ext)
HashSet<Claim>	getClaims()
Set<Claim>	getClaims(Extension<DungTheory> ext)	get all claims of a given extension
void	setClaims(HashSet<Claim> claims)

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, 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

ClaimBasedTheory

public ClaimBasedTheory()

Default constructor; initializes empty sets of arguments and attacks

ClaimBasedTheory

public ClaimBasedTheory(HashMap<ClaimArgument,Claim> claimMap)

Default constructor; initializes empty sets of arguments and attacks

Parameters:

claimMap - the map if arguments to claims

Method Details

add

public void add(ClaimArgument arg)

Parameters:

arg - argument

getClaims

public HashSet<Claim> getClaims()

Returns:

the claims

setClaims

public void setClaims(HashSet<Claim> claims)

Parameters:

claims - the claims to e set

getClaims

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

get all claims of a given extension

Parameters:

ext - extension

Returns:

the extension's claims

defeats

public ClaimSet defeats(Extension ext)

Parameters:

ext - the extension

Returns:

all claims defeated by the extension (extension defeat all arguments of a claim => claim defeated)