Package org.tweetyproject.arg.dung.syntax

Class IncompleteTheory

java.lang.Object

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

org.tweetyproject.arg.dung.syntax.DungTheory

org.tweetyproject.arg.dung.syntax.IncompleteTheory

All Implemented Interfaces:

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

public class IncompleteTheory
extends DungTheory

implementation of incomplete argumentation frameworks

Author:

Sebastian Franke

Field Summary

Fields

Modifier and Type	Field	Description
HashSet<Argument>	definiteArguments	definite arguments
HashSet<Attack>	definiteAttacks	definite attacks
HashSet<Argument>	uncertainArgument	uncertin arguments
HashSet<Attack>	uncertainAttacks	uncertain attacks

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
IncompleteTheory()	costructor

Method Summary

Modifier and Type	Method	Description
void	addDefiniteArgument(Argument arg)	adds definite argument
void	addDefiniteAttack(Argument arg1, Argument arg2)	adds definiet attack
void	addPossibleArgument(Argument arg)	adds possible argument
void	addPossibleAttack(Argument arg1, Argument arg2)	adds uncertain argument
void	instantiate(Set<Argument> usedPossibleArguments, Set<Attack> usedPossibleAttacks)	instantiates some possible arguments and attacks
void	merge(HashSet<DungTheory> theories)	merges DungTheories to one incomplete theory
void	optimisticCompletion(Set<Argument> s)	constructs optimistic completion (all attacks from and to set s are instantiated and no other possible attacks)
void	pessimisticCompletion(Set<Argument> s)	constructs pessimistic completion (all attacks but the ones from and to set s are instantiated and no other possible attacks)
<T> Set<Set<T>>	powerSet(Set<T> originalSet)	constructs powerset of generic type

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, getNumberOfNodes, getParents, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissable, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isComplete, isConflictFree, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString

Methods inherited from class org.tweetyproject.commons.BeliefSet

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

Field Details

definiteArguments

public HashSet<Argument> definiteArguments

definite arguments

definiteAttacks

public HashSet<Attack> definiteAttacks

definite attacks

uncertainArgument

public HashSet<Argument> uncertainArgument

uncertin arguments

uncertainAttacks

public HashSet<Attack> uncertainAttacks

uncertain attacks

Constructor Details

IncompleteTheory

public IncompleteTheory()

costructor

Method Details

addDefiniteArgument

public void addDefiniteArgument(Argument arg)

adds definite argument

Parameters:

arg - argument

addPossibleArgument

public void addPossibleArgument(Argument arg)

adds possible argument

Parameters:

arg - argument

addPossibleAttack

public void addPossibleAttack(Argument arg1,
 Argument arg2)

adds uncertain argument

Parameters:

arg1 - argument 1

arg2 - argument 2

addDefiniteAttack

public void addDefiniteAttack(Argument arg1,
 Argument arg2)

adds definiet attack

Parameters:

arg1 - argument 1

arg2 - argument 2

instantiate

public void instantiate(Set<Argument> usedPossibleArguments,
 Set<Attack> usedPossibleAttacks)

instantiates some possible arguments and attacks

Parameters:

usedPossibleArguments - arguments from this.possibleArguments

usedPossibleAttacks - attacks from this.possibleAttacks

merge

public void merge(HashSet<DungTheory> theories)

merges DungTheories to one incomplete theory

Parameters:

theories - the theories to merge

powerSet

public <T> Set<Set<T>> powerSet(Set<T> originalSet)

constructs powerset of generic type

Type Parameters:

T - generic types (i.e. arguments)

Parameters:

originalSet - the set to build power set

Returns:

power set

optimisticCompletion

public void optimisticCompletion(Set<Argument> s)

constructs optimistic completion (all attacks from and to set s are instantiated and no other possible attacks)

Parameters:

s - a set of argumemts

pessimisticCompletion

public void pessimisticCompletion(Set<Argument> s)

constructs pessimistic completion (all attacks but the ones from and to set s are instantiated and no other possible attacks)

Parameters:

s - a set of argumemts