Package net.sf.tweety.arg.bipolar.syntax

Class EvidentialArgSystem

java.lang.Object

net.sf.tweety.commons.BeliefSet<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.arg.dung.syntax.DungSignature>

net.sf.tweety.arg.dung.syntax.DungTheory

net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework

net.sf.tweety.arg.bipolar.syntax.EvidentialArgSystem

All Implemented Interfaces:

Comparable<net.sf.tweety.arg.dung.syntax.DungTheory>, Iterable<net.sf.tweety.arg.dung.syntax.Argument>, Collection<net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument>

public class EvidentialArgSystem
extends BipolarArgFramework

This class implements a bipolar abstract argumentation theory with support in an evidential sense. ie. we distinguish between prima-facie and standard arguments. Prima-facie arguments do not require any support from other arguments to stand, while standard arguments must be supported by at least one prima-facie argument.

See

Polberg, Oren. Revisiting Support in Abstract Argumentation Systems. 2014

Field Summary

Fields inherited from class net.sf.tweety.commons.BeliefSet

EQUALS_USES_SIGNATURE, signature

Fields inherited from interface net.sf.tweety.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
EvidentialArgSystem()	Default constructor; initializes empty sets of arguments and attacks
EvidentialArgSystem(net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument> graph)	Creates a new theory from the given graph.

Method Summary

Modifier and Type	Method	Description
boolean	addPrimaFacie(net.sf.tweety.arg.dung.syntax.Argument argument)	Adds a argument with reasoner.evidential support to this reasoner.evidential argumentation system
net.sf.tweety.arg.dung.semantics.Extension	fes(net.sf.tweety.arg.dung.semantics.Extension extension)	The characteristic function of an abstract argumentation framework: F_ES(S) = {A|A is acceptable wrt.
net.sf.tweety.arg.dung.syntax.Argument	getEpsilon()	returns the special argument epsilon
Set<net.sf.tweety.arg.dung.syntax.Argument>	getEvidenceSupportedArguments()
boolean	hasEvidentialSupport(net.sf.tweety.arg.dung.syntax.Argument argument, Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)	returns true if argument has reasoner.evidential support from set ext.
boolean	hasMinimalEvidentialSupport(net.sf.tweety.arg.dung.syntax.Argument argument, Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)	returns true if argument has minimal reasoner.evidential support from set ext.
boolean	isAcceptable(net.sf.tweety.arg.dung.syntax.Argument argument, Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)	return true if argument is acceptable with respect to ext argument is acceptable wrt.
boolean	isEvidenceSupportedAttack(Collection<net.sf.tweety.arg.dung.syntax.Argument> ext, net.sf.tweety.arg.dung.syntax.Argument argument)	returns true if ext carries out an evidence supported attack on argument ext e-support-attacks an argument a iff an element x of ext attacks a and x has e-support from ext.
boolean	isMinimalEvidenceSupportedAttack(Collection<net.sf.tweety.arg.dung.syntax.Argument> ext, net.sf.tweety.arg.dung.syntax.Argument argument)	returns true if ext carries out a minimal evidence supported attack on argument i.e.
String	prettyPrint()	Pretty print of the framework.

Methods inherited from class net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework

add, add, addAllSupports, addSupport, areAdjacent, contains, containsSupport, getCompleteAssociatedDungTheory, getComplexAttacks, getDeductiveComplexAttacks, getDirectSupported, getDirectSupporters, getMediatedAttacks, getMetaFramework, getSupported, getSupported, getSupportedAttacks, getSupporters, getSupports, isClosed, isDirectSupportedBy, isMediatedAttack, isSuperMediatedAttack, isSupported, isSupported, isSupportedAttack, isSupportedBy, isSupportedBy, remove, remove, removeAll

Methods inherited from class net.sf.tweety.arg.dung.syntax.DungTheory

add, add, add, add, addAllAttacks, addAttack, compareTo, containsAll, containsAttack, containsCycle, equals, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, instantiateSignature, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, remove, toString

Methods inherited from class net.sf.tweety.commons.BeliefSet

addAll, clear, getSignature, instantiateSet, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface net.sf.tweety.graphs.Graph

iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

EvidentialArgSystem

public EvidentialArgSystem()

Default constructor; initializes empty sets of arguments and attacks

EvidentialArgSystem

public EvidentialArgSystem(net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument> graph)

Creates a new theory from the given graph.

Parameters:

graph - some graph

Method Detail

fes

public net.sf.tweety.arg.dung.semantics.Extension fes(net.sf.tweety.arg.dung.semantics.Extension extension)

The characteristic function of an abstract argumentation framework: F_ES(S) = {A|A is acceptable wrt. S}.

Parameters:

extension - an extension (a set of arguments).

Returns:

an extension (a set of arguments).

hasEvidentialSupport

public boolean hasEvidentialSupport(net.sf.tweety.arg.dung.syntax.Argument argument,
                                    Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)

returns true if argument has reasoner.evidential support from set ext. An argument a has e-support from ext iff a=epsilon or there exists an argument x of ext which supports a and all x has e-support from ext \ {a}

Parameters:

argument - an argument

ext - an extension, ie. a set of arguments

Returns:

true if argument has e-support from ext.

hasMinimalEvidentialSupport

public boolean hasMinimalEvidentialSupport(net.sf.tweety.arg.dung.syntax.Argument argument,
                                           Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)

returns true if argument has minimal reasoner.evidential support from set ext. An argument a has minimal e-support from ext iff ext e-supports a and no true subset of ext e-supports a

Parameters:

argument - an argument

ext - an extension, ie. a set of arguments

Returns:

true if argument has e-support from ext.

isEvidenceSupportedAttack

public boolean isEvidenceSupportedAttack(Collection<net.sf.tweety.arg.dung.syntax.Argument> ext,
                                         net.sf.tweety.arg.dung.syntax.Argument argument)

returns true if ext carries out an evidence supported attack on argument ext e-support-attacks an argument a iff an element x of ext attacks a and x has e-support from ext.

Parameters:

argument - an argument

ext - an extension, ie. a set of arguments

Returns:

true if ext e-support-attacks argument

isMinimalEvidenceSupportedAttack

public boolean isMinimalEvidenceSupportedAttack(Collection<net.sf.tweety.arg.dung.syntax.Argument> ext,
                                                net.sf.tweety.arg.dung.syntax.Argument argument)

returns true if ext carries out a minimal evidence supported attack on argument i.e. there is no true subset of ext which e-support-attacks argument

Parameters:

argument - an argument

ext - an extension, ie. a set of arguments

Returns:

true if ext e-support-attacks argument

isAcceptable

public boolean isAcceptable(net.sf.tweety.arg.dung.syntax.Argument argument,
                            Collection<net.sf.tweety.arg.dung.syntax.Argument> ext)

return true if argument is acceptable with respect to ext argument is acceptable wrt. S iff argument is e-supported by S and if a set T minimal e-support-attacks argument, then S carries out an e-supported attack against a member of T.

Parameters:

argument - an argument

ext - an extension i.e. a set of arguments

Returns:

true if argument is acceptable wrt. ext

addPrimaFacie

public boolean addPrimaFacie(net.sf.tweety.arg.dung.syntax.Argument argument)

Adds a argument with reasoner.evidential support to this reasoner.evidential argumentation system

Parameters:

argument - some argument

Returns:

"true" if the argument has been modified.

getEpsilon

public net.sf.tweety.arg.dung.syntax.Argument getEpsilon()

returns the special argument epsilon

Returns:

epsilon

getEvidenceSupportedArguments

public Set<net.sf.tweety.arg.dung.syntax.Argument> getEvidenceSupportedArguments()

prettyPrint

public String prettyPrint()

Pretty print of the framework.

Overrides:

prettyPrint in class BipolarArgFramework

Returns:

the pretty print of the framework.