Show simple item record

AuthorKhayata, Mohamed Yasser [محمد ياسر خياطة]
AuthorJaam, Jihad Mohamad
AuthorGarcia, Laurent
AuthorPacholczyk, Daniel
Available date2009-11-25T15:22:16Z
Publication Date2002
Publication NameQatar University Science Journal
CitationQatar University Science Journal, 2002, Vol. 22, Pages 33-59.
URIhttp://hdl.handle.net/10576/9942
AbstractIn 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.
Languageen
PublisherQatar University
SubjectComputer Science
Subjectعلوم الحاسوب
TitleQualitative Dealing with Quantified Assertions
Alternative Titleتعامل نوعى مع التأكيدات القياسية
TypeArticle
Pagination33-59
Volume Number22
Alternative Abstractفي هذا البحث ، نقدم طريقة جديدة للمعالجة الرمزية للجمل القياسية المحدودة ذات الشكل التالي : "ك أ ← ب" علما بأن أ وب هن مسميات تمثل مجموعات بينما ك هو قياس لغوي يمثل نسبة مقيمة بطريقة نوعية، نموذجنا هذا، يمكن اعتباره تعميم رمزي من التصورات الاحتمالية الشرطية الإحصائية، وأيضا تعميم رمزي كلاسيكي للمعامل الاحتمالية، طريقتنا معتمدة بشكل رئيسي على المنطق الرمزي المحدود حيث أن مقياس التدرج في هذا المنطق ممثل بدرجات حقائق منطقية مختلفة، علاوة على ذلك ، فإننا نقترع قواعد استدلال رمزية تسمح لنا بالتعامل مع الجمل القياسية المحدودة وأخير نقدم تشكل رمزي من مبدأ الاستدلال المباشر يسمح لنا بالتعامل المنطقي الخصوصي.


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record