کتابی که در دست دارید یکی از کامل‌ترین کتابهای درسی در زمینه سیستمهای خبره می‌باشد که می‌تواند به عنوان منبع درسی دانشجویان کارشناسی و کارشناسی ارشد گرایشهای مختلف رشته‌های مهندسی کامپیوتر، هوش مصنوعی و مهندسی فناوری اطلاعات استفاده شود. بزرگترین مزیت این کتاب استفاده از مثالهای فراوان و برنامه‌های واقعی نوشته شده به زبانهای پرولوگ و لیسپ می‌باشد. همچنین شامل دو پیوست برای آموزش مقدماتی زبانهای برنامه نویسی پرولوگ و لیسپ برای کسانی می‌باشد که با این زبانها آشنا نیستند.

فصل نخست: مقدمه 1
1-1- سیستم‌های خبره و هوش مصنوعی 2
1-2- چند مثال 3
1-3- جداسازی دانش و استنتاج 6
1-4- دامنه یک مسئله 13
تمرین‌ها 17
فصل دوم: منطق و رزولوشن 19
2-1- منطق گزاره‌ای 20
2-2- منطق مسندی مرتبه نخست 28
2-3- فرم کلازی منطق 35
2-4- استدلال در منطق 39
2-5- رزولوشن و منطق گزاره‌ای 42
2-6- رزولوشن و منطق مسندی مرتبه نخست 46
2-6-1- جایگزینی و یکسان‌سازی 46
2-6-2- جایگزینی و یکسان‌سازی در لیسپ 50
2-6-3- رزولوشن 56
2-7- استراتژی‌های رزولوشن 60
2-7-1- رزولوشن معنایی 61
2-7-2- رزولوشن SLD: حالت ویژه‌ای از رزولوشن خطی 64
2-8- پیاده‌سازی رزولوشن SLD 72
2-9- کاربرد منطق در ساخت سیستم خبره 85
2-10- منطق به عنوان روش بازنمایی 95
تمرین‌ها 97
فصل سوم: قواعد تولید و استنتاج 101
3-1- بازنمایی دانش در یک سیستم تولید 102
3-1-1- متغیرها و حقایق 102
3-1-2- شرط‌ها و نتیجه‌ها 105
3-1-3- تاپلهای شیء-صفت-مقدار 110
3-1-4- قواعد تولید و منطق مسندی مرتبه نخست 112
3-2- استنتاج در سیستم تولید 116
3-2-1- استنتاج بالا به پایین و قواعد تولید 119
3-2-2- استنتاج بالا به پایین در پرولوگ 130
3-2-3- استنتاج بالا به پایین در لیسپ: 139
3-2-4- استنتاج پایین به بالا و قواعد تولید 150
3-3- بازشناخت الگو و قواعد تولید 160
3-3-1- الگوها، حقایق و همتایی 160
3-3-2- الگوها و قواعد تولید 163
3-4- قواعد تولید به‌عنوان یک روش بازنمایی 165
تمرین‌ها 166
فصل چهارم:فریم‌ها و وراثت 171
4-1- شبکه‌های معنایی 172
4-1-1- راس‌ها و یال‌های برچسب گذاری شده 172
4-1-2- وراثت 178
4-1-3- شبکه معنایی گسترش یافته 182
4-2- فریم‌ها و وراثت یگانه 184
4-2-1- رده‌بندی فریم درخت مانند 185
4-2-2- استثناءها 196
4-2-3- وراثت یگانه در پرولوگ 200
4-2-4- وراثت یگانه در لیسپ 204
4-2-5- وراثت و جنبه‌های صفت 209
4-3- فریم‌ها و وراثت چندگانه 219
4-3-1- زیرنوع‌سازی در رده‌بندیهای درخت شکل 219
4-3-2- وراثت چندگانه مقادیر صفات 224
4-3-3- زیرنوع‌سازی در رده‌بندی‌های گراف شکل 240
4-4- فریم‌ها به‌عنوان یک روش بازنمایی 245
تمرین‌ها 246
فصل پنجم:استدلال با عدم قطعیت 249
5-1- قواعد تولید، استنتاج و عدم قطعیت 251
5-2- نظریه احتمالات 257
5-2-1- تابع احتمال 258
5-2-2- احتمالات شرطی و قضیه بیس 260
5-2-3- کاربرد در سیستم‌های خبره مبتنی بر قواعد 262
5-3- روش موضوعی بیس 267
5-3-1- نرخ همانندی 267
5-3-2- توابع ترکیب 269
5-4- مدل ضریب قطعیت 277
5-4-1- اندازه باور و عدم باور 277
5-4-2- توابع ترکیب 279
5-4-3- تابع ضریب قطعیت 282
5-5- مدل ضریب قطعیت در پرولوگ 285
5-5-1- ضریب قطعیت در حقایق و قواعد 286
5-5-2-پیاده‌سازی مدل ضریب قطعیت 289
5-6- نظریه دمپستر- شافر 296
5-6-1- تخصیص احتمال 296
5-6-2- قاعده ترکیب دمپستر 301
5-6-3- کاربرد در سیستم‌های خبره مبتنی بر قاعده 305
5-7- مدل‌های شبکه 307
5-7-1- بازنمایی دانش در یک شبکه باور 307
5-7-2- انتشار مدرک در یک شبکه باور 311
5-7-3- مدل شبکه کیم و پرل 313
5-7-4- مدل شبکه لاریتزن و اسپیگلهالتر 319
تمرینها 327
فصل ششم:ابزارهای بازبینی دانش و استنتاج 331
6-1- واسط کاربر و امکانات توضیح 332
6-2- واسط کاربر در پرولوگ 338
6-2-1- مفسر فرمان (دستور) 340
6-2-2- تسهیلات چگونگی 342
6-2-3 تسهیلات چرایی منفی 344
6-2-4- یک واسط کاربری در لیسپ 349
6-2-5- توابع پایه استنتاج 352
6-2-6- مفسر فرمان 358
6-2-7- تسهیلات چرایی 359
6-3- مدلهای قاعده 366
تمرینها 372
پیوست A:مقدمه‌ای بر پرولوگ 377
A-1- برنامه نویسی منطقی 379
A-2- برنامه نویسی در پرولوگ 381
A-2-1- معانی توصیفی 382
A-2-2- معانی رویه‌ای و مفسر 384
A-3- مروری بر پرولوگ 392
A-3-1- خواندن در برنامه 392
A-3-2- ورودی و خروجی 393
A-3-3- مسندهای محاسباتی 394
A-3-4- بررسی جایگزینی‌ها 396
A-3-5- کنترل پسگرد 397
A-3-6- دستکاری پایگاه داده 400
A-3-7- دستکاری ترمها 401
پیوست B: مقدمه‌ای بر لیسپ 405
B-1- اصول بنیادین لیسپ 407
B-1-1-عبارات لیسپ 407
B-1-2- فرم 409
B-1-3- انتزاع رویه‌ای در لیسپ 411
B-1-4- متغیرها و محدوده آنها 413
B-2- مروری بر لیسپ 414
B-2-1- دستکاری نمادها 414
B-2-2- مسندها 420
B-2-3- ساختارهای کنترلی 426
B-2-4- عبارات لمبدا 430
B-2-5- اجبار به ارزیابی توسط مفسر لیسپ 431
B-2-6- تعریف ماکرو و backquote
B-2-7- ساختار 434
B-2-8- ورودی و خروجی 436

#	موضوع	عنوان	توضیح	دانلود
1	نمونه pdf	صفحات آغازین کتاب		دانلود