Class PEAFTheory
java.lang.Object
org.tweetyproject.commons.BeliefSet<BArgument,DungSignature>
org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory<WeightedSetSupport>
org.tweetyproject.arg.bipolar.syntax.PEAFTheory
- All Implemented Interfaces:
Iterable<BArgument>
,Collection<BArgument>
,BeliefBase
,GeneralGraph<BArgument>
,Graph<BArgument>
- Direct Known Subclasses:
NamedPEAFTheory
This class implements an abstract argumentation theory
in the sense of Probabilistic Evidential Argumentation Frameworks (PrEAF).
see Li, Hengfei. Probabilistic argumentation. 2015. PhD Thesis. Aberdeen University.
- Author:
- Taha Dogan Gunes
-
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
ConstructorDescriptionDefault constructor; initializes an empty PEAFTheoryPEAFTheory
(Set<BArgument> noArguments) Optional constructor; initializes an PEAFTheory with arguments -
Method Summary
Modifier and TypeMethodDescriptionboolean
Adds the given attack to this argumentation frameworkboolean
Adds the given support to this argumentation framework.addArgument
(int identifier) Add an argument with an integer identifiervoid
addAttack
(BipolarEntity froms, BipolarEntity tos) Add attack between arguments with indicesvoid
addSupport
(Set<BArgument> froms, Set<BArgument> tos, double cp) Add a support with sets for many to many mappingReturns an ascii tree for debug purposes.boolean
isAcceptable
(BArgument argument, Collection<BArgument> ext) checks whether argument is acceptable wrt.void
Helper function to print the ascii treeMethods inherited from class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory
addArgument, addAttack, addAttack, addSupport, getArguments, getArgumentsAsSet, getAttacks, getEta, getNumberOfArguments, getSupports, getSupports, powerSet, toString
Methods inherited from class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
add, add, add, addAllAttacks, addAllSupports, areAdjacent, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getChildren, getComplementGraph, getDirectSupported, getDirectSupporters, getEdge, getEdges, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasSelfLoops, isAttackedBy, isDirectSupportedBy, isWeightedGraph, prettyPrint, remove, remove, remove, removeAll
Methods inherited from class org.tweetyproject.commons.BeliefSet
add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray, toString
Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
Constructor Details
-
PEAFTheory
public PEAFTheory()Default constructor; initializes an empty PEAFTheory -
PEAFTheory
Optional constructor; initializes an PEAFTheory with arguments- Parameters:
noArguments
- the number of arguments
-
-
Method Details
-
addArgument
Add an argument with an integer identifier- Overrides:
addArgument
in classAbstractEAFTheory<WeightedSetSupport>
- Parameters:
identifier
- the identifier of the argument- Returns:
- EArgument object
-
addSupport
Add a support with sets for many to many mapping- Parameters:
froms
- set with arguments that originate the supporttos
- set with arguments that receive the supportcp
- the result assigned to the support link (must be in range [0.0, 1.0])
-
addAttack
Add attack between arguments with indices- Overrides:
addAttack
in classAbstractEAFTheory<WeightedSetSupport>
- Parameters:
froms
- the index of the EArgument that originates the attacktos
- the index of the EArgument that receieves the attack
-
getASCIITree
Returns an ascii tree for debug purposes. This is usually used in the unit tests.- Returns:
- the ascii tree in string
-
printASCIITree
public void printASCIITree()Helper function to print the ascii tree -
isAcceptable
Description copied from class:AbstractBipolarFramework
checks whether argument is acceptable wrt. ext- Specified by:
isAcceptable
in classAbstractBipolarFramework
- Parameters:
argument
- some argumentext
- a set of arguments- Returns:
- "true" if argument is acceptable wrt. ext
-
add
Description copied from class:AbstractBipolarFramework
Adds the given support to this argumentation framework.- Specified by:
add
in classAbstractBipolarFramework
- Parameters:
support
- a support- Returns:
- "true" if the set of supports has been modified.
-
add
Description copied from class:AbstractBipolarFramework
Adds the given attack to this argumentation framework- Specified by:
add
in classAbstractBipolarFramework
- Parameters:
attack
- an attack- Returns:
- "true" if the set of attacks has been modified.
-