net.sf.tweety.arg.saf.syntax

Class StructuredArgumentationFramework

java.lang.Object

net.sf.tweety.commons.BeliefSet<Argument>

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

net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework

All Implemented Interfaces:

java.lang.Comparable<DungTheory>, java.lang.Iterable<Argument>, java.util.Collection<Argument>, BeliefBase, 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 interface net.sf.tweety.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor and Description
StructuredArgumentationFramework() Creates a new empty structured argumentation framework.

Method Summary

Modifier and Type	Method and Description
PropositionalSignature	getSignature() Returns the signature of the language of this knowledge base.
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 net.sf.tweety.arg.dung.syntax.DungTheory

add, add, add, addAllAttacks, addAttack, areAdjacent, compareTo, contains, containsAll, containsAttack, equals, existsDirectedPath, faf, getAdjancyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getEdge, getEdges, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hashCode, hasSelfLoops, isAttacked, isAttacked, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString

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

add, addAll, clear, instantiateSet, isEmpty, iterator, remove, retainAll, size, toArray, toArray

Methods inherited from class java.lang.Object

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

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

add, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Constructor Detail

StructuredArgumentationFramework

public StructuredArgumentationFramework()

Creates a new empty structured argumentation framework.

Method Detail

getSignature

public PropositionalSignature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Overrides:

getSignature in class DungTheory

Returns:

the signature of the language of this knowledge base.

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.