کتابی که در دست دارید یکی از کامل‌ترین کتابهای درسی در زمینه سیستمهای خبره می‌باشد که می‌تواند به عنوان منبع درسی دانشجویان کارشناسی و کارشناسی ارشد گرایشهای مختلف رشته‌های مهندسی کامپیوتر، هوش مصنوعی و مهندسی فناوری اطلاعات استفاده شود. بزرگترین مزیت این کتاب استفاده از مثالهای فراوان و برنامه‌های واقعی نوشته شده به زبانهای پرولوگ و لیسپ می‌باشد. همچنین شامل دو پیوست برای آموزش مقدماتی زبانهای برنامه نویسی پرولوگ و لیسپ برای کسانی می‌باشد که با این زبانها آشنا نیستند.
نظرات کاربران
ثبت نظر تنها براي اعضا میسر است. در صورتی که مایل به ثبت نظر هستید ابتدا برای خود حساب کاربری ایجاد کنید و اگر قبلاً حساب کاربری دارید لطفاً ابتدا وارد سیستم شوید.
فصل نخست: مقدمه 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
تصحیحات
ثبت تصحيح تنها براي اعضا میسر است. در صورتی که مایل به ثبت تصحيح هستید ابتدا برای خود حساب کاربری ایجاد کنید و اگر قبلاً حساب کاربری دارید لطفاً ابتدا وارد سیستم شوید.
