أساسيات الذّكاء الإصطناعي -بلغة برولوج-

عنوان الكتاب: أساسيات الذّكاء الإصطناعي

تأليف: أحمد طارق صادق

رابط شراء الكتاب: موقع الذّاكرة للنّشر والتّوزيع

المقدمة:

يُعد الذكاء الاصطناعي من الإختصاصات المهمة جداً في علوم الحاسوب، إذ أنه الغاية التي نُريد أن يصل اليها الحاسوب في أدائه، فالحاسوب الذكي الذي يتصرف وفق طريقة ذكية محاكية لسلوك البشر هو الهدف المثالي لإستخدامات تقنيات علوم الحاسوب. يحوي هذا الكتاب  بين دفتيه مواضيع أساسية في الذكاء الاصطناعي توزعت بين مفاهيم وأساسيات طرائق البحث المتنوعة مع التطرق الى لغة برولوك وكيفية كتابة برامج تلك اللغة وآلية التعامل معها خصوصاً أنها تمثل أسلوباً دالياً وليس أجرائياً في البرمجة. ثم تطرقنا الى المنطق وأنواعه حسب طبيعة البيانات المعطاة وكيفية الاستنتاج من تلك البيانات والمعلومات. وتناولنا أهم تطبيقات الذكاء الاصطناعي مثل معالجة اللغات الطبيعية، الأنظمة الخبيرة والتخطيط. وأحتوى الكتاب بعض أساليب تعلم الماكنة مثل التعلم المعتمد على الرمز، تقنية الشبكات العصبية الاصطناعية والتعلم المعتمد عليها والخوارزميات الجينية وما أختص بها.

لقد حاول المؤلف من خلال هذا التنوع في مواضيع محتويات الكتاب تغطية معظم أساسيات الذكاء الاصطناعي وفي عدة اتجاهات ومجالات وبما يتلائم مع المناهج الدراسية في الجامعات العربية ، ومع ذلك فأن هناك الكثير من المواضيع ذات العلاقة لم يتم التطرق اليها لكونها تُعد متقدمة من جهة، ومن جهة آخرى فأن هذا الكتاب تناول أساسيات الذكاء الاصطناعي والمعتمدة على أمهات المصادر الاجنبية واحدثها باللغة الانكليزية اذ لم نستخدم أي مصدر باللغة العربية

فهرس الكتاب:

الموضوع	رقم الصفحة
الإهداء	5
الشكر لله وحده	7
تمهيد	9
المقدمة	11
القسم الأول
مفاهيم الذكاء الاصطناعي ولغة برولوك	13
الفصل الاول : مقدمة عن الذكاء الاصطناعي	15
1-1 المقدمة	15
1-2 تعاريف مفهوم الذكاء الاصطناعي	16
1-3 فحص العالم (Turing)	17
1-4 مسائل ومشاكل متنوعة	20
1-5 أنظمة قواعد الانتاج	25
1-6 خصائص المشكلة	29
1-7 خصائص نظم الانتاج	33
الفصل الثاني : لغة برولوك	37
2-1 مقدمة	37
2-2 تأريخ لغة برولوك	37
2-3 الحقائق والقواعد	39
2-4 آلية عمل لغة برولوك	42
2-4-1 التوحيد	42
2-4-2 أنواع الاستدعاء	44
2-4-3 استراتيجية المسار الخلفي	46
2-4-4 آلية الاستدعاء الذاتي	48
2-4-5 عملية القطع (!)	52
2-4-6 عملية الفشل	53
2-4-7 عملية النفي	54
2-5 طرق تسلسل القواعد	54
2-5-1 التسلسل الامامي	54
2-5-2 التسلسل الخلفي	60
2-5-3 التسلسل الهجين	62
2-6 لغة تربو برولوك	65
2-6-1 أنواع البيانات في لغة تربو برولوك	66
2-6-2 العمليات المنطقية والرياضية في لغة تربو برولوك	66
2-7 هيكلية برنامج لغة تربو برولوك	68
2-8 القوائم	74
2-9 الايعازات المهمة في لغة تربو برولوك	76
2-9-1 أيعازات الادخال والاخراج	76
2-9-2 أيعازات تحويل أنواع البيانات	77
2-9-3 أيعازات السلاسل الرمزية	77
2-9-4 ايعازات قواعد البيانات الداخلية	78
2-9-5 ايعازات التعامل مع الملفات	79
2-10 لغة برولوك المرئية Visual Prolog	84
القسم الثاني
طرائق البحث في الذكاء الاصطناعي	87
الفصل الثالث : طرق البحث المنتظمة	89
3-1 المقدمة	89
3-2 نظرية المخططات	90
3-2-1 هكيلية بحث فضاء الحالة	90
3-2-2 تمثيل فضاء الحالة	93
3-3 استراتيجيات بحث فضاء الحالة	98
3-4 طرق البحث المنتظمة	102
3-4-1 طريقة بحث العمق اولاً	103
3-4-2 طريقة بحث العرض اولاً	107
3-4-3 طريقة بحث العمق المحددة	110
3-4-4 طريقة بحث العمق أولاً مع التعميق التكراري	111
3-4-4 طريقة البحث الثنائية الاتجاه	113
3-4-5 طريقة مخطط (و/أو)	113
الفصل الرابع : طرق البحث الارشادية	117
4-1 المقدمة	117
4-2 البحث الارشادي والدالة الارشادية	118
4-3 طريقة بحث تسلق التل	120
4-4 طريقة بحث الافضل-أولاً	124
4-5 خوارزمية بحث *A	125
4-6 خوارزمية بحث * A ذات التعميق التكراري	129
4-7 تطويرات متنوعة على خوارزمية *A	129
4-7-1 خوارزمية* A ذات الاوزان	129
4-7-2 خوارزمية* A ذات خاصية عدم الانسجام	129
4-7-3 خوارزمية *A ذات خاصية الاصلاح في أي وقت	130
4-8 خوارزمية بحث (و/أو)* *AO	130
4-9 خوارزمية بحث (و/أو)* ذات التعميق التكراري* IDAO	132
الفصل الخامس : لعب الالعاب وطرق البحث المناوئة	135
5-1 المقدمة	135
5-2 نظرة عامة على لعب الالعاب	135
5-3 خوارزمية Minimax	138
5-4 خوارزمية الفا-بيتا	143
5-5 خوارزمية* SSS	151
5-6 تحسينات اضافية على الخوارزميات	156
5-6-1 خوارزمية إنتظار الهدوء	156
5-6-2 خوارزمية البحث الثانوي	159
5-6-3 طريقة إستخدام حركات السجل	159
5-6-4 تطوير خوارزمية A* ذات التعميق التكراري IDA*	159
5-6-5 طريقة تطوير SSS*	160
5-6-6 طريقة بدلاء MINIMAX	164
القسم الثالث
تمثيل المعرفة والاستنتاج	165
الفصل السادس : المنطق الافتراضي والمؤكد	167
6-1 المقدمة	167
6-2 المنطق الافتراضي	167
6-3 المقدمة النظرية للمنطق الافتراضي	169
6-3-1 الرموز والعبارات	169
6-3-2 معاني المنطق الافتراضي	172
6-4 المنطق المؤكد	174
6-4-1 القواعد اللغوية للحساب المؤكد والجمل	175
6-4-2 معاني المنطق المؤكد	182
6-4-3 استخدام قواعد الاستنتاج للحصول على تعابير المنطق المؤكد	187
6-4-4 توحيد المتغيرات	189
6-5 اثبات نظرية الحل	195
6-5-1 استنتاج هيئة العبارات اللازمة لعمل نقض الحل	198
6-6 المنطق الغير رتيب	206
6-6-1 حالة تطبيقية : نظام صيانة الحقائق	209
6-6-2 العالم الافتراضي المغلق	214
6-6-3 التقييد	215
الفصل السابع : طرق تمثيل المعرفة	217
7-1 المقدمة	217
7-2 شبكات المعنى	217
7-3 المخطط المفاهيمي	226
7-4 الأُطر	237
7-5 المخطوطات	241
7-6 الاعتمادية المفاهيمية	246
7-7 شبكات Petri	254
7-8-1 خصائص شبكات Petri	256
7-8-2 تمثيل المنطق الافتراضي باستخدام شبكات Petri	259
7-8-3 تمثيل المنطق المؤكد باستخدام شبكات Petri	261
الفصل الثامن : المعرفة غير المؤكدة (نظرية Bayes والمنطق المضبب)	263
8-1 المقدمة	263
8-2 أساسيات نظرية الاحتمالات	263
8-2-1 مفاهيم أساسية	263
8-2-2 الاحتمالية المشروطة	266
8-3 الاستنتاج الاحتمالي	268
8-4 المخططات البيانية اللاحلقية الموجهة	271
8-5 نظرية Bayes	276
8-6 شبكات Bayes	278
8-6-1 أنواع الاستنتاج في شبكات Bayes	280
8-6-2 بناء شبكات Bayes	283
8-7 محاسن ومساوئ شبكات Bayes	289
8-8 المنطق المضبب	290
8-9 المجموعات المضببة ودوال الانتماء	291
8-10 عمليات المجموعات المضببة	301
8-11 خصائص المجموعات المضببة	303
8-12 القواعد المضببة	305
8-13 الاستنتاج المضبب	310
المصادر	319
الملحق: مقدمة إلى لغة برولوك المرئية	325

• Twitter
• Facebook
• Google
• Tumblr
• Pinterest