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 ImPostulate
The ADJUNCTIONINVARIANCE postulatestatic ImPostulate
The ATTENUATION postulatestatic ImPostulate
The CONSISTENCY postulatestatic ImPostulate
The CONTRADICTION postulatestatic ImPostulate
The DOMINANCE postulatestatic ImPostulate
The EQUALCONFLICT postulatestatic ImPostulate
The EXCHANGE postulatestatic ImPostulate
The FREEFORMULADILUTION postulatestatic ImPostulate
The FREEFORMULAINDEPENDENCE postulatestatic ImPostulate
The IRRELEVANCEOFSYNTAX postulatestatic ImPostulate
The MINORMALIZATION postulatestatic ImPostulate
The MISEPARABILITY postulatestatic ImPostulate
The MONOTONY postulatestatic ImPostulate
The NORMALIZATION postulatestatic ImPostulate
The PENALTY postulatestatic ImPostulate
The SAFEFORMULAINDEPENDENCE postulatestatic ImPostulate
The SUPERADDITIVITY postulatestatic ImPostulate
The WEAKDOMINANCE postulate -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
isApplicable(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(Collection<PlFormula> kb, PostulateEvaluatable<PlFormula> ev)
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
-