Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions

A fuzzy syllogism in fuzzy logic is defined as an inference schema in which the major premise, the minor premise, and the conclusion are propositions containing fuzzy quantifiers. A basic fuzzy syllogism in fuzzy logic is the intersection/product syllogism. Several other basic syllogisms are developed that may be used as rules of combination of evidence in expert systems. Among these is the consequent conjunction syllogism. Furthermore, it is shown that syllogistic reasoning in fuzzy logic provides a basis for reasoning with dispositions, that is, with propositions that are preponderantly but not necessarily always true. It is also shown that the concept of dispositionality is closely related to the notion of usuality and serves as a gateway to what might be called a theory of usuality, a theory that may eventually provide a computational framework for commonsense reasoning.

[1]  Peter Szolovits,et al.  Categorical and Probabilistic Reasoning in Medical Diagnosis , 1990, Artif. Intell..

[2]  Richard Bellman,et al.  Local and fuzzy logics , 1996 .

[3]  Ian Hacking.  Logic of Statistical Inference , 1965 .

[4]  Philip L. Peterson,et al.  On the logic of "few", "many", and "most" , 1979, Notre Dame J. Formal Log..

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

[6]  Henry Ely Kyburg,et al.  Probability and Inductive Logic , 1970 .

[7]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[8]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[9]  L. Zadeh.  The role of fuzzy logic in the management of uncertainty in expert systems , 1983 .

[10]  H. Carter.  Fuzzy Sets and Systems — Theory and Applications , 1982 .

[11]  Brian R. Gaines,et al.  Fuzzy reasoning and its applications , 1981 .

[12]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[13]  C. V. Negoiţă,et al.  Expert systems and fuzzy systems , 1985 .

[14]  Lotfi A. Zadeh.  Test-Score Semantics For Natural Languages , 1982, COLING.

[15]  Nicholas Rescher,et al.  Plausible reasoning , 1976 .

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

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

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

[19]  Raymond Reiter,et al.  SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING , 1980 .

[20]  Lotfi A. Zadeh,et al.  A Computational Theory of Dispositions , 1984, ACL.

[21]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[22]  James F. Baldwin,et al.  A fuzzy relational inference language , 1984 .

[23]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[24]  C. Hempel.  Maximal Specificity and Lawlikeness in Probabilistic Explanation , 1968, Philosophy of Science.

[25]  S. Cushing.  Quantifier meanings : a study in the dimensions of semantic competence , 1982 .

[26]  Brian R. Gaines,et al.  Precise Past - Fuzzy Future , 1983, Int. J. Man Mach. Stud..