Class Principle

java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
All Implemented Interfaces:
Postulate<Argument>
Direct Known Subclasses:
AdmissibilityPrinciple, AllowingAbstentionPrinciple, CFReinstatementPrinciple, ConflictFreePrinciple, DefencePrinciple, 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

    • ALLOWING_ABSTENTION

      public static final Principle ALLOWING_ABSTENTION
      The allowing abstention principle

    • DEFENCE

      public static final Principle DEFENCE
      The defence principle

    • NON_INTERFERENCE

      public static final Principle NON_INTERFERENCE
      The non-interference principle

    • WEAK_DIRECTIONALITY

      public static final Principle WEAK_DIRECTIONALITY
      The weak directionality principle

    • SEMI_DIRECTIONALITY

      public static final Principle SEMI_DIRECTIONALITY
      The semi-directionality 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)
      Computes whether the given extension reasoner (i.e. semantics) satisfies this principle for this specific instance
      Parameters:
      kb - some argumentation framework
      ev - an extension reasoner
      Returns:
      true, if this principle is satisfied for this instance and semantics