Class ImMonotony
java.lang.Object
org.tweetyproject.logics.pl.postulates.ImPostulate
org.tweetyproject.logics.pl.postulates.ImMonotony
The "monotony" postulate for inconsistency measures: Adding information
to a belief base cannot decrease the inconsistency value.
- Author:
- Matthias Thimm
-
Field Summary
Fields inherited from class org.tweetyproject.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 TypeMethodDescriptiongetName()
The textual name of the postulateboolean
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
Methods inherited from class org.tweetyproject.logics.pl.postulates.ImPostulate
isSatisfied
-
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>
- 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
- Specified by:
isSatisfied
in classImPostulate
- Parameters:
kb
- collection of formulasev
- BeliefSet Inconsistency Measure- Returns:
- whether the formulas are satisfied
-
getName
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-