Class ArgumentationKnowledgeBase

java.lang.Object
org.tweetyproject.commons.BeliefSet<Argument,FolSignature>
org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase
All Implemented Interfaces:
Iterable<Argument>, Collection<Argument>, BeliefBase

public class ArgumentationKnowledgeBase extends BeliefSet<Argument,FolSignature>
Instances of this class represent the set of minimal arguments from a extended logic program
Author:
Sebastian Homann
  • Constructor Details

    • ArgumentationKnowledgeBase

      public ArgumentationKnowledgeBase(Program program)
  • Method Details

    • getArguments

      public Set<Argument> getArguments()
      Returns all minimal arguments constructible from the extended logic program
      Returns:
      all minimal arguments constructible from the extended logic program
    • getMinimalSignature

      public Signature getMinimalSignature()
      Description copied from interface: BeliefBase
      Returns the signature of the language of this knowledge base.
      Returns:
      the signature of the language of this knowledge base.