net.sf.tweety.logics.pl.postulates

Class AbstractImPostulate

java.lang.Object

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

All Implemented Interfaces:

Postulate<PropositionalFormula>

Direct Known Subclasses:

ImFreeFormulaIndependence, ImMonotony

public abstract class AbstractImPostulate
extends java.lang.Object
implements 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(java.util.Collection<PropositionalFormula> 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(java.util.Collection<PropositionalFormula> kb, BeliefSetInconsistencyMeasure<PropositionalFormula> ev)
boolean	isSatisfied(java.util.Collection<PropositionalFormula> kb, PostulateEvaluatable<PropositionalFormula> ev) Checks whether this postulate is satisfied by the given approach ev wrt.

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(java.util.Collection<PropositionalFormula> 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<PropositionalFormula>

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<PropositionalFormula> kb,
                           PostulateEvaluatable<PropositionalFormula> 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<PropositionalFormula>

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<PropositionalFormula> kb,
                                    BeliefSetInconsistencyMeasure<PropositionalFormula> ev)