Package org.tweetyproject.arg.dung.principles

Class WeakDirectionalityPrinciple

java.lang.Object

org.tweetyproject.arg.dung.principles.Principle

org.tweetyproject.arg.dung.principles.DirectionalityPrinciple

org.tweetyproject.arg.dung.principles.WeakDirectionalityPrinciple

All Implemented Interfaces:

Postulate<Argument>

public class WeakDirectionalityPrinciple
extends DirectionalityPrinciple

Weak Directionality Principle

A semantics satisfies weak directionality if for every unattacked set 'U' in a dung theory F it holds that: The extensions of F restricted to 'U' are a superset 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
WeakDirectionalityPrinciple()

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

WeakDirectionalityPrinciple

public WeakDirectionalityPrinciple()

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