Class ImPostulate
java.lang.Object
org.tweetyproject.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
An abstract postulate for inconsistency measures in propositional
logic; the ancestor of all concrete postulates.
- Author:
- Matthias Thimm
-
Field Summary
Modifier and TypeFieldDescriptionstatic final ImPostulate
The ADJUNCTIONINVARIANCE postulatestatic final ImPostulate
The ATTENUATION postulatestatic final ImPostulate
The CONSISTENCY postulatestatic final ImPostulate
The CONTRADICTION postulatestatic final ImPostulate
The DOMINANCE postulatestatic final ImPostulate
The EQUALCONFLICT postulatestatic final ImPostulate
The EXCHANGE postulatestatic final ImPostulate
The FREEFORMULADILUTION postulatestatic final ImPostulate
The FREEFORMULAINDEPENDENCE postulatestatic final ImPostulate
The IRRELEVANCEOFSYNTAX postulatestatic final ImPostulate
The MINORMALIZATION postulatestatic final ImPostulate
The MISEPARABILITY postulatestatic final ImPostulate
The MONOTONY postulatestatic final ImPostulate
The NORMALIZATION postulatestatic final ImPostulate
The PENALTY postulatestatic final ImPostulate
The SAFEFORMULAINDEPENDENCE postulatestatic final ImPostulate
The SUPERADDITIVITY postulatestatic final ImPostulate
The WEAKDOMINANCE postulate -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
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
Checks whether this postulate is satisfied by the given approachev
wrt.abstract boolean
-
Field Details
-
MONOTONY
The MONOTONY postulate -
DOMINANCE
The DOMINANCE postulate -
FREEFORMULAINDEPENDENCE
The FREEFORMULAINDEPENDENCE postulate -
SAFEFORMULAINDEPENDENCE
The SAFEFORMULAINDEPENDENCE postulate -
FREEFORMULADILUTION
The FREEFORMULADILUTION postulate -
CONSISTENCY
The CONSISTENCY postulate -
NORMALIZATION
The NORMALIZATION postulate -
SUPERADDITIVITY
The SUPERADDITIVITY postulate -
PENALTY
The PENALTY postulate -
MINORMALIZATION
The MINORMALIZATION postulate -
MISEPARABILITY
The MISEPARABILITY postulate -
ATTENUATION
The ATTENUATION postulate -
ADJUNCTIONINVARIANCE
The ADJUNCTIONINVARIANCE postulate -
IRRELEVANCEOFSYNTAX
The IRRELEVANCEOFSYNTAX postulate -
EXCHANGE
The EXCHANGE postulate -
EQUALCONFLICT
The EQUALCONFLICT postulate -
CONTRADICTION
The CONTRADICTION postulate -
WEAKDOMINANCE
The WEAKDOMINANCE postulate
-
-
Constructor Details
-
ImPostulate
public ImPostulate()
-
-
Method Details
-
isApplicable
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
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(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev) - Parameters:
kb
- collection of formulasev
- BeliefSet Inconsistency Measure- Returns:
- whether the formulas are satisfied
-