Class ImExchange
- java.lang.Object
-
- net.sf.tweety.logics.pl.postulates.ImPostulate
-
- net.sf.tweety.logics.pl.postulates.ImExchange
-
public class ImExchange extends ImPostulate
The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.- Author:
- Anna Gessler
-
-
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
-
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
-
getName
public java.lang.String getName()
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-
-