Class Principle

java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
All Implemented Interfaces:
Postulate<Argument>
Direct Known Subclasses:
AdmissibilityPrinciple, CFReinstatementPrinciple, ConflictFreePrinciple, DirectionalityPrinciple, IMaximalityPrinciple, INRAPrinciple, ModularizationPrinciple, NaivetyPrinciple, ReductAdmissibilityPrinciple, ReinstatementPrinciple, SccDecomposabilityPrinciple, SCOOCPrinciple, SemiQualifiedAdmissibilityPrinciple, StrongAdmissibilityPrinciple, WeakReinstatementPrinciple

public abstract class Principle extends Object implements Postulate<Argument>
Models a principle for argumentation semantics i.e. a property that can be satisfied or violated by a semantics.
Author:
Lars Bengel
  • Field Details

    • I_MAXIMALITY

      public static final Principle I_MAXIMALITY
      The I-maximality principle
    • CONFLICT_FREE

      public static final Principle CONFLICT_FREE
      The conflict-free principle
    • ADMISSIBILITY

      public static final Principle ADMISSIBILITY
      The admissibility principle
    • STRONG_ADMISSIBILITY

      public static final Principle STRONG_ADMISSIBILITY
      The strong admissibility principle
    • REINSTATEMENT

      public static final Principle REINSTATEMENT
      The reinstatement principle
    • WEAK_REINSTATEMENT

      public static final Principle WEAK_REINSTATEMENT
      The weak reinstatement principle
    • CF_REINSTATEMENT

      public static final Principle CF_REINSTATEMENT
      The CF-reinstatement principle
    • DIRECTIONALITY

      public static final Principle DIRECTIONALITY
      The directionality principle
    • INRA

      public static final Principle INRA
      The Irrelevance of Necessarily Rejected Arguments (INRA) principle
    • SCOOC

      public static final Principle SCOOC
      The Strong Completeness Outside Odd Cycles (SCOOC) principle
    • MODULARIZATION

      public static final Principle MODULARIZATION
      The modularization principle
    • REDUCT_ADM

      public static final Principle REDUCT_ADM
      The reduct admissibility principle
    • SEMIQUAL_ADM

      public static final Principle SEMIQUAL_ADM
      The semi qualified admissibility principle
    • SCC_DECOMPOSABILITY

      public static final Principle SCC_DECOMPOSABILITY
      The SCC decomposability principle
    • NAIVETY

      public static final Principle NAIVETY
      The naivety principle
  • Constructor Details

    • Principle

      public Principle()
  • Method Details

    • isApplicable

      public abstract boolean isApplicable(Collection<Argument> kb)
      Description copied from interface: Postulate
      Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
      Specified by:
      isApplicable in interface Postulate<Argument>
      Parameters:
      kb - some knowledge base
      Returns:
      true if the knowledge base is a non trivial instance of this postulate.
    • isSatisfied

      public boolean isSatisfied(Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
      Description copied from interface: Postulate
      Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).
      Specified by:
      isSatisfied in interface Postulate<Argument>
      Parameters:
      kb - some knowledge base
      ev - some approach
      Returns:
      true if the postulate is satisfied on the instance
    • isSatisfied

      public abstract boolean isSatisfied(Collection<Argument> kb, AbstractExtensionReasoner ev)
      Parameters:
      kb - kb
      ev - ev
      Returns:
      is Satisfied