Class 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
  • 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()
    • 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.