A symbolic approach to syllogistic reasoning

  • Authors:
  • Mohamed Yasser Khayata;Daniel Pacholczyk

  • Affiliations:
  • LERIA, U.F.R Sciences, 2, Boulevard Lavoisier, 49045 ANGERS Cedex 01, FRANCE;LERIA, U.F.R Sciences, 2, Boulevard Lavoisier, 49045 ANGERS Cedex 01, FRANCE

  • Venue:
  • Technologies for constructing intelligent systems
  • 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 "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.