| LEADER |
03920nam a2200325 4500 |
| 001 |
1534977 |
| 041 |
|
|
|a eng
|
| 100 |
|
|
|9 627897
|a الخشاشنة، مراد أحمد صالح
|e مؤلف
|
| 245 |
|
|
|a Model Checking Knowledge and Commitment in Multi Agent Systems
|
| 246 |
|
|
|a فحص نموذج المعرفة والإلتزام في الأنظمة متعددة العملاء
|
| 260 |
|
|
|a المفرق
|c 2021
|
| 300 |
|
|
|a 1 - 68
|
| 336 |
|
|
|a رسائل جامعية
|
| 502 |
|
|
|b رسالة ماجستير
|c جامعة آل البيت
|f كلية الأمير الحسين بن عبد الله لتكنولوجيا المعلومات
|g الاردن
|o 0120
|
| 520 |
|
|
|a ناقشت العديد من الأبحاث المعرفة والالتزام بشكل منفصل كالأنظمة المتعددة للعملاء(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) بدون دفع أي كلفة زائدة من وقت التنفيذ وحجم الذاكرة.
|
| 653 |
|
|
|a اللغة المنطقية
|a الشبكات العصبية
|a المدقق الرمزي
|a الخوارزمية الموزعة
|
| 700 |
|
|
|a السقار، فيصل سليمان
|g Al Saqqar, Faisal Suleiman Saleh
|e مشرف
|9 483579
|
| 856 |
|
|
|u 9802-005-012-0120-T.pdf
|y صفحة العنوان
|
| 856 |
|
|
|u 9802-005-012-0120-A.pdf
|y المستخلص
|
| 856 |
|
|
|u 9802-005-012-0120-C.pdf
|y قائمة المحتويات
|
| 856 |
|
|
|u 9802-005-012-0120-F.pdf
|y 24 صفحة الأولى
|
| 856 |
|
|
|u 9802-005-012-0120-1.pdf
|y 1 الفصل
|
| 856 |
|
|
|u 9802-005-012-0120-2.pdf
|y 2 الفصل
|
| 856 |
|
|
|u 9802-005-012-0120-3.pdf
|y 3 الفصل
|
| 856 |
|
|
|u 9802-005-012-0120-4.pdf
|y 4 الفصل
|
| 856 |
|
|
|u 9802-005-012-0120-5.pdf
|y 5 الفصل
|
| 856 |
|
|
|u 9802-005-012-0120-R.pdf
|y المصادر والمراجع
|
| 930 |
|
|
|d y
|
| 995 |
|
|
|a Dissertations
|
| 999 |
|
|
|c 1171661
|d 1171661
|
