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

Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for which the main support is the linguistic properties of the quantifiers. A number of fuzzy approaches for defining an approximate syllogism have been proposed for which the main support is cardinality calculus. In this paper we analyze fuzzy syllogistic models previously described by Zadeh and Dubois et al. and compare their behavior with that of the classical Aristotelian framework to check which of the 24 classical valid syllogistic reasoning patterns or moods are particular crisp cases of these fuzzy approaches. This allows us to assess to what extent these approaches can be considered as either plausible extensions of the classical crisp syllogism or a basis for a general approach to the problem of approximate syllogism.

[1]  Etienne E. Kerre,et al.  An overview of fuzzy quantifiers. (II). Reasoning and applications , 1998, Fuzzy Sets Syst..

[2]  Vilém Novák,et al.  A formal theory of intermediate quantifiers , 2008, Fuzzy Sets Syst..

[3]  Ronald R. Yager,et al.  REASONING WITH FUZZY QUANTIFIED STATEMENTS: PART II , 1985 .

[4]  Lotfi A. Zadeh,et al.  A theory of commonsense knowledge , 1983 .

[5]  Marcus Spies Syllogistic inference under uncertainty , 1989 .

[6]  Didier Dubois,et al.  Qualitative reasoning with imprecise probabilities , 1993, Journal of Intelligent Information Systems.

[7]  Didier Dubois,et al.  On fuzzy syllogisms , 1988, Comput. Intell..

[8]  Alberto Bugarín,et al.  An analysis of reasoning with quantifiers within the Aristotelian syllogistic framework , 2010, International Conference on Fuzzy Systems.

[9]  L. M. De Rijk THE PRIOR AND POSTERIOR ANALYTICS , 2002 .

[10]  P. L. Peterson Intermediate Quantities , 2020 .

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

[12]  Settimo Termini,et al.  A Definition of a Nonprobabilistic Entropy in the Setting of Fuzzy Sets Theory , 1972, Inf. Control..

[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]  Frederic Tamler Sommers,et al.  The logic of natural language , 1984 .

[15]  S. Barro,et al.  Definition and classification of semi-fuzzy quantifiers for the evaluation of fuzzy quantified sentences , 2003, Int. J. Approx. Reason..

[16]  L. Zadeh A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .

[17]  J. Warrington,et al.  Prior and Posterior Analytics , 1964 .

[18]  A. Meystel,et al.  Intelligent Systems , 2001 .