Package org.tweetyproject.arg.dung.principles

Class Principle

java.lang.Object

org.tweetyproject.arg.dung.principles.Principle

All Implemented Interfaces:

Postulate<Argument>

Direct Known Subclasses:

AdmissibilityPrinciple, AllowingAbstentionPrinciple, CFReinstatementPrinciple, ConflictFreePrinciple, DefencePrinciple, DirectionalityPrinciple, IMaximalityPrinciple, INRAPrinciple, ModularizationPrinciple, NaivetyPrinciple, ReductAdmissibilityPrinciple, ReinstatementPrinciple, SccDecomposabilityPrinciple, SCOOCPrinciple, SemiQualifiedAdmissibilityPrinciple, StrongAdmissibilityPrinciple, WeakReinstatementPrinciple

public abstract class Principle
extends Object
implements Postulate<Argument>

Models a principle for argumentation semantics i.e. a property that can be satisfied or violated by a semantics.

Author:

Lars Bengel

Field Summary

Fields

Modifier and Type	Field	Description
static final Principle	ADMISSIBILITY	The admissibility principle
static final Principle	ALLOWING_ABSTENTION	The allowing abstention principle
static final Principle	CF_REINSTATEMENT	The CF-reinstatement principle
static final Principle	CONFLICT_FREE	The conflict-free principle
static final Principle	DEFENCE	The defence principle
static final Principle	DIRECTIONALITY	The directionality principle
static final Principle	I_MAXIMALITY	The I-maximality principle
static final Principle	INRA	The Irrelevance of Necessarily Rejected Arguments (INRA) principle
static final Principle	MODULARIZATION	The modularization principle
static final Principle	NAIVETY	The naivety principle
static final Principle	NON_INTERFERENCE	The non-interference principle
static final Principle	REDUCT_ADM	The reduct admissibility principle
static final Principle	REINSTATEMENT	The reinstatement principle
static final Principle	SCC_DECOMPOSABILITY	The SCC decomposability principle
static final Principle	SCOOC	The Strong Completeness Outside Odd Cycles (SCOOC) principle
static final Principle	SEMI_DIRECTIONALITY	The semi-directionality principle
static final Principle	SEMIQUAL_ADM	The semi qualified admissibility principle
static final Principle	STRONG_ADMISSIBILITY	The strong admissibility principle
static final Principle	WEAK_DIRECTIONALITY	The weak directionality principle
static final Principle	WEAK_REINSTATEMENT	The weak reinstatement principle

Constructor Summary

Constructors

Constructor	Description
Principle()

Method Summary

Modifier and Type	Method	Description
abstract boolean	isApplicable(Collection<Argument> kb)	Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
abstract boolean	isSatisfied(Collection<Argument> kb, AbstractExtensionReasoner ev)	Computes whether the given extension reasoner (i.e.
boolean	isSatisfied(Collection<Argument> kb, PostulateEvaluatable<Argument> ev)	Checks whether this postulate is satisfied by the given approach ev wrt.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.tweetyproject.commons.postulates.Postulate

getName

Field Details

I_MAXIMALITY

public static final Principle I_MAXIMALITY

The I-maximality principle

CONFLICT_FREE

public static final Principle CONFLICT_FREE

The conflict-free principle

ADMISSIBILITY

public static final Principle ADMISSIBILITY

The admissibility principle

STRONG_ADMISSIBILITY

public static final Principle STRONG_ADMISSIBILITY

The strong admissibility principle

REINSTATEMENT

public static final Principle REINSTATEMENT

The reinstatement principle

WEAK_REINSTATEMENT

public static final Principle WEAK_REINSTATEMENT

The weak reinstatement principle

CF_REINSTATEMENT

public static final Principle CF_REINSTATEMENT

The CF-reinstatement principle

DIRECTIONALITY

public static final Principle DIRECTIONALITY

The directionality principle

INRA

public static final Principle INRA

The Irrelevance of Necessarily Rejected Arguments (INRA) principle

SCOOC

public static final Principle SCOOC

The Strong Completeness Outside Odd Cycles (SCOOC) principle

MODULARIZATION

public static final Principle MODULARIZATION

The modularization principle

REDUCT_ADM

public static final Principle REDUCT_ADM

The reduct admissibility principle

SEMIQUAL_ADM

public static final Principle SEMIQUAL_ADM

The semi qualified admissibility principle

SCC_DECOMPOSABILITY

public static final Principle SCC_DECOMPOSABILITY

The SCC decomposability principle

NAIVETY

public static final Principle NAIVETY

The naivety principle

ALLOWING_ABSTENTION

public static final Principle ALLOWING_ABSTENTION

The allowing abstention principle

DEFENCE

public static final Principle DEFENCE

The defence principle

NON_INTERFERENCE

public static final Principle NON_INTERFERENCE

The non-interference principle

WEAK_DIRECTIONALITY

public static final Principle WEAK_DIRECTIONALITY

The weak directionality principle

SEMI_DIRECTIONALITY

public static final Principle SEMI_DIRECTIONALITY

The semi-directionality principle

Constructor Details

Principle

public Principle()

Method Details

isApplicable

public abstract boolean isApplicable(Collection<Argument> kb)

Description copied from interface: Postulate

Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).

Specified by:

isApplicable in interface Postulate<Argument>

Parameters:

kb - some knowledge base

Returns:

true if the knowledge base is a non trivial instance of this postulate.

isSatisfied

public boolean isSatisfied(Collection<Argument> kb,
 PostulateEvaluatable<Argument> ev)

Description copied from interface: Postulate

Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).

Specified by:

isSatisfied in interface Postulate<Argument>

Parameters:

kb - some knowledge base

ev - some approach

Returns:

true if the postulate is satisfied on the instance

isSatisfied

public abstract boolean isSatisfied(Collection<Argument> kb,
 AbstractExtensionReasoner ev)

Computes whether the given extension reasoner (i.e. semantics) satisfies this principle for this specific instance

Parameters:

kb - some argumentation framework

ev - an extension reasoner

Returns:

true, if this principle is satisfied for this instance and semantics