Class NonInterferencePrinciple

java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
org.tweetyproject.arg.dung.principles.NonInterferencePrinciple
All Implemented Interfaces:
Postulate<Argument>
public class NonInterferencePrinciple extends DirectionalityPrinciple
Non-Interference Principle

A semantics satisfies non-interference iff for every isolated set 'U' in an abstract argumentation framework F it holds that: The extensions of F restricted to 'U' are equal to the extensions of F intersected with U

Author:
Julian Sander
See Also:
  • "van der Torre L, Vesic S. The Principle-Based Approach to Abstract Argumentation Semantics. In: Handbook of formal argumentation, Vol. 1. College Publications; 2018. p. 2735-78."
  • DirectionalityPrinciple

  • Constructor Details

    • NonInterferencePrinciple

      public NonInterferencePrinciple()

  • Method Details

    • getName

      public String getName()
      Description copied from interface: Postulate
      The textual name of the postulate
      Specified by:
      getName in interface Postulate<Argument>
      Overrides:
      getName in class DirectionalityPrinciple
      Returns:
      a string

    • isSatisfied

      public boolean isSatisfied(Collection<Argument> kb, AbstractExtensionReasoner ev)
      Description copied from class: Principle
      Computes whether the given extension reasoner (i.e. semantics) satisfies this principle for this specific instance
      Overrides:
      isSatisfied in class DirectionalityPrinciple
      Parameters:
      kb - some argumentation framework
      ev - an extension reasoner
      Returns:
      true, if this principle is satisfied for this instance and semantics

    • getIsolatedSets

      public Collection<Extension<DungTheory>> getIsolatedSets(DungTheory theory)
      Method for calculating isolated sets in a given theory
      A set E is isolated in a theory AF iff there exists no argument a in {AF \ E}, with a attacks E and there exists no argument b in E, with b attacks {AF \ E}.
      Parameters:
      theory - An abstract argumentation framework
      Returns:
      A set of isolated arguments in the specified framework.