net.sf.tweety.logics.pl.postulates

Class ImPostulate

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.postulates.Postulate<PropositionalFormula>

Direct Known Subclasses:

ImConsistency, ImFreeFormulaIndependence, ImMonotony, ImNormalization

public abstract class ImPostulate
extends Object
implements net.sf.tweety.commons.postulates.Postulate<PropositionalFormula>

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 and Description
static ImPostulate	CONSISTENCY The CONSISTENCY postulate
static ImPostulate	FREEFORMULAINDEPENDENCE The FREEFORMULAINDEPENDENCE postulate
static ImPostulate	MONOTONY The MONOTONY postulate
static ImPostulate	NORMALIZATION The NORMALIZATION postulate

Constructor Summary

Constructors

Constructor and Description
ImPostulate()

Method Summary

Modifier and Type	Method and Description
abstract boolean	isApplicable(Collection<PropositionalFormula> kb)
abstract boolean	isSatisfied(Collection<PropositionalFormula> kb, net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<PropositionalFormula> ev)
boolean	isSatisfied(Collection<PropositionalFormula> kb, net.sf.tweety.commons.postulates.PostulateEvaluatable<PropositionalFormula> 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

FREEFORMULAINDEPENDENCE

public static final ImPostulate FREEFORMULAINDEPENDENCE

The FREEFORMULAINDEPENDENCE postulate

CONSISTENCY

public static final ImPostulate CONSISTENCY

The CONSISTENCY postulate

NORMALIZATION

public static final ImPostulate NORMALIZATION

The NORMALIZATION postulate

Constructor Detail

ImPostulate

public ImPostulate()

Method Detail

isApplicable

public abstract boolean isApplicable(Collection<PropositionalFormula> kb)

Specified by:

isApplicable in interface net.sf.tweety.commons.postulates.Postulate<PropositionalFormula>

isSatisfied

public boolean isSatisfied(Collection<PropositionalFormula> kb,
                           net.sf.tweety.commons.postulates.PostulateEvaluatable<PropositionalFormula> ev)

Specified by:

isSatisfied in interface net.sf.tweety.commons.postulates.Postulate<PropositionalFormula>

isSatisfied

public abstract boolean isSatisfied(Collection<PropositionalFormula> kb,
                                    net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<PropositionalFormula> ev)