Show simple item record

Author Khayata, Mohamed Yasser [محمد ياسر خياطة]en_US
Author Jaam, Jihad Mohamaden_US
Author Garcia, Laurenten_US
Author Pacholczyk, Danielen_US
Available date 2009-11-25T15:22:16Zen_US
Publication Date 2002en_US
Publication Name Qatar University Science Journal
Citation Qatar University Science Journal, 2002, Vol. 22, Pages 33-59.en_US
URI http://hdl.handle.net/10576/9942en_US
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.en_US
Language enen_US
Publisher Qatar Universityen_US
Subject Computer Scienceen_US
Subject علوم الحاسوبar
Title Qualitative Dealing with Quantified Assertionsen_US
Alternative Title تعامل نوعى مع التأكيدات القياسيةar
Type Articleen_US
Pagination 33-59en_US
Volume Number 22en_US
Alternative Abstract في هذا البحث ، نقدم طريقة جديدة للمعالجة الرمزية للجمل القياسية المحدودة ذات الشكل التالي : "ك أ ← ب" علما بأن أ وب هن مسميات تمثل مجموعات بينما ك هو قياس لغوي يمثل نسبة مقيمة بطريقة نوعية، نموذجنا هذا، يمكن اعتباره تعميم رمزي من التصورات الاحتمالية الشرطية الإحصائية، وأيضا تعميم رمزي كلاسيكي للمعامل الاحتمالية، طريقتنا معتمدة بشكل رئيسي على المنطق الرمزي المحدود حيث أن مقياس التدرج في هذا المنطق ممثل بدرجات حقائق منطقية مختلفة، علاوة على ذلك ، فإننا نقترع قواعد استدلال رمزية تسمح لنا بالتعامل مع الجمل القياسية المحدودة وأخير نقدم تشكل رمزي من مبدأ الاستدلال المباشر يسمح لنا بالتعامل المنطقي الخصوصي.


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record