Package org.tweetyproject.arg.dung.principles

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

Field Summary

Fields inherited from class org.tweetyproject.arg.dung.principles.Principle

ADMISSIBILITY, ALLOWING_ABSTENTION, CF_REINSTATEMENT, CONFLICT_FREE, DEFENCE, DIRECTIONALITY, I_MAXIMALITY, INRA, MODULARIZATION, NAIVETY, NON_INTERFERENCE, REDUCT_ADM, REINSTATEMENT, SCC_DECOMPOSABILITY, SCOOC, SEMI_DIRECTIONALITY, SEMIQUAL_ADM, STRONG_ADMISSIBILITY, WEAK_DIRECTIONALITY, WEAK_REINSTATEMENT

Constructor Summary

Constructors

Constructor	Description
NonInterferencePrinciple()

Method Summary

Modifier and Type	Method	Description
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}.
String	getName()	The textual name of the postulate
boolean	isSatisfied(Collection<Argument> kb, AbstractExtensionReasoner ev)	Computes whether the given extension reasoner (i.e.

Methods inherited from class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple

getUnattackedSets, isApplicable

Methods inherited from class org.tweetyproject.arg.dung.principles.Principle

isSatisfied

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.