Package org.tweetyproject.arg.bipolar.syntax

Class DeductiveArgumentationFramework

java.lang.Object

org.tweetyproject.commons.BeliefSet<BArgument,DungSignature>

org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

All Implemented Interfaces:

Comparable<DeductiveArgumentationFramework>, Iterable<BArgument>, Collection<BArgument>, BeliefBase, GeneralGraph<BArgument>, Graph<BArgument>

public class DeductiveArgumentationFramework
extends AbstractBipolarFramework
implements Comparable<DeductiveArgumentationFramework>

This class implements a bipolar abstract argumentation theory with support in a deductive sense. ie. if a supports b, then the acceptance of a implies the acceptance of b and as a consequence the non-acceptance of b implies the non-acceptance of a.

See

Cayrol, Lagasquie-Schiex. Bipolarity in argumentation graphs: Towards a better understanding. 2013

and

Boella et al. Support in Abstract Argumentation. 2010

Author:

Lars Bengel

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
DeductiveArgumentationFramework()	Default constructor; initializes empty sets of arguments, attacks and supports

Method Summary

Modifier and Type	Method	Description
boolean	add(Attack a)	Adds the given attack to this argumentation framework
boolean	add(Support supp)	Adds the given support to this bipolar argumentation framework.
boolean	addAttack(BArgument attacker, BArgument attacked)	Adds an attack from the first argument to the second to this deductive argumentation system.
boolean	addSupport(BipolarEntity bipolarEntity, BArgument supported)	Adds a support from the first argument to the second to this bipolar argumentation framework.
int	compareTo(DeductiveArgumentationFramework o)
Set<Attack>	getAttacks()	Returns all attacks of this theory.
DungTheory	getCompleteAssociatedDungTheory()	constructs the complete associated dung theory of this bipolar argumentation framework i.e.
Set<BinaryAttack>	getComplexAttacks()	Calculates the set of complex attacks in this bipolar argumentation framework i.e.
Set<BinaryAttack>	getDeductiveComplexAttacks()	Calculates the set of deductive complex attacks (d-attacks) in this bipolar argumentation framework i.e.
Set<BinaryAttack>	getMediatedAttacks(BArgument arg1)	Calculates the set of mediated attack from "arg1" to other arguments "y", i.e.
DungTheory	getMetaFramework()	constructs the meta dung theory of this bipolar argumentation framework by adding meta-arguments for every attack and support relation See Boella et al.
Set<BArgument>	getSupported(Collection<BArgument> ext)	Computes the set {A | there is a sequence of direct supports from an element of ext to A
Set<BArgument>	getSupported(BArgument argument)	Computes the set {A | there is a sequence of direct supports from argument to A
Set<BinaryAttack>	getSupportedAttacks(BArgument arg1)	Calculates the set of supported attack from "arg1" to other arguments "y", i.e.
Set<BArgument>	getSupporters(BArgument argument)	Computes the set {A | there is a sequence of direct supports from A to argument
Set<Support>	getSupports()	Returns all supports of this theory.
int	hashCode()
boolean	isAcceptable(BArgument argument, Collection<BArgument> ext)	checks whether argument is acceptable wrt.
boolean	isAttacked(BArgument argument, Set<BArgument> argumentSet)	returns true if some argument of argumentSet attacks argument.
boolean	isAttacking(Set<BArgument> argumentSet1, Set<BArgument> argumentSet2)	Checks whether argumentSet1 is attacking argumentSet2 ie any element of argumentSet1 is attacking any element of argumentSet2
boolean	isAttacking(BArgument argument, Set<BArgument> argSet)	returns true if some argument of argSet is attacked by argument.
boolean	isClosed(ArgumentSet ext)	Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of ext
boolean	isMediatedAttack(BArgument arg1, BArgument arg2)	Checks whether there exists a mediated attack from "arg1" to "arg2", i.e.
boolean	isSuperMediatedAttack(BArgument arg1, BArgument arg2)	Checks whether there exists a super-mediated attack from "arg1" to "arg2", i.e.
boolean	isSupportedAttack(BArgument arg1, BArgument arg2)	Checks whether there exists a supported attack from "arg1" to "arg2", i.e.
NecessityArgumentationFramework	toNAF()	translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.

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, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray, toString, 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, toString

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

DeductiveArgumentationFramework

public DeductiveArgumentationFramework()

Default constructor; initializes empty sets of arguments, attacks and supports

Method Details

isClosed

public boolean isClosed(ArgumentSet ext)

Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of ext

Parameters:

ext - an extension

Returns:

true if ext is closed under R_sup

getDeductiveComplexAttacks

public Set<BinaryAttack> getDeductiveComplexAttacks()

Calculates the set of deductive complex attacks (d-attacks) in this bipolar argumentation framework i.e. all direct, supported, mediated and super-mediated attacks

Returns:

set of d-attacks in this bipolar argumentation framework

getComplexAttacks

public Set<BinaryAttack> getComplexAttacks()

Calculates the set of complex attacks in this bipolar argumentation framework i.e. all direct, supported and mediated attacks

Returns:

set of complex attacks in this bipolar argumentation framework

getMediatedAttacks

public Set<BinaryAttack> getMediatedAttacks(BArgument arg1)

Calculates the set of mediated attack from "arg1" to other arguments "y", i.e. whether there is a sequence of direct supports from "y" to "x" and a direct attack from "arg1" to "x".

Parameters:

arg1 - an argument.

Returns:

set of mediated attacks starting from "arg1".

isMediatedAttack

public boolean isMediatedAttack(BArgument arg1,
 BArgument arg2)

Checks whether there exists a mediated attack from "arg1" to "arg2", i.e. whether there is a sequence of direct supports from "arg2" to "x" and a direct attack from "arg1" to "x".

Parameters:

arg1 - an argument.

arg2 - an argument.

Returns:

"true" iff there is a mediated attack from "arg1" to "arg2".

isSuperMediatedAttack

public boolean isSuperMediatedAttack(BArgument arg1,
 BArgument arg2)

Checks whether there exists a super-mediated attack from "arg1" to "arg2", i.e. whether there is a sequence of direct supports from "arg2" to "x" and a direct or supported attack from "arg1" to "x".

Parameters:

arg1 - an argument.

arg2 - an argument.

Returns:

"true" iff there is a super-mediated attack from "arg1" to "arg2".

getSupportedAttacks

public Set<BinaryAttack> getSupportedAttacks(BArgument arg1)

Calculates the set of supported attack from "arg1" to other arguments "y", i.e. whether there is a sequence of direct supports from "arg1" to "x" and a direct attack from "x" to "y".

Parameters:

arg1 - an argument.

Returns:

set of supported attacks starting from "arg1".

isSupportedAttack

public boolean isSupportedAttack(BArgument arg1,
 BArgument arg2)

Checks whether there exists a supported attack from "arg1" to "arg2", i.e. whether there is a sequence of direct supports from "arg1" to "x" and a direct attack from "x" to "arg2".

Parameters:

arg1 - an argument.

arg2 - an argument.

Returns:

"true" iff there is a supported attack from "arg1" to "arg2".

isAttacking

public boolean isAttacking(BArgument argument,
 Set<BArgument> argSet)

returns true if some argument of argSet is attacked by argument.

Parameters:

argument - an argument

argSet - a set of arguments

Returns:

true if some argument of argSet is attacked by argument.

isAttacked

public boolean isAttacked(BArgument argument,
 Set<BArgument> argumentSet)

returns true if some argument of argumentSet attacks argument.

Parameters:

argument - an argument

argumentSet - set of arguments

Returns:

true if some argument of argumentSet attacks argument.

isAttacking

public boolean isAttacking(Set<BArgument> argumentSet1,
 Set<BArgument> argumentSet2)

Checks whether argumentSet1 is attacking argumentSet2 ie any element of argumentSet1 is attacking any element of argumentSet2

Parameters:

argumentSet1 - a set of arguments

argumentSet2 - a set of arguments

Returns:

"true" if an element of argumentSet1 is attacking any element of argumentSet2

getSupported

public Set<BArgument> getSupported(Collection<BArgument> ext)

Computes the set {A | there is a sequence of direct supports from an element of ext to A

Parameters:

ext - an extension ie. a set of arguments

Returns:

the set of all arguments that are supported by ext.

getSupported

public Set<BArgument> getSupported(BArgument argument)

Computes the set {A | there is a sequence of direct supports from argument to A

Parameters:

argument - an argument

Returns:

the set of all arguments that are supported by argument.

getSupporters

public Set<BArgument> getSupporters(BArgument argument)

Computes the set {A | there is a sequence of direct supports from A to argument

Parameters:

argument - an argument

Returns:

the set of all arguments that support argument.

add

public boolean add(Support supp)

Adds the given support to this bipolar argumentation framework.

Specified by:

add in class AbstractBipolarFramework

Parameters:

supp - a support

Returns:

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

addSupport

public boolean addSupport(BipolarEntity bipolarEntity,
 BArgument supported)

Adds a support from the first argument to the second to this bipolar argumentation framework.

Parameters:

bipolarEntity - some argument

supported - some argument

Returns:

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

add

public boolean add(Attack a)

Description copied from class: AbstractBipolarFramework

Adds the given attack to this argumentation framework

Specified by:

add in class AbstractBipolarFramework

Parameters:

a - an attack

Returns:

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

addAttack

public boolean addAttack(BArgument attacker,
 BArgument attacked)

Adds an attack from the first argument to the second to this deductive argumentation system.

Parameters:

attacker - some argument

attacked - some argument

Returns:

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

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

getSupports

public Set<Support> getSupports()

Description copied from class: AbstractBipolarFramework

Returns all supports of this theory.

Specified by:

getSupports in class AbstractBipolarFramework

Returns:

all supports of this theory.

getAttacks

public Set<Attack> getAttacks()

Description copied from class: AbstractBipolarFramework

Returns all attacks of this theory.

Specified by:

getAttacks in class AbstractBipolarFramework

Returns:

all attacks of this theory.

getCompleteAssociatedDungTheory

public DungTheory getCompleteAssociatedDungTheory()

constructs the complete associated dung theory of this bipolar argumentation framework i.e. constructs all deductive complex attacks of BAF and returns dung theory without supports See Cayrol, Lagasquie-Schiex. Bipolarity in argumentation graphs: Towards a better understanding. 2013

Returns:

the complete associated Dung Theory of this bipolar argumentation framework

getMetaFramework

public DungTheory getMetaFramework()

constructs the meta dung theory of this bipolar argumentation framework by adding meta-arguments for every attack and support relation See Boella et al. Support in Abstract Argumentation. 2010

Returns:

the meta dung theory of this bipolar argumentation framework

toNAF

public NecessityArgumentationFramework toNAF()

translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex. Bipolarity in argumentation graphs: Towards a better understanding. 2013

Returns:

the corresponding NAF

compareTo

public int compareTo(DeductiveArgumentationFramework o)

Specified by:

compareTo in interface Comparable<DeductiveArgumentationFramework>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<BArgument>

Overrides:

hashCode in class BeliefSet<BArgument,DungSignature>