Package org.tweetyproject.arg.dung.principles

Class SemiQualifiedAdmissibilityPrinciple

java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
All Implemented Interfaces:
Postulate<Argument>
public class SemiQualifiedAdmissibilityPrinciple extends Principle
Semi-Qualified Admissibility Principle A semantics s satisfies semi-qualified admissibility iff for every AF F and every s-extension E we have: For all arguments a in E: if an argument b attacks a and b is in any s-extension, then E attacks b see: Dauphin, Jeremie, Tjitze Rienstra, and Leendert Van Der Torre. "A Principle-Based Analysis of Weakly Admissible Semantics." 2020
Author:
Lars Bengel

  • Constructor Details

    • SemiQualifiedAdmissibilityPrinciple

      public SemiQualifiedAdmissibilityPrinciple()

  • Method Details

    • getName

      public String getName()
      Description copied from interface: Postulate
      The textual name of the postulate
      Returns:
      a string

    • isApplicable

      public 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>
      Specified by:
      isApplicable in class Principle
      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, AbstractExtensionReasoner ev)
      Specified by:
      isSatisfied in class Principle
      Parameters:
      kb - kb
      ev - ev
      Returns:
      is Satisfied