The FA Quantifier Fuzzification Mechanism: analysis of convergence and efficient implementations

by   Felix Diaz-Hermida, et al.

The fuzzy quantification model FA has been identified as one of the best behaved quantification models in several revisions of the field of fuzzy quantification. This model is, to our knowledge, the unique one fulfilling the strict Determiner Fuzzification Scheme axiomatic framework that does not induce the standard min and max operators. The main contribution of this paper is the proof of a convergence result that links this quantification model with the Zadeh's model when the size of the input sets tends to infinite. The convergence proof is, in any case, more general than the convergence to the Zadeh's model, being applicable to any quantitative quantifier. In addition, recent revisions papers have presented some doubts about the existence of suitable computational implementations to evaluate the FA model in practical applications. In order to prove that this model is not only a theoretical approach, we show exact algorithmic solutions for the most common linguistic quantifiers as well as an approximate implementation by means of Monte Carlo. Additionally, we will also give a general overview of the main properties fulfilled by the FA model, as a single compendium integrating the whole set of properties fulfilled by it has not been previously published.


page 1

page 2

page 3

page 4


Fuzzy quantification for linguistic data analysis and data mining

Fuzzy quantification is a subtopic of fuzzy logic which deals with the m...

Fuzzy Rough Sets Based on Fuzzy Quantification

One of the weaknesses of classical (fuzzy) rough sets is their sensitivi...

On the analysis of set-based fuzzy quantified reasoning using classical syllogistics

Syllogism is a type of deductive reasoning involving quantified statemen...

Optimised Playout Implementations for the Ludii General Game System

This paper describes three different optimised implementations of playou...

Recovery of Sobolev functions restricted to iid sampling

We study L_q-approximation and integration for functions from the Sobole...

On the Strength of Uniqueness Quantification in Primitive Positive Formulas

Uniqueness quantification (∃ !) is a quantifier in first-order logic whe...

A Statistical Modeling Approach to Computer-Aided Quantification of Dental Biofilm

Biofilm is a formation of microbial material on tooth substrata. Several...

Please sign up or login with your details

Forgot password? Click here to reset