net.sf.tweety.logics.pl.postulates

Class ImFreeFormulaIndependence

java.lang.Object

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

net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence

All Implemented Interfaces:

Postulate<PropositionalFormula>

public class ImFreeFormulaIndependence
extends AbstractImPostulate

The "free-formula independence" postulate for inconsistency measures: removing a formula not participating in any minimal inconsistent set does not change the inconsistency value.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ImFreeFormulaIndependence()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName() The textual name of the postulate
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).
boolean	isSatisfied(java.util.Collection<PropositionalFormula> kb, BeliefSetInconsistencyMeasure<PropositionalFormula> ev)

Methods inherited from class net.sf.tweety.logics.pl.postulates.AbstractImPostulate

isSatisfied

Methods inherited from class java.lang.Object

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

Constructor Detail

ImFreeFormulaIndependence

public ImFreeFormulaIndependence()

Method Detail

isApplicable

public 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>

Specified by:

isApplicable in class AbstractImPostulate

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

Specified by:

isSatisfied in class AbstractImPostulate

getName

public java.lang.String getName()

Description copied from interface: Postulate

The textual name of the postulate

Returns:

a string