‫وزارة التعليم العالي‬

‫جامعة تشرين ‪ -‬طرطوس‬

‫كلية هندسة تكنولوجيا المعلومات واالتصاالت‬

‫المنطق الضبابي ‪Fuzzy Logic‬‬

‫القسم العملي – المحاضرة األولى‬
‫مقرر السنة الرابعة لقسمي النظم الحاسوبية وااللكترونية‬
‫وتكنولوجيا المعلومات‬
‫الدكتور المهندس حسن البستاني‬
‫المهندس وائل ابراهيم‬

‫‪1‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫المشكلة في التطبيقات الحقيقية‬

‫• توجد نظم فيزيائية معقدة ال يمكن أو يصعب‬

‫تمثيلها باستخدام مجموعة من معادالت الفروق‬
‫والمعادالت التفاضلية الدقيقة أو بنموذج‬
‫رياضي صحيح إلى حد معقول‪ ،‬ويعود هذا إلى‬
‫االلتباس في قيم اإلشارات الفيزيائية الواقعية‬
‫والتسامحات ‪ Tolerances‬في قيم العناصر‬
‫المكونة لهذه النظم‪.‬‬
‫ّ‬
‫• عندما يتطلب وصف النظم خبرة بشرية محددة‬
‫من حيث المصطلحات اللغوية (أكبر‪ ،‬أقوى‪،‬‬
‫أسرع ‪.)...‬‬

‫‪2‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫المنطق الضبابي ‪Fuzzy Logic‬‬
‫• المنطق الضبابي هو المحاكمة التقريبية ‪ Approximate Reasoning‬أو التجميع‬
‫(التصنيف) المعلوماتي ‪ Information Granulation‬أو الحوسبة بالصفات‬
‫‪.Computing with Words‬‬
‫• سبب ظهور هذا النوع من المنطق هو الغموض وااللتباس الموجود في النظم والعمليات‬
‫الواقعية‪.‬‬
‫• يؤمن المنطق الضبابي بنية استداللية ‪ Inference Structure‬تمكننا من تطبيق إمكانات‬
‫التفكير البشري على النظم المعرفية الصناعية ‪Artificial Knowledge-based‬‬
‫‪.Systems‬‬
‫• يم ّكننا المنطق الضبابي من تحويل االستراتيجيات اللغوية إلى أفعال تح ّكمية‪ ،‬أي أنه يقدم لنا‬
‫حوسبة عالية المستوى ‪.High-level Computation‬‬
‫‪3‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬
‫المجموعات والنظم الضبابية ‪Fuzzy Sets and Systems‬‬

‫• يمكن تصنيف خوارزميات وطرق هذه التمثيالت من ضمن التحكم الذكي‬

‫(الشبكات العصبونية والنظم الخبيرة)‬
‫• تتضمن كل من النمذجة والتحليل والتحكم الضبابي الخبرات والمعرفة‬
‫البشرية‪ ،‬التي ال يعد استخدامها نافعا فقط بل غدا أمرا ضروريا‪ ،‬عن‬
‫طريق تأثيرها على مكوناته وهي‪ :‬المجموعات الضبابية ‪– Fuzzy Sets‬‬
‫المنطق الضبابي ‪ – Fuzzy Logic‬قاعدة القوانين الضبابية ‪Fuzzy Rule‬‬
‫‪ .Base‬حيث تعتمد بشكل أكبر على معلومات الخبراء المتخصصين من‬
‫اعتمادها على النمذجة الرياضية للنظم الفيزيائية‪ .‬وهي استكشافية‬
‫‪ Heuristic‬تماما ومخصصة ‪ Ad Hoc‬إلى حد ما‪.‬‬
‫• تعبر كلمة ضبابي عن فكرة العضوية الجزئية في مجموعة ذات مميزات‬
‫محددة‪ .‬وتعتبر عملية تحديد قيمة هذا العضوية أمرا ذاتيا ‪Subjective‬‬
‫خاصا بالمصمم‪.‬‬

‫‪4‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫كيف نفهم المنطق الضبابي؟‬
‫• الغاية من المنطق الضبابي هي التعامل مع النظم التي نماذجها الرياضية ملتبسة‬
‫‪ Uncertain‬أو غير الكاملة ‪ Imperfect‬باستخدام الرياضيات الضبابية ولهذا يجب علينا‪:‬‬
‫تذكير بجبر المجموعات‬ ‫•‬
‫تعريف المجموعات الضبابية ودالة العضوية ‪.Membership Function‬‬ ‫•‬
‫تعريف الجبر الضبابي من خالل توسيع تعريف الجبر الكالسيكي على المجموعات الضبابية‬ ‫•‬
‫تعريف المنطق الضبابي من خالل توسيع مفاهيم المنطق الكالسيكي على المجموعات الضبابية‬ ‫•‬

‫‪5‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات الكالسيكي ‪Set Theory‬‬

‫• جبر المجموعات أو نظرية المجموعات الكالسيكية ‪Classical‬‬

‫‪ Set Theory‬هو فرع من الرياضيات يتعامل مع الخواص‬
‫الجماعية للكائنات في فضاء العمل (األعداد الحقيقية الموجبة‪،‬‬
‫‪a A‬‬ ‫الطالب‪ ،‬البحار‪ )....‬وطرق التأثير عليها‪ .‬هذه النظرية تطبق على‬
‫الحاالت الحتمية ‪ Deterministic‬والعشوائية ‪.Stochastic‬‬
‫‪S=R2‬‬ ‫• تشكل المجموعة ‪ Set‬المفهوم األساسي في نظرية المجموعات‪،‬‬
‫وهي مجموعة من األغراض ذات الخواص المشتركة‪ ،‬وتسمى‬
‫أعضاء المجموعة ‪.Set Members‬‬
‫• يوجد تمييز واضح وحاد وبيّن بين العضو )‪ (a‬والالعضو )‪(b‬‬
‫‪b‬‬ ‫معرفة بشكل جيد )‪ .(A‬أي‬‫‪ Nonmember‬في مجموعة كائنات ّ‬
‫أن الكائن إما أن ينتمي أو ال ينتمي إلى مجموعة ما‪.‬‬

‫‪6‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫العضوية الجزئية في المجموعات الضبابية‬

‫• في الحاالت االحتمالية واالحصائية يصبح هناك «احتمال» انتماء‬

‫معرفة في فضاء احتمالي أو إحصائي‪.‬‬‫للكائن إلى مجموعة ّ‬
‫• في الحاالت الضبابية يمكن أن يكون الكائن عضوا بشكل جزئي‬
‫‪ Partial Member‬في المجموعة ولنقل باحتمال (درجة) ‪.%70‬‬
‫• الكائنات التي ال يمكن لها االنتماء جزئيا إلى مجموعة ما‪ ،‬أي أن‬
‫تكون منتمية أو ال منتمية بنفس الوقت إليها‪ ،‬في نظرية‬
‫المجموعات الكالسيكية (المحددة ‪ )Definite‬يمكن التعامل معها‬
‫في نظرية المجموعات الضبابية التي تعد توسيعا للنظرية‬
‫الكالسيكية إلى حد ما‪ ،‬خصوصا كونها تقبل العضوية الجزيئة‬
‫للكائنات في مجموعاتها‪.‬‬

‫‪7‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬
‫• المجموعة الشاملة ‪ :(S) Universe Set‬هي مجموعة غير خالية تشمل جميع الكائنات معرض االهتمام في سياق ما‬
‫(الطالب‪ ،‬المنتجات‪ ،‬األعداد الصحيحة السالبة‪ ،)...‬يسمى كل منها أعضاء المجموعة ‪ Set Members‬أو عنصر‬
‫‪ Element‬من ‪ .S‬تعبر عالقة االنتماء أو الال انتماء (∉ ‪ )∈ ,‬عن مفهوم عضوية العنصر أو العضو في مجموعة‬
‫ما من عدمها‪ ،‬حيث نكتب‪:‬‬

‫• المجموعة الفرعية )‪ (S‬من المجموعة الشاملة ‪ :Subset of S‬هي اجتماع عدد (منتهي أو ال منتهي) من أعضاء ‪.S‬‬
‫ويعبّر عن هذا المفهوم بعالقة االحتواء ⊃ و ⊂حيث نكتب‪:‬‬

‫‪8‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬
‫• مفاهيم في االحتواء‪ :‬تكون المجموعة الفرعية ‪ S‬مجموعة فرعية صحيحة بشكل صارم ‪ Strictly Proper‬إذا‬
‫كان هناك عنصر ‪ x‬ينتمي إلى ‪ S‬وال ينتمي إلى ‪ S‬أي أن‪:‬‬
‫‪𝑺 ⊂ 𝐒 ⟺ 𝒙 ∈ 𝐒 & 𝒙 ∉ 𝑺.‬‬
‫• وإال فإنه يمكن كتابة‪:‬‬
‫‪𝑺 ⊆ 𝐒 ⟺ 𝑺 ⊂ 𝐒 & 𝑺 = 𝐒.‬‬
‫• المجموعة الخالية (∅) ‪ :Empty Set‬هي مجموعة خالية من العناصر‪.‬‬
‫• تمثيل المجموعة الفرعية‪ :‬يعبّر عن مجموعة فرعية من العناصر ذات الخصائص ‪ p1,…..,p2‬إما بذكر أعضائها‬
‫صراحة بين قوسي مجموعة مفصولين عن بعض بفاصلة }‪ {1,2..‬ويسمى بالصيغة المجدولة ‪.Tabular Form‬‬
‫أو عن طريق صيغة طريقة الخصائص ‪ Property Method Form‬أو صيغة باني المجموعة ‪Set Builder‬‬
‫‪ Form‬المبين في الشكل‪:‬‬

‫‪9‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬

‫• العالقات بين المجموعات الفرعية‪:‬‬

‫‪• 𝐴, 𝐵 ⊂ S; a ∈ 𝐴, 𝑏 ∈ 𝐵:‬‬
‫• االحتواء والتساوي‪:‬‬
‫;𝐵 ⊂ 𝐴 ⟹ 𝐵 ∈ 𝑎 𝑓𝑖 ;𝐴 ∈ 𝑎 ∀‬

‫‪A‬‬ ‫‪𝑖𝑓 𝐴 ⊂ 𝐵, 𝐵 ⊂ 𝐴 ⟹ 𝐴 = 𝐵 ∴ 𝐴 ⊆ 𝐵,‬‬

‫‪∴ 𝐴 ⊂ 𝐵 ≡ 𝐴 ⊆ 𝐵 ≡ 𝐴 ≠ 𝐵.‬‬
‫• الفرق ‪:Difference‬‬
‫‪B‬‬

‫‪10‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬

‫• العالقات بين المجموعات الفرعية‪:‬‬

‫يعرف متمم مجموعة فرعية بأنه الفرق بين المجموعة الشاملة وبينها‪:‬‬
‫• المتمم ‪ّ :Complement‬‬
‫‪𝑖𝑓 𝐴 = S:‬‬
‫‪𝐵ത = S-B‬‬
‫واضح أن‪:‬‬
‫‪A‬‬
‫‪B‬‬ ‫يعرف الضرب على مجموعة ‪ A‬بـ‪:‬‬
‫• الضرب ‪ :Multiplication‬إذا كان ‪ r‬عدد حقيقي ّ‬

‫‪S‬‬
‫• االجتماع ‪ :Union‬يعرف االجتماع بالعالقة‪:‬‬
‫واضح أن‬

‫‪11‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬

‫• العالقات بين المجموعات الفرعية‪:‬‬

‫يعرف التقاطع بالعالقة اآلتية‪:‬‬
‫• التقاطع ‪ّ :Intersection‬‬
‫‪A‬‬
‫‪B‬‬
‫واضح أن‪:‬‬

‫• المجموعات الفرعية المنفصلة ‪ :Disjoint Subsets‬هي المجموعات التي ال تشترك‬

‫‪C‬‬ ‫بأي عنصر‪:‬‬

‫‪S‬‬

‫‪12‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬

‫• العالقات بين المجموعات الفرعية‪:‬‬

‫• يلخص الجدول المبين الخصائص األساسية لنظرية‬
‫المجموعات الكالسيكية‪.‬‬

‫‪13‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪Set Theory‬‬
‫• التابع (الدالة‪ ،‬الوظيفة) المم ِّيّز ‪ Characteristic Function‬لمجموعة ‪A‬‬
‫يعطى بالعالقة‪:‬‬

‫• إذا كان لدينا مجموعتين ‪ A,B‬في المجموعة الشاملة ‪ ،S‬ومن أجل أي عنصر‬
‫‪ x∈S‬فإن‪:‬‬

‫‪14‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫تذكير بجبر المجموعات ‪( Set Theory‬لالستئناس)‬
‫• التابع الجمعي ‪ Additive‬على مجموعة‪.‬‬
‫• التابع الجمعي المعدود ‪.Countably Additive‬‬
‫• التابع الطرحي ‪ Subtractive‬على مجموعتين‪.‬‬
‫• مقياس مجموعة ‪Measure‬‬
‫• المقياس العادي ‪.Trivial‬‬
‫• المقياس الطبيعي ‪.Natural‬‬
‫• خصائص المقياس‬
‫• المقياس المحدود ‪.Finite‬‬

‫‪15‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫نظرية المجموعات الضبابية‬

‫• يصف التابع المميّز لمجموعة ضبابية ما درجة عضوية ‪Membership Grade‬‬

‫العنصر في المجموعة‪ .‬حيث أن القيم األكبر للتابع تعني درجة عضوية أعلى‪.‬‬
‫• مثال‪ S :‬هي مجموعة كافة الكائنات البشرية وهي المجموعة الشاملة‪ ،‬نعرف منها‬
‫مجموعة فرعية كما يأتي‪:‬‬
‫إن المجموعة ‪ Sf‬ضبابية كون الخاصية ‪ old‬غير معرفة جيدا وال يمكن قياسها بدقة!!‪.‬‬
‫• للتعريف الجيد للمجموعة الفرعية ‪ Sf‬يجب علينا تكميم ‪ Quantify‬المفهوم ‪ old‬ليصف‬
‫المجموعة بشكل دقيق وحصيف رياضيا‪.‬‬

‫‪16‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫نظرية المجموعات الضبابية‬

‫• يش ّكل التابع المميز لمجموعة فرعية ضبابية مقياس رياضيا للخاصية التي يصفها في المجموعة‪.‬‬
‫• يسمى التابع المميز لمجموعة ضبابية ‪ Sf‬بتابع العضوية المتعلق بهذه المجموعة الفرعية‪.‬‬
‫• عموما ال يوجد قانون أو معيار شامل وثابت وفريد الختيار تابع العضوية لمجموعة فرعية ضبابية‪ .‬بل يحدد من قبل‬
‫المستخدم باالعتماد على معرفته العلمية وخبراته العملية وحاجته الفعلية للتطبيق الخاص موضع التساؤل‪ .‬وهذا أمر‬
‫ذاتي‪ .‬أمثلة أخرى على تابع العضوية (الحظ أنها جميعها مطبّعة إلى الواحد ‪)Normalized to 1‬‬

‫‪17‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫المجموعة الفرعية الضبابية‬
‫‪Fuzzy Subset‬‬
‫• المجموعة الفرعية الضبابية‪ :‬هي المجموعة الفرعية ‪ Sf‬من المجموعة الشاملة ‪ S‬متعلق بها‬
‫تابع عضوية )𝑠( 𝑓𝑆‪ μ‬يحدد درجة انتماء العنصر ‪ s∈Sf‬إليها ‪.‬‬

‫‪18‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Set Theory In MATLAB‬‬

‫‪19‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Set Theory In MATLAB‬‬

‫‪20‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Set Theory In MATLAB‬‬

‫‪21‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Set Theory In MATLAB‬‬

‫‪22‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Set Theory In MATLAB‬‬

‫‪23‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫®‪Fuzzy Logic Toolbox‬‬

‫تستخدم إلنشاء وتحرير نظام استنتاج ضبابي ‪Fuzzy‬‬ ‫•‬

‫‪.Inference System FIS‬‬
‫يمكن إنشاء هذه النظم ‪ FIS‬إما نصيا (أسطر تعليمات) أو عن‬ ‫•‬
‫طريق واجهة رسومية ‪ .GUI‬أو يمكن توليدها آليا باستخدام‬
‫إحدى تقنيتي التصنيف ‪ Clustering‬أو الضبابية العصبونية‬
‫المتكيفة ‪.Adaptive Neuro-Fuzzy‬‬
‫النظام الناتج قابل للمحاكاة بالتعاون مع ®‪ Simulink‬في بيئة‬ ‫•‬
‫محاكاة المخططات الوظيفية‪.‬‬
‫تنفذ هذه األداة برامج لغة ‪ C‬المستقلة ‪( Stand-alone‬الولدة‬ ‫•‬
‫من جلسات النمذجة في البيئة) مباشرة عن طريق محرك‬
‫االستنتاج الضبابي المستقل‪ .‬أو يمكن تخصيص المحرك لبناء‬
‫استنتاج ضبابي في كودات مصممة لهذه الغاية ‪.‬‬

‫‪24‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬

 ‫الوظيفة‬
‫• أثبت ما يأتي‪:‬‬

‫• باستخدام تعليمات جبر المجموعات في ‪ MATLAB‬اكتب برنامجا ‪ m.file‬توضح فيه جميع‬

‫العمليات الجبرية التي يمكن تنفيذها على مجموعتين‬

‫‪25‬‬ ‫الفصل الدراسي الثاني ‪2015-2014‬‬ ‫‪ 07‬نيسان‪19 ،‬‬