عناصر مشابهة
Model Checking Knowledge and Commitment in Multi Agent Systems
| العنوان بلغة أخرى: | فحص نموذج المعرفة والإلتزام في الأنظمة متعددة العملاء |
|---|---|
| الناشر: |
المفرق
|
| المؤلف الرئيسي: | |
| مؤلفين آخرين: | |
| التاريخ الميلادي: | 2021 |
| الصفحات: | 1 - 68 |
| رقم MD: | 1171661 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | English |
| قواعد المعلومات: | Dissertations |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | جامعة آل البيت |
| الكلية: | كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات |
| مواضيع: | |
| رابط المحتوى: |
| المستخلص: | ناقشت العديد من الأبحاث المعرفة والالتزام بشكل منفصل كالأنظمة المتعددة للعملاء(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) بدون دفع أي كلفة زائدة من وقت التنفيذ وحجم الذاكرة. |
|---|
