Package org.tweetyproject.arg.dung.principles

Class SemiDirectionalityPrinciple

java.lang.Object

org.tweetyproject.arg.dung.principles.Principle

org.tweetyproject.arg.dung.principles.DirectionalityPrinciple

org.tweetyproject.arg.dung.principles.SemiDirectionalityPrinciple

All Implemented Interfaces:

Postulate<Argument>

public class SemiDirectionalityPrinciple
extends DirectionalityPrinciple

Semi Directionality Principle

A semantics satisfies semi directionality if for every unattacked set 'U' in an AF F it holds that: The extensions of F restricted to 'U' are a subset of 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
SemiDirectionalityPrinciple()

Method Summary

Modifier and Type	Method	Description
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

SemiDirectionalityPrinciple

public SemiDirectionalityPrinciple()

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