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, Lars Bengel

Field Summary

Fields

Modifier and Type	Field	Description
Collection<Argument>	definiteArguments	definite arguments
Collection<Attack>	definiteAttacks	definite attacks
Collection<Argument>	uncertainArgument	uncertain arguments
Collection<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()	constructor

Method Summary

Modifier and Type	Method	Description
void	addDefiniteArgument(Argument arg)	adds definite argument
void	addDefiniteAttack(Argument arg1, Argument arg2)	adds definite attack
void	addPossibleArgument(Argument arg)	adds possible argument
void	addPossibleAttack(Argument arg1, Argument arg2)	adds uncertain argument
Collection<DungTheory>	getAllCompletions()	Generates all possible completions of the current Dung theory based on uncertain arguments and attacks.
void	instantiate(Collection<Argument> usedPossibleArguments, Collection<Attack> usedPossibleAttacks)	instantiates some possible arguments and attacks
void	merge(HashSet<DungTheory> theories)	merges DungTheories to one incomplete theory
void	optimisticCompletion(Collection<Argument> s)	constructs optimistic completion (all attacks from and to set s are instantiated and no other possible attacks)
void	pessimisticCompletion(Collection<Argument> s)	constructs pessimistic completion (all attacks but the ones from and to set s are instantiated and no other possible attacks)
<T> Collection<Collection<T>>	powerSet(Collection<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, getNumberOfEdges, getNumberOfNodes, getParents, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, getUnattackedAttackers, getUndefendedAttacks, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissible, isAttackBranch, isAttacked, isAttacked, isAttackedBy, 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, 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 Collection<Argument> definiteArguments

definite arguments

definiteAttacks

public Collection<Attack> definiteAttacks

definite attacks

uncertainArgument

public Collection<Argument> uncertainArgument

uncertain arguments

uncertainAttacks

public Collection<Attack> uncertainAttacks

uncertain attacks

Constructor Details

IncompleteTheory

public IncompleteTheory()

constructor

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 definite attack

Parameters:

arg1 - argument 1

arg2 - argument 2

instantiate

public void instantiate(Collection<Argument> usedPossibleArguments,
 Collection<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> Collection<Collection<T>> powerSet(Collection<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(Collection<Argument> s)

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

Parameters:

s - a set of arguments

pessimisticCompletion

public void pessimisticCompletion(Collection<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 arguments

getAllCompletions

public Collection<DungTheory> getAllCompletions()

Generates all possible completions of the current Dung theory based on uncertain arguments and attacks.

Returns:

A collection of DungTheory objects representing all possible completions of the current theory.