net.sf.tweety.logics.pl.postulates

Class AbstractImPostulate

java.lang.Object

net.sf.tweety.logics.pl.postulates.AbstractImPostulate

All Implemented Interfaces:

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

Direct Known Subclasses:

ImFreeFormulaIndependence, ImMonotony

public abstract class AbstractImPostulate
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

Constructor Summary

Constructors

Constructor and Description
AbstractImPostulate()

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

Constructor Detail

AbstractImPostulate

public AbstractImPostulate()

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)