Class FuzzyInconsistencyMeasure

    • Field Detail

      • TFUZZY_MEASURE

        public static final byte TFUZZY_MEASURE
        static constant for the T-version of the measure
        See Also:
        Constant Field Values
      • SUMFUZZY_MEASURE

        public static final byte SUMFUZZY_MEASURE
        static constant for the Sum-version of the measure
        See Also:
        Constant Field Values
    • Constructor Detail

      • FuzzyInconsistencyMeasure

        public FuzzyInconsistencyMeasure​(TNorm tnorm,
                                         TCoNorm tconorm,
                                         byte measure_version)
        Creates a new measure for the given T-norm and T-conorm.
        Parameters:
        tnorm - some T-norm
        tconorm - some T-conorm
        measure_version - one of TFUZZY_MEASURE, SUMFUZZY_MEASURE
      • FuzzyInconsistencyMeasure

        public FuzzyInconsistencyMeasure​(TNorm tnorm,
                                         TCoNorm tconorm)
        Creates a new measure (T Version) for the given T-norm and T-conorm.
        Parameters:
        tnorm - some T-norm
        tconorm - some T-conorm
      • FuzzyInconsistencyMeasure

        public FuzzyInconsistencyMeasure​(TNorm tnorm)
        Creates a new measure for the given T-norm. Its dual is used as t-conorm.
        Parameters:
        tnorm - some T-norm
      • FuzzyInconsistencyMeasure

        public FuzzyInconsistencyMeasure​(TNorm tnorm,
                                         byte measure_version)
        Creates a new measure for the given T-norm. Its dual is used as t-conorm.
        Parameters:
        tnorm - some T-norm
        measure_version - one of TFUZZY_MEASURE, SUMFUZZY_MEASURE
    • Method Detail

      • getOptimalInterpretation

        public FuzzyInterpretation getOptimalInterpretation​(java.util.Collection<PlFormula> formulas)
        Returns an optimal interpretation as a witness for the inconsistency value.
        Parameters:
        formulas - a set of formulas
        Returns:
        an optimal interpretation as a witness for the inconsistency value.