۲
subtitle
ببینید پیشرو مثل برنامه نویسی پویا عمل میکنه و از پایین به بالاست...
برنامه نویسی پویا در مقایسه با تقسیم و حل چه برتری داره؟ میاد زیر مسائل کوچک رو حل میکنه و در حافظه کش نگه میداره و دوباره تولیدشون نمیکنه..یعنی حالات و محاسبات تکراری نداره
زنجیره سازی رو به جلو هم دقیقا همین خصوصیت رو داره
از طرفی از روی فراکردهای معین و با اعمال قانون GMP استنتاج های جدید و غیر تکراری میکنه و به KB اضافه شون میکنه
اون قدر اضافه میکنه تا وقتیکه به هدف برسه و هدف رو اضافه کنه
یا دیگه استنتاج جدید وجود نداشته باشه
خوب تو کتاب هم که صحیح بودن GMP رو ثابت کرده پس زنجیره سازی پیشرو هم که از این قانون استفاده میکنه صحیح هستش و روی ِ پایگاه دانشی که از فراکردهای معین تشکیل شده کامل هم هست
+در درخت اثبات بله هدف همون عنصر ریشه هستش.
+منظور از GMP همون modus ponens تعمیم یافته هستش.
برنامه نویسی پویا در مقایسه با تقسیم و حل چه برتری داره؟ میاد زیر مسائل کوچک رو حل میکنه و در حافظه کش نگه میداره و دوباره تولیدشون نمیکنه..یعنی حالات و محاسبات تکراری نداره
زنجیره سازی رو به جلو هم دقیقا همین خصوصیت رو داره
از طرفی از روی فراکردهای معین و با اعمال قانون GMP استنتاج های جدید و غیر تکراری میکنه و به KB اضافه شون میکنه
اون قدر اضافه میکنه تا وقتیکه به هدف برسه و هدف رو اضافه کنه
یا دیگه استنتاج جدید وجود نداشته باشه
خوب تو کتاب هم که صحیح بودن GMP رو ثابت کرده پس زنجیره سازی پیشرو هم که از این قانون استفاده میکنه صحیح هستش و روی ِ پایگاه دانشی که از فراکردهای معین تشکیل شده کامل هم هست
+در درخت اثبات بله هدف همون عنصر ریشه هستش.
+منظور از GMP همون modus ponens تعمیم یافته هستش.