A formal theory of fuzzy natural language quantification and its role in granular computing

Fuzzy quantification is a linguistic granulation technique capable of expressing the global characteristics of a collection of individuals, or a relation between individuals, through meaningful linguistic summaries. However, existing approaches to fuzzy quantification fail to provide convincing results in the important case of two-place quantification (e.g. "many blondes are tall"). We develop an axiomatic framework for fuzzy quantification which complies with a large number of linguistically motivated adequacy criteria. In particular, we present the first models of fuzzy quantification which provide an adequate account of the "hard" cases of multiplace quantifiers, non-monotonic quantifiers, and non-quantitative quantifiers, and we show how the resuiting operators can be efficiently implemented based on histogram computations.

[1]  Zoltan Paul Dienes,et al.  On an implication function in many-valued systems of logic , 1949, Journal of Symbolic Logic.

[2]  Richard C. T. Lee,et al.  Some Properties of Fuzzy Logic , 1971, Inf. Control..

[3]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[4]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning-III , 1975, Inf. Sci..

[5]  B. R. Gainfs.  Foundations of fuzzy reasoning , 1976 .

[6]  W. Silvert.  Symmetric Summation: A Class of Operations on Fuzzy Sets , 1979 .

[7]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[8]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[9]  Lotfi A. Zadeh,et al.  A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .

[10]  Ronald R. Yager,et al.  Quantified Propositions in a Linguistic Logic , 1983, Int. J. Man Mach. Stud..

[11]  Ronald R. Yager,et al.  Approximate reasoning as a basis for rule-based expert systems , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  Johan van Benthem,et al.  Questions About Quantifiers , 1984, J. Symb. Log..

[13]  Lotfi A. Zadeh,et al.  Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[14]  Anca L. Ralescu,et al.  A note on rule representation in expert systems , 1986, Inf. Sci..

[15]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[16]  R. Yager.  Connectives and quantifiers in fuzzy sets , 1991 .

[17]  R. Yager.  Families of OWA operators , 1993 .

[18]  Ronald R. Yager,et al.  Counting the number of classes in a fuzzy set , 1993, IEEE Trans. Syst. Man Cybern..

[19]  Helmut Thiele,et al.  On T-quantifiers and S-quantifiers , 1994, Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).

[20]  P. Bosc,et al.  Monotonic quantified statements and fuzzy integrals , 1994, NAFIPS/IFIS/NASA '94. Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference. The Industrial Fuzzy Control and Intellige.

[21]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[22]  D. Ralescu.  Cardinality, quantifiers, and the aggregation of fuzzy criteria , 1995 .

[23]  Isabelle Bloch.  Information combination operators for data fusion: a comparative review with classification , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[24]  Ronald R. Yager,et al.  A fuzzy SQL summary language for data discovery , 1997 .

[25]  Ingo Glöckner.  DFS - An Axiomatic Approach to Fuzzy Quantification , 1997 .

[26]  Etienne E. Kerre,et al.  An overview of fuzzy quantifiers. (I). Interpretations , 1998, Fuzzy Sets Syst..

[27]  H. Ritter,et al.  A Framework for Evaluating Approaches to Fuzzy Quantification , 1999 .

[28]  Alois Knoll,et al.  Query Evaluation and Information Fusion in a Retrieval System for Multimedia Documents , 1999 .

[29]  Alois Knoll,et al.  Architecture and Retrieval Methods of a Search Assistant for Scientific Libraries , 2000 .

[30]  Gesellschaft für Klassifikation. Jahrestagung,et al.  Classification and information processing at the turn of the millennium : proceedings of the 23rd annual conference of the Gesellschaft für Klassifikation e.V., University of Bielefeld, March 10-12, 1999 , 2000 .

[31]  H. Ritter,et al.  A Broad Class of Standard DFSes , 2001 .