ImFreeFormulaDilution

java.lang.Object
- net.sf.tweety.logics.pl.postulates.ImPostulate
- - net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution

All Implemented Interfaces:

Postulate<PlFormula>
```
public class ImFreeFormulaDilution
extends ImPostulate
```
The "free-formula dilution" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set does not make the inconsistency value larger.
This postulate is a weaker version of "free formula independence" and is intended to be used with normalized inconsistency measures (which may not fulfill free-formula independence in some cases).

Author:

Anna Gessler

See Also:

ImFreeFormulaIndependence

Field Summary
- Fields inherited from class net.sf.tweety.logics.pl.postulates.ImPostulate
  ADJUNCTIONINVARIANCE, ATTENUATION, CONSISTENCY, CONTRADICTION, DOMINANCE, EQUALCONFLICT, EXCHANGE, FREEFORMULADILUTION, FREEFORMULAINDEPENDENCE, IRRELEVANCEOFSYNTAX, MINORMALIZATION, MISEPARABILITY, MONOTONY, NORMALIZATION, PENALTY, SAFEFORMULAINDEPENDENCE, SUPERADDITIVITY, WEAKDOMINANCE

Method Summary

Modifier and Type	Method	Description
`java.lang.String`	`getName()`	The textual name of the postulate
`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, BeliefSetInconsistencyMeasure<PlFormula> ev)`

Methods inherited from class net.sf.tweety.logics.pl.postulates.ImPostulate
isSatisfied

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - isApplicable
```
public 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>
    
    Specified by:
    
    isApplicable in class ImPostulate
    
    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,
                           BeliefSetInconsistencyMeasure<PlFormula> ev)
```
    Specified by:
    
    isSatisfied in class ImPostulate
  - getName
```
public java.lang.String getName()
```
    Description copied from interface: Postulate
    
    The textual name of the postulate
    
    Returns:
    
    a string