Package net.sf.tweety.logics.pl.postulates

Class ImPostulate

java.lang.Object

net.sf.tweety.logics.pl.postulates.ImPostulate

All Implemented Interfaces:

Postulate<PlFormula>

Direct Known Subclasses:

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

public abstract class ImPostulate
extends java.lang.Object
implements Postulate<PlFormula>

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

Author:

Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) class	ImPostulate.SimpleMUSComparator	Comparator for sorting MUS by comparing hash codes.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
ImPostulate()

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.commons.postulates.Postulate

getName

Field Detail

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

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

Constructor Detail

ImPostulate

public ImPostulate()

Method Detail

isApplicable

public abstract boolean isApplicable(java.util.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(java.util.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(java.util.Collection<PlFormula> kb,
                                    BeliefSetInconsistencyMeasure<PlFormula> ev)