A Qualitative Approach to Syllogistic Reasoning

  • Authors:
  • Mohamed Yasser Khayata;Daniel Pacholczyk;Laurent Garcia

  • Affiliations:
  • LERIA, University of Angers, 2 Bd Lavoisier, 49045 Angers CEDEX 01, France E-mail: khayata@info.univ-angers.fr;LERIA, University of Angers, 2 Bd Lavoisier, 49045 Angers CEDEX 01, France E-mail: pacho@info.univ-angers.fr;LERIA, University of Angers, 2 Bd Lavoisier, 49045 Angers CEDEX 01, France E-mail: garcia@info.univ-angers.fr

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a new approach to a symbolic treatment of quantified statements having the following form “iQ iA's are iB's”, knowing that iA and iB are labels denoting sets, and iQ 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 iM-valued logic in which the graduation scale of iM symbolic quantifiers is translated in terms of truth degrees. Moreover, we propose symbolic inference rules allowing us to manage quantified statements.