Class ImDominance
- java.lang.Object
-
- net.sf.tweety.logics.pl.postulates.ImPostulate
-
- net.sf.tweety.logics.pl.postulates.ImDominance
-
public class ImDominance extends ImPostulate
The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.- Author:
- Anna Gessler, Matthias Thimm
-
-
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 postulateboolean
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
-
-
-
-
Method Detail
-
getName
public java.lang.String getName()
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-
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 interfacePostulate<PlFormula>
- Specified by:
isApplicable
in classImPostulate
- 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 classImPostulate
-
-