Abstract
In this paper we present a new approach to a symbolic treatment of quantified statements having the following form “Q A’s are B’s”, knowing that A and B are labels denoting sets, and Q is a linguistic quantifier interpreted as a proportion evaluated in a qualitative way. Our model can be viewed as a symbolic generalization of statistical conditional probability notions as well as a symbolic generalization of the classical probabilistic operators. Our approach is founded on a symbolic finite M-valued logic in which the graduation scale of M symbolic quantifiers is translated in terms of truth degrees of a particular predicate. Then, we present symbolic syllogisms allowing us to deal with quantified statements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Adams. The logic conditionals. D. Reidel, Dordercht, Netherlands, 1975.
S. Amarger, D. Dubois, H. Prade. Imprecise Quantifiers And Conditional Probabilities. In ECSQARU’91, R. Krause and al (eds.), 33–37, 1991.
H. Akdag, M. De Glas, D. Pacholczyk. A Qualitative Theory of Uncertainty. Fundamenta Informatica, 17 (4): 333–362, 1992.
F. Bacchus. Representation and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge, MA, 1990.
F. Bacchus, A. J. Grove, J. Y. Halpern, D. Koller. From statistical knowledge hases to degrees of belief. Artificial intelligence, 87: 75–143, 1997.
P. Cheeseman. An inquiry into computer understanding. Computational Intelligence, 4 (1): 58–66, 1988.
D. Dubois, H. Prade. On fuzzy syllogisms. Computational Intelligence, 4 (2): 171–179, 1988.
D. Dubois, H. Prade, L. Godo, R. Mantaras. A symbolic approach to reasoning with linguistic quantifiers. In UAI, Stanford, 74–82, 1992.
M. Jaeger. Default Reasoning about Probabilities. Ph. D. Thesis, Univ. Of Saarbruchen, 1995.
M.Y. Khayata. D. Pacholczyk. A Symbolic Approach to Linguistic Quantifiers. Proc. of IPMU’2000, Madrid, Spain, Vol 3, p 1720–1727.
M.Y. Khayata, D. Pacholczyk. A Symbolic Approach to Linguistic Quantification. In First FAST IEEE Student Conference,101–106, Lahore, 1998.
H.E. Kyburg. The reference class. Philosophy of Science, 50 (3): 374–397, 1983.
N.J. Nilsson. Probabilistic logic. Artificial Intelligence, 28(1): 71–88, 1986.
G. Paass. Probabilistic logic. In Non Standard Logic for Automated Reasoning, P. Smet et al. (eds.), Academic Press, 213–251, 1988.
D. Pacholczyk. Contribution au Traitement Logico-symbolique de la Connaissance. Thèse d’Etat. Université de PARIS 6, 1992.
D. Pacholczyk. A Logico-symbolic Probability Theory for the Management of Uncertainty. CC-AI, 11(4): 417–484, 1994.
J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Revised second printing, Morgan Kaufmann, San Francisco, 1991.
J. L. Pollock. Nomic Probabilities and the Foundations of Induction. Oxford University Press, 1990.
A.L. Ralescu, B. Bouchon-Meunier, D.A. Ralescu. Combining Fuzzy Quantifiers. Rapport interne de LAFORIA, 1996.
L. Sombé. Reasoning under incomplete information in artificial intelligence, John Wiley, 1990.
Y. Xiang, M.P. Beddoes, D. Poole. Can Uncertainty Management be realized in a finite totally ordered Probability Algebra. Uncertainty in Artificial Intelligence 5: 41–57, 1990.
R.R. Yager. Reasoning with quantified statements. Part I, Kybernetes, 14, 233–240, 1985.
R.R. Yager. Reasoning with quantified statements. Part II, Kybernetes, 14, 111–120, 1986.
L.A. Zadeh. Fuzzy sets. Information and Control, 8: 338–353, 1965.
L.A. Zadeh. Syllogistic reasoning in Fuzzy logic and its application to usuality and reasoning with dispositions. IEEE Transactions on Systems, Man and Cybernetics, 15 (6): 754–763, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Khayata, M.Y., Pacholczyk, D. (2002). A Symbolic Approach to Syllogistic Reasoning. In: Bouchon-Meunier, B., Gutiérrez-Ríos, J., Magdalena, L., Yager, R.R. (eds) Technologies for Constructing Intelligent Systems 1. Studies in Fuzziness and Soft Computing, vol 89. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1797-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1797-3_8
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-662-00329-9
Online ISBN: 978-3-7908-1797-3
eBook Packages: Springer Book Archive