public class FuzzyInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PropositionalFormula>
Modifier and Type | Field and Description |
---|---|
private byte |
measure_version
One of TFUZZY_MEASURE, SUMFUZZY_MEASURE
|
static byte |
SUMFUZZY_MEASURE
static constant for the Sum-version of the measure
|
private TCoNorm |
tconorm
The used T-conorm
|
static byte |
TFUZZY_MEASURE
static constant for the T-version of the measure
|
private TNorm |
tnorm
The used T-norm
|
MEASURE_TOLERANCE
Constructor and Description |
---|
FuzzyInconsistencyMeasure(TNorm tnorm)
Creates a new measure for the given T-norm.
|
FuzzyInconsistencyMeasure(TNorm tnorm,
byte measure_version)
Creates a new measure for the given T-norm.
|
FuzzyInconsistencyMeasure(TNorm tnorm,
TCoNorm tconorm)
Creates a new measure (T Version) for the given T-norm and T-conorm.
|
FuzzyInconsistencyMeasure(TNorm tnorm,
TCoNorm tconorm,
byte measure_version)
Creates a new measure for the given T-norm and T-conorm.
|
Modifier and Type | Method and Description |
---|---|
private Pair<java.util.Map<Variable,Term>,java.lang.Double> |
constructAndSolveProblem(java.util.Collection<PropositionalFormula> formulas,
java.util.Map<Proposition,Variable> assignments)
Utility method
|
FuzzyInterpretation |
getOptimalInterpretation(java.util.Collection<PropositionalFormula> formulas)
Returns an optimal interpretation as a witness for the inconsistency value.
|
private Term |
getTerm(PropositionalFormula formula,
java.util.Map<Proposition,Variable> assignments)
Returns a mathematical term representation of the given formula by replacing
proposition by their given mathematical variables and replacing conjunction, disjunction,
and negation by their fuzzy counterparts (taking the given t-norm and t-conorm into account).
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
This method measures the inconsistency of the given set of formulas.
|
inconsistencyMeasure
public static final byte TFUZZY_MEASURE
public static final byte SUMFUZZY_MEASURE
private TNorm tnorm
private TCoNorm tconorm
private byte measure_version
public FuzzyInconsistencyMeasure(TNorm tnorm, TCoNorm tconorm, byte measure_version)
tnorm
- some T-normtconorm
- some T-conormmeasure_version
- one of TFUZZY_MEASURE, SUMFUZZY_MEASUREpublic FuzzyInconsistencyMeasure(TNorm tnorm, TCoNorm tconorm)
tnorm
- some T-normtconorm
- some T-conormpublic FuzzyInconsistencyMeasure(TNorm tnorm)
tnorm
- some T-normpublic FuzzyInconsistencyMeasure(TNorm tnorm, byte measure_version)
tnorm
- some T-normmeasure_version
- one of TFUZZY_MEASURE, SUMFUZZY_MEASUREprivate Term getTerm(PropositionalFormula formula, java.util.Map<Proposition,Variable> assignments)
formula
- some propositional formulaassignments
- an assignment of proposition to variablesprivate Pair<java.util.Map<Variable,Term>,java.lang.Double> constructAndSolveProblem(java.util.Collection<PropositionalFormula> formulas, java.util.Map<Proposition,Variable> assignments)
formulas
- assignments
- public FuzzyInterpretation getOptimalInterpretation(java.util.Collection<PropositionalFormula> formulas)
formulas
- a set of formulaspublic java.lang.Double inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<PropositionalFormula>
formulas
- a collection of formulas.