Package org.tweetyproject.arg.bipolar.syntax

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

public class PEAFTheory
extends AbstractEAFTheory<WeightedSetSupport>

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

Constructors

Constructor	Description
PEAFTheory()	Default constructor; initializes an empty PEAFTheory
PEAFTheory(Set<BArgument> noArguments)	Optional constructor; initializes an PEAFTheory with arguments

Method Summary

Modifier and Type	Method	Description
boolean	add(Attack attack)	Adds the given attack to this argumentation framework
boolean	add(Support support)	Adds the given support to this argumentation framework.
BArgument	addArgument(int identifier)	Add an argument with an integer identifier
void	addAttack(BipolarEntity froms, BipolarEntity tos)	Add attack between arguments with indices
void	addSupport(Set<BArgument> froms, Set<BArgument> tos, double cp)	Add a support with sets for many to many mapping
String	getASCIITree()	Returns an ascii tree for debug purposes.
boolean	isAcceptable(BArgument argument, Collection<BArgument> ext)	checks whether argument is acceptable wrt.
void	printASCIITree()	Helper function to print the ascii tree

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

contains, iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

PEAFTheory

public PEAFTheory()

Default constructor; initializes an empty PEAFTheory

PEAFTheory

public PEAFTheory(Set<BArgument> noArguments)

Optional constructor; initializes an PEAFTheory with arguments

Parameters:

noArguments - the number of arguments

Method Details

addArgument

public BArgument addArgument(int identifier)

Add an argument with an integer identifier

Overrides:

addArgument in class AbstractEAFTheory<WeightedSetSupport>

Parameters:

identifier - the identifier of the argument

Returns:

EArgument object

addSupport

public void addSupport(Set<BArgument> froms,
 Set<BArgument> tos,
 double cp)

Add a support with sets for many to many mapping

Parameters:

froms - set with arguments that originate the support

tos - set with arguments that receive the support

cp - the result assigned to the support link (must be in range [0.0, 1.0])

addAttack

public void addAttack(BipolarEntity froms,
 BipolarEntity tos)

Add attack between arguments with indices

Overrides:

addAttack in class AbstractEAFTheory<WeightedSetSupport>

Parameters:

froms - the index of the EArgument that originates the attack

tos - the index of the EArgument that receieves the attack

getASCIITree

public String 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

public boolean isAcceptable(BArgument argument,
 Collection<BArgument> ext)

Description copied from class: AbstractBipolarFramework

checks whether argument is acceptable wrt. ext

Specified by:

isAcceptable in class AbstractBipolarFramework

Parameters:

argument - some argument

ext - a set of arguments

Returns:

"true" if argument is acceptable wrt. ext

add

public boolean add(Support support)

Description copied from class: AbstractBipolarFramework

Adds the given support to this argumentation framework.

Specified by:

add in class AbstractBipolarFramework

Parameters:

support - a support

Returns:

"true" if the set of supports has been modified.

add

public boolean add(Attack attack)

Description copied from class: AbstractBipolarFramework

Adds the given attack to this argumentation framework

Specified by:

add in class AbstractBipolarFramework

Parameters:

attack - an attack

Returns:

"true" if the set of attacks has been modified.