Class ImPostulate
- java.lang.Object
-
- net.sf.tweety.logics.pl.postulates.ImPostulate
-
- Direct Known Subclasses:
ImAdjunctionInvariance
,ImAttenuation
,ImConsistency
,ImContradiction
,ImDominance
,ImEqualConflict
,ImExchange
,ImFreeFormulaDilution
,ImFreeFormulaIndependence
,ImIrrelevanceOfSyntax
,ImMINormalization
,ImMISeparability
,ImMonotony
,ImNormalization
,ImPenalty
,ImSafeFormulaIndependence
,ImSuperAdditivity
,ImWeakDominance
public abstract class ImPostulate extends java.lang.Object implements Postulate<PlFormula>
An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static ImPostulate
ADJUNCTIONINVARIANCE
The ADJUNCTIONINVARIANCE postulatestatic ImPostulate
ATTENUATION
The ATTENUATION postulatestatic ImPostulate
CONSISTENCY
The CONSISTENCY postulatestatic ImPostulate
CONTRADICTION
The CONTRADICTION postulatestatic ImPostulate
DOMINANCE
The DOMINANCE postulatestatic ImPostulate
EQUALCONFLICT
The EQUALCONFLICT postulatestatic ImPostulate
EXCHANGE
The EXCHANGE postulatestatic ImPostulate
FREEFORMULADILUTION
The FREEFORMULADILUTION postulatestatic ImPostulate
FREEFORMULAINDEPENDENCE
The FREEFORMULAINDEPENDENCE postulatestatic ImPostulate
IRRELEVANCEOFSYNTAX
The IRRELEVANCEOFSYNTAX postulatestatic ImPostulate
MINORMALIZATION
The MINORMALIZATION postulatestatic ImPostulate
MISEPARABILITY
The MISEPARABILITY postulatestatic ImPostulate
MONOTONY
The MONOTONY postulatestatic ImPostulate
NORMALIZATION
The NORMALIZATION postulatestatic ImPostulate
PENALTY
The PENALTY postulatestatic ImPostulate
SAFEFORMULAINDEPENDENCE
The SAFEFORMULAINDEPENDENCE postulatestatic ImPostulate
SUPERADDITIVITY
The SUPERADDITIVITY postulatestatic ImPostulate
WEAKDOMINANCE
The WEAKDOMINANCE postulate
-
Constructor Summary
Constructors Constructor Description ImPostulate()
-
Method Summary
Modifier and Type Method Description abstract 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, PostulateEvaluatable<PlFormula> ev)
Checks whether this postulate is satisfied by the given approachev
wrt.abstract boolean
isSatisfied(java.util.Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
-
-
-
Field Detail
-
MONOTONY
public static final ImPostulate MONOTONY
The MONOTONY postulate
-
DOMINANCE
public static final ImPostulate DOMINANCE
The DOMINANCE postulate
-
FREEFORMULAINDEPENDENCE
public static final ImPostulate FREEFORMULAINDEPENDENCE
The FREEFORMULAINDEPENDENCE postulate
-
SAFEFORMULAINDEPENDENCE
public static final ImPostulate SAFEFORMULAINDEPENDENCE
The SAFEFORMULAINDEPENDENCE postulate
-
FREEFORMULADILUTION
public static final ImPostulate FREEFORMULADILUTION
The FREEFORMULADILUTION postulate
-
CONSISTENCY
public static final ImPostulate CONSISTENCY
The CONSISTENCY postulate
-
NORMALIZATION
public static final ImPostulate NORMALIZATION
The NORMALIZATION postulate
-
SUPERADDITIVITY
public static final ImPostulate SUPERADDITIVITY
The SUPERADDITIVITY postulate
-
PENALTY
public static final ImPostulate PENALTY
The PENALTY postulate
-
MINORMALIZATION
public static final ImPostulate MINORMALIZATION
The MINORMALIZATION postulate
-
MISEPARABILITY
public static final ImPostulate MISEPARABILITY
The MISEPARABILITY postulate
-
ATTENUATION
public static final ImPostulate ATTENUATION
The ATTENUATION postulate
-
ADJUNCTIONINVARIANCE
public static final ImPostulate ADJUNCTIONINVARIANCE
The ADJUNCTIONINVARIANCE postulate
-
IRRELEVANCEOFSYNTAX
public static final ImPostulate IRRELEVANCEOFSYNTAX
The IRRELEVANCEOFSYNTAX postulate
-
EXCHANGE
public static final ImPostulate EXCHANGE
The EXCHANGE postulate
-
EQUALCONFLICT
public static final ImPostulate EQUALCONFLICT
The EQUALCONFLICT postulate
-
CONTRADICTION
public static final ImPostulate CONTRADICTION
The CONTRADICTION postulate
-
WEAKDOMINANCE
public static final ImPostulate WEAKDOMINANCE
The WEAKDOMINANCE postulate
-
-
Method Detail
-
isApplicable
public abstract 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>
- 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, PostulateEvaluatable<PlFormula> ev)
Description copied from interface:Postulate
Checks whether this postulate is satisfied by the given approachev
wrt. the given instancekb
(note that evaluating an approach on a non-applicable instance always succeeds).- Specified by:
isSatisfied
in interfacePostulate<PlFormula>
- Parameters:
kb
- some knowledge baseev
- some approach- Returns:
- true if the postulate is satisfied on the instance
-
isSatisfied
public abstract boolean isSatisfied(java.util.Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
-
-