Package org.tweetyproject.arg.saf.syntax

Class StructuredArgumentationFramework

java.lang.Object

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

org.tweetyproject.arg.dung.syntax.DungTheory

org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework

All Implemented Interfaces:

Comparable<DungTheory>, Iterable<Argument>, Collection<Argument>, ArgumentationFramework<Argument>, BeliefBase, GeneralGraph<Argument>, Graph<Argument>

Direct Known Subclasses:

PerceivableStructuredArgumentationFramework

public class StructuredArgumentationFramework
extends DungTheory

This class represents a structured argumentation framework, i.e. a set of basic arguments and an attack relation.

Author:

Matthias Thimm

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
StructuredArgumentationFramework()	Creates a new empty structured argumentation framework.

Method Summary

Modifier and Type	Method	Description
Collection<Proposition>	getAllPropositions()	Retrieves all propositions from the collection of formulas in this object.
DungSignature	getSignature()	Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).
boolean	isAttackedBy(Argument arg1, Argument arg2)	Checks whether arg1 is attacked by arg2.
DungTheory	toDungTheory()	Constructs a (pure) Dung theory from this structured argumentation framework.

Methods inherited from class org.tweetyproject.arg.dung.syntax.DungTheory

add, add, add, add, add, addAllAttacks, addAttack, areAdjacent, clone, compareTo, contains, containsAll, containsAttack, containsCycle, containsOddCycle, equals, equalsIn, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttacked, getAttackers, getAttackers, getAttacks, getBidirectionalAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, getUnattackedAttackers, getUndefendedAttacks, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissible, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isComplete, isConflictFree, isConflictFree, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isStronglyDefendedBy, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, addAll, clear, 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

iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

StructuredArgumentationFramework

public StructuredArgumentationFramework()

Creates a new empty structured argumentation framework.

Method Details

getSignature

public DungSignature getSignature()

Description copied from class: BeliefSet

Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).

Overrides:

getSignature in class BeliefSet<Argument,DungSignature>

Returns:

the signature of this knowledge base.

getAllPropositions

public Collection<Proposition> getAllPropositions()

Retrieves all propositions from the collection of formulas in this object.

Returns:

a `Collection` of `Proposition` objects representing all propositions extracted from the formulas in this object.

Throws:

IllegalArgumentException - if a formula that is not an instance of `BasicArgument` is encountered.

isAttackedBy

public boolean isAttackedBy(Argument arg1,
 Argument arg2)

Description copied from class: DungTheory

Checks whether arg1 is attacked by arg2.

Overrides:

isAttackedBy in class DungTheory

Parameters:

arg1 - an argument.

arg2 - an argument.

Returns:

"true" if arg1 is attacked by arg2

toDungTheory

public DungTheory toDungTheory()

Constructs a (pure) Dung theory from this structured argumentation framework. The set of arguments of this theory comprises of all possible argument structures of this framework, and the attack relation is determined by their attack relation.

Returns:

a Dung theory.