ارسل ملاحظاتك

ارسل ملاحظاتك لنا







Model Checking Knowledge and Commitment in Multi Agent Systems

العنوان بلغة أخرى: فحص نموذج المعرفة والإلتزام في الأنظمة متعددة العملاء
المؤلف الرئيسي: الخشاشنة، مراد أحمد صالح (مؤلف)
مؤلفين آخرين: السقار، فيصل سليمان (مشرف)
التاريخ الميلادي: 2021
موقع: المفرق
الصفحات: 1 - 68
رقم MD: 1171661
نوع المحتوى: رسائل جامعية
اللغة: الإنجليزية
الدرجة العلمية: رسالة ماجستير
الجامعة: جامعة آل البيت
الكلية: كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات
الدولة: الاردن
قواعد المعلومات: Dissertations
مواضيع:
رابط المحتوى:
صورة الغلاف QR قانون

عدد مرات التحميل

4

حفظ في:
المستخلص: ناقشت العديد من الأبحاث المعرفة والالتزام بشكل منفصل كالأنظمة المتعددة للعملاء(Multi- Agent Systems) . حديثا تم تقديم دراسة ناقشت التفاعل بين الالتزام والمعرفة في نفس الوقت، وذلك عبر اقتراح لغة منطقية سميت CTLKC+. تقوم اللغة المنطقية CTLKC+ بجمع لغتين منطقيتين هما CTLK وCTLC. قامت لغة CTLKC+، بعد ذلك، بالتطرق إلى موضوع فحص النموذج باستخدام تقنية التحويل (Transformation Technique) وعانت من مشكلة قابليتها للتوسع Scalability. قدمت في هذا البحث خوازميتين أحدهما للالتزام Commitment والأخرى للوفاء Fulfillment لمنطق CTLKC+. بعد ذلك تم تطوير نسخة فاحص النموذج MCMAS بإضافة هاتين الخوارزميتين لعمله، وذلك من أجل استخدامه في فحص الصيغ المنطقية التي تحتوي على الالتزام والوفاء. ولبيان أهمية هذه اللغة المنطقية في الحياة العملية، تم تطبيق مثال عملي (Case Study) هو بروتوكول NetBill المأخوذ من مجال الأعمال باستخدام النسخة التي تم تطويرها من فاحص MCMAS. ولغاية تقييم جدوى الخوارزميات المقترحة في هذا البحث، تمت مقارنة نتائج هذه الدراسة مع نتائج دراسة أخرى لنفس اللغة المنطقية والتي طبقت فحص النموذج باستخدام عملية التحويل. وقد أظهرت نتائج البحث أن استخدام فاحص النموذج المقترح قد استطاع فحص عدد من العملاء يصل إلى 50 عميلا مع حجم نموذج (1.98071e+29) مقارنة مع الدراسة الأخرى والتي استطاعت فحص 9 عملاء وحجم نموذج (1.30413e+07). في الختام تتميز التقنية المقترحة من بكونها قابلة للتطوير وأكثر مقاومة لمشكلة الانفجار (State Explosion Problem) بدون دفع أي كلفة زائدة من وقت التنفيذ وحجم الذاكرة.

عناصر مشابهة