Abstract
In various works, L.A. Zadeh has introduced fuzzy quantifiers, fuzzy usuality modifiers, and fuzzy likelihood modifiers. This paper provides these notions with a unified semantics and uses this to define a formal logic capable of expressing and validating arguments such as Most birds can fly; Tweety is a bird; therefore, it is likely that Tweety can fly’. In effect, these are classical Aristotelean syllogisms that have been ‘qualified’ through the use of fuzzy quantifiers. It is briefly outlined how these, together with some likelihood combination rules, can be used to address some well-known problems in the theory of nonmonotonic reasoning.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)
Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
Delgrande, J.P., Faber, W. (eds.): LPNMR 2011. LNCS, vol. 6645. Springer, Heidelberg (2011)
Doyle, J.: A truth maintenance system. Artificial Intelligence 12, 231–272 (1979)
Fermé, E., Hansson, S.O.: AGM 25 years: twenty-five years of research in belief change. J. Philos Logic 40, 295–331 (2011)
Smith, B., Kelleher, G. (eds.): Reason Maintenance Systems and their Applications, Ellis Horwood, Chichester, England (1988)
Kolmogorov, A.N.: Foundations of the Theory of Probability, 2nd English edn. Chelsea, New York (1956)
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo (1988)
Touretzky, D.: Implicit ordering of defaults in inheritance systems. In: Proceedings of the Fifth National Conference on Artificial Intelligence, AAAI 1984, pp. 322–325. Morgan Kaufmann, Los Altos (1984)
Touretzky, D., Horty, J.E., Thomason, R.H.: A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In: Proceedings of IJCAI-1987, Milan, Italy, pp. 476–482.
Schwartz, D.G.: Dynamic reasoning with qualified syllogisms. Artificial Intelligence 93, 103–167 (1997)
Zadeh, L.A.: Fuzzy logic and approximate reasoning (in memory of Grigore Moisil). Synthese 30, 407–428 (1975)
Zadeh, L.A.: PRUF—a meaning representation language for natural languages. International Journal of Man-Machine Studies 10, 395–460 (1978)
Zadeh, L.A.: A computational approach to fuzzy quantifiers in natural languages. Computers and Mathematics 9, 149–184 (1983)
Zadeh, L.A.: Fuzzy probabilities. Information Processing and Management 20, 363–372 (1984)
Zadeh, L.A.: Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions. IEEE Transactions on Systems, Man, and Cybernetics 15, 754–763 (1985)
Zadeh, L.A.: Outline of a theory of usuality based on fuzzy logic. In: Jones, A., Kaufmann, A., Zimmerman, H.-J. (eds.) Fuzzy Sets Theory and Applications (Reidel, Dordrecht), pp. 79–97 (1986)
Zadeh, L.A., Bellman, R.E.: Local and fuzzy logics. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic (Reidel, Dordrecht), pp. 103–165 (1977)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Schwartz, D.G. (2014). A Logic for Qualified Syllogisms. In: Jamshidi, M., Kreinovich, V., Kacprzyk, J. (eds) Advance Trends in Soft Computing. Studies in Fuzziness and Soft Computing, vol 312. Springer, Cham. https://doi.org/10.1007/978-3-319-03674-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-03674-8_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03673-1
Online ISBN: 978-3-319-03674-8
eBook Packages: EngineeringEngineering (R0)