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.

Author:

Julian Sander

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()	Creates the principle.

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()

Creates the principle.

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.