Class IncompleteTheory

All Implemented Interfaces:
Comparable<DungTheory>, Iterable<Argument>, Collection<Argument>, ArgumentationFramework<Argument>, BeliefBase, GeneralGraph<Argument>, Graph<Argument>

public class IncompleteTheory extends DungTheory
Author:
Sebastian Franke implementation of incomplete argumentation frameworks
  • 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