Package org.tweetyproject.logics.pl.postulates

Class ImPostulate

java.lang.Object

org.tweetyproject.logics.pl.postulates.ImPostulate

All Implemented Interfaces:

Postulate<PlFormula>

Direct Known Subclasses:

ImAdjunctionInvariance, ImAttenuation, ImConsistency, ImContradiction, ImDominance, ImEqualConflict, ImExchange, ImFreeFormulaDilution, ImFreeFormulaIndependence, ImIrrelevanceOfSyntax, ImMINormalization, ImMISeparability, ImMonotony, ImNormalization, ImPenalty, ImSafeFormulaIndependence, ImSuperAdditivity, ImWeakDominance

public abstract class ImPostulate
extends Object
implements Postulate<PlFormula>

An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static final ImPostulate	ADJUNCTIONINVARIANCE	The ADJUNCTIONINVARIANCE postulate
static final ImPostulate	ATTENUATION	The ATTENUATION postulate
static final ImPostulate	CONSISTENCY	The CONSISTENCY postulate
static final ImPostulate	CONTRADICTION	The CONTRADICTION postulate
static final ImPostulate	DOMINANCE	The DOMINANCE postulate
static final ImPostulate	EQUALCONFLICT	The EQUALCONFLICT postulate
static final ImPostulate	EXCHANGE	The EXCHANGE postulate
static final ImPostulate	FREEFORMULADILUTION	The FREEFORMULADILUTION postulate
static final ImPostulate	FREEFORMULAINDEPENDENCE	The FREEFORMULAINDEPENDENCE postulate
static final ImPostulate	IRRELEVANCEOFSYNTAX	The IRRELEVANCEOFSYNTAX postulate
static final ImPostulate	MINORMALIZATION	The MINORMALIZATION postulate
static final ImPostulate	MISEPARABILITY	The MISEPARABILITY postulate
static final ImPostulate	MONOTONY	The MONOTONY postulate
static final ImPostulate	NORMALIZATION	The NORMALIZATION postulate
static final ImPostulate	PENALTY	The PENALTY postulate
static final ImPostulate	SAFEFORMULAINDEPENDENCE	The SAFEFORMULAINDEPENDENCE postulate
static final ImPostulate	SUPERADDITIVITY	The SUPERADDITIVITY postulate
static final ImPostulate	WEAKDOMINANCE	The WEAKDOMINANCE postulate

Constructor Summary

Constructors

Constructor	Description
ImPostulate()	Default Constructor

Method Summary

Modifier and Type	Method	Description
abstract boolean	isApplicable(Collection<PlFormula> 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).
boolean	isSatisfied(Collection<PlFormula> kb, PostulateEvaluatable<PlFormula> ev)	Checks whether this postulate is satisfied by the given approach ev wrt.
abstract boolean	isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)	Return whether the formulas are satisfied

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

MONOTONY

public static final ImPostulate MONOTONY

The MONOTONY postulate

DOMINANCE

public static final ImPostulate DOMINANCE

The DOMINANCE postulate

FREEFORMULAINDEPENDENCE

public static final ImPostulate FREEFORMULAINDEPENDENCE

The FREEFORMULAINDEPENDENCE postulate

SAFEFORMULAINDEPENDENCE

public static final ImPostulate SAFEFORMULAINDEPENDENCE

The SAFEFORMULAINDEPENDENCE postulate

FREEFORMULADILUTION

public static final ImPostulate FREEFORMULADILUTION

The FREEFORMULADILUTION postulate

CONSISTENCY

public static final ImPostulate CONSISTENCY

The CONSISTENCY postulate

NORMALIZATION

public static final ImPostulate NORMALIZATION

The NORMALIZATION postulate

SUPERADDITIVITY

public static final ImPostulate SUPERADDITIVITY

The SUPERADDITIVITY postulate

PENALTY

public static final ImPostulate PENALTY

The PENALTY postulate

MINORMALIZATION

public static final ImPostulate MINORMALIZATION

The MINORMALIZATION postulate

MISEPARABILITY

public static final ImPostulate MISEPARABILITY

The MISEPARABILITY postulate

ATTENUATION

public static final ImPostulate ATTENUATION

The ATTENUATION postulate

ADJUNCTIONINVARIANCE

public static final ImPostulate ADJUNCTIONINVARIANCE

The ADJUNCTIONINVARIANCE postulate

IRRELEVANCEOFSYNTAX

public static final ImPostulate IRRELEVANCEOFSYNTAX

The IRRELEVANCEOFSYNTAX postulate

EXCHANGE

public static final ImPostulate EXCHANGE

The EXCHANGE postulate

EQUALCONFLICT

public static final ImPostulate EQUALCONFLICT

The EQUALCONFLICT postulate

CONTRADICTION

public static final ImPostulate CONTRADICTION

The CONTRADICTION postulate

WEAKDOMINANCE

public static final ImPostulate WEAKDOMINANCE

The WEAKDOMINANCE postulate

Constructor Details

ImPostulate

public ImPostulate()

Default Constructor

Method Details

isApplicable

public abstract boolean isApplicable(Collection<PlFormula> 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<PlFormula>

Parameters:

kb - some knowledge base

Returns:

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

isSatisfied

public boolean isSatisfied(Collection<PlFormula> kb,
 PostulateEvaluatable<PlFormula> 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<PlFormula>

Parameters:

kb - some knowledge base

ev - some approach

Returns:

true if the postulate is satisfied on the instance

isSatisfied

public abstract boolean isSatisfied(Collection<PlFormula> kb,
 BeliefSetInconsistencyMeasure<PlFormula> ev)

Return whether the formulas are satisfied

Parameters:

kb - collection of formulas

ev - BeliefSet Inconsistency Measure

Returns:

whether the formulas are satisfied