Package net.sf.tweety.arg.social.syntax
Class SocialAbstractArgumentationFramework
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<Argument,DungSignature>
-
- net.sf.tweety.arg.dung.syntax.DungTheory
-
- net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
-
- All Implemented Interfaces:
java.lang.Comparable<DungTheory>
,java.lang.Iterable<Argument>
,java.util.Collection<Argument>
,BeliefBase
,Graph<Argument>
public class SocialAbstractArgumentationFramework extends DungTheory
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins. Social Abstract Argumentation. IJCAI 2011]- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
Fields inherited from interface net.sf.tweety.graphs.Graph
IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS
-
-
Constructor Summary
Constructors Constructor Description SocialAbstractArgumentationFramework()
Creates a new empty social abstract argumentation frameworkSocialAbstractArgumentationFramework(Graph<Argument> graph)
Creates a new social abstract argumentation framework from the given graph.
-
Method Summary
Modifier and Type Method Description boolean
add(Argument a)
Adds the given node to this graph.boolean
add(DungTheory theory)
Adds all arguments and attacks of the given theory to this theoryint
getNegative(Argument arg)
Returns the number of negative votes of the given argumentint
getPositive(Argument arg)
Returns the number of positive votes of the given argumentboolean
remove(Argument a)
Removes the argument and all its attacksjava.lang.String
toString()
void
voteDown(Argument arg)
Adds a negative vote to the given argument.void
voteDown(Argument arg, int number)
Adds the given number of negative votes to the given argumentvoid
voteUp(Argument arg)
Adds a positive vote to the given argument.void
voteUp(Argument arg, int number)
Adds the given number of positive votes to the given argument-
Methods inherited from class net.sf.tweety.arg.dung.syntax.DungTheory
add, add, add, addAllAttacks, addAttack, areAdjacent, compareTo, contains, containsAll, containsAttack, containsCycle, equals, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, removeAll
-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, addAll, clear, getSignature, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray
-
-
-
-
Method Detail
-
getPositive
public int getPositive(Argument arg)
Returns the number of positive votes of the given argument- Parameters:
arg
- some argument- Returns:
- the number of positive votes of the given argument
-
getNegative
public int getNegative(Argument arg)
Returns the number of negative votes of the given argument- Parameters:
arg
- some argument- Returns:
- the number of negative votes of the given argument
-
voteUp
public void voteUp(Argument arg, int number)
Adds the given number of positive votes to the given argument- Parameters:
arg
- some argumentnumber
- some number
-
voteUp
public void voteUp(Argument arg)
Adds a positive vote to the given argument.- Parameters:
arg
- some argument
-
voteDown
public void voteDown(Argument arg, int number)
Adds the given number of negative votes to the given argument- Parameters:
arg
- some argumentnumber
- some number
-
voteDown
public void voteDown(Argument arg)
Adds a negative vote to the given argument.- Parameters:
arg
- some argument
-
remove
public boolean remove(Argument a)
Description copied from class:DungTheory
Removes the argument and all its attacks- Overrides:
remove
in classDungTheory
- Parameters:
a
- some argument- Returns:
- true if this structure has been changed
-
add
public boolean add(Argument a)
Description copied from interface:Graph
Adds the given node to this graph.
-
add
public boolean add(DungTheory theory)
Description copied from class:DungTheory
Adds all arguments and attacks of the given theory to this theory- Overrides:
add
in classDungTheory
- Parameters:
theory
- some Dung theory- Returns:
- "true" if this Dung Theory has been modified
-
toString
public java.lang.String toString()
- Specified by:
toString
in interfaceBeliefBase
- Specified by:
toString
in interfaceGraph<Argument>
- Overrides:
toString
in classDungTheory
-
-