Model Checking Knowledge and Commitment in Multi Agent Systems
| العنوان بلغة أخرى: |
فحص نموذج المعرفة والإلتزام في الأنظمة متعددة العملاء |
|---|---|
| المؤلف الرئيسي: | الخشاشنة، مراد أحمد صالح (مؤلف) |
| مؤلفين آخرين: | السقار، فيصل سليمان (مشرف) |
| التاريخ الميلادي: |
2021
|
| موقع: | المفرق |
| الصفحات: | 1 - 68 |
| رقم MD: | 1171661 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | جامعة آل البيت |
| الكلية: | كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
عدد مرات التحميل
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) بدون دفع أي كلفة زائدة من وقت التنفيذ وحجم الذاكرة. |
|---|
عناصر مشابهة
-
Path Computation Element Model on the Super Computer
بواسطة: Saliem, Rawya Elmahi Gobara منشور: (2019) -
Enhanced Arabic Language Texts Classification Using the Light Gradient Boosted Machine Algorithm "LIGHTGBM"
بواسطة: البطاينة، عدي زياد فيصل منشور: (2021) -
Collaboration Model for Multi agent Systems
بواسطة: الياصجين، آية عبدالله منشور: (2016) -
Knowledge Management System for Multi-Agent Systems
بواسطة: الخريسات، آية منصور مفلح منشور: (2016) -
Enhanced Self-Organizing Map Solution for Multi Traveling Salesman Problem
بواسطة: بدوان، روان نعيم منشور: (2023)
