Qualitative Dealing with Quantified Assertions

Abstract

In this paper we present a newapproach to a symbolic treatment ofquan-tified statements having the following form "Q A's are 5'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 ofM symbolic quantifiers is translated in terms of truth degrees. Moreover,we propose symbolic inference rules allowing us to manage quantified statements. Finally, we present a symbolic formal-isation of direct inference principle allowing us to reason with particular individuals.

صب هذا البحث ، نقدم طويقة جديدة للمعالجة الرمزية للجمل القياسية المحدودة ذاتا إلمشلا اكل التالي : "ك أ-ب " محلماً بأن أ وب هن مسميات تمثل مجموصكاتله بينما لث هو قياسى لغوي يمثل نسبة مقيمة بطريقة نوعية، نموفجثا هذا، يمكن امحتباره تعهيهم رمزي من التصسرات الاحتمالية الشرطية الإحصائية، وأيضاً تعميم رمزي كلأسيكي للمعامل الاحتمالية، طريقتنا معتمدة بشكل رئيسي على المنطق الرمزي المحدود حيث أن مقياسى الشرج ين هلت ا المنطق ممثل بسرجات حقائق منطقية مختلفة، عللى وة على ذلك ، فإننا نقترع قواعلط الههتدلال رمزية تسمح لنا بالتعامل مع ال!جمل القياسية المحدودة .