۲
subtitle
ارسال: #۱
این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
۰
ارسال: #۲
این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
ببینید پیشرو مثل برنامه نویسی پویا عمل میکنه و از پایین به بالاست...
برنامه نویسی پویا در مقایسه با تقسیم و حل چه برتری داره؟ میاد زیر مسائل کوچک رو حل میکنه و در حافظه کش نگه میداره و دوباره تولیدشون نمیکنه..یعنی حالات و محاسبات تکراری نداره
زنجیره سازی رو به جلو هم دقیقا همین خصوصیت رو داره
از طرفی از روی فراکردهای معین و با اعمال قانون GMP استنتاج های جدید و غیر تکراری میکنه و به KB اضافه شون میکنه
اون قدر اضافه میکنه تا وقتیکه به هدف برسه و هدف رو اضافه کنه
یا دیگه استنتاج جدید وجود نداشته باشه
خوب تو کتاب هم که صحیح بودن GMP رو ثابت کرده پس زنجیره سازی پیشرو هم که از این قانون استفاده میکنه صحیح هستش و روی ِ پایگاه دانشی که از فراکردهای معین تشکیل شده کامل هم هست
+در درخت اثبات بله هدف همون عنصر ریشه هستش.
+منظور از GMP همون modus ponens تعمیم یافته هستش.
برنامه نویسی پویا در مقایسه با تقسیم و حل چه برتری داره؟ میاد زیر مسائل کوچک رو حل میکنه و در حافظه کش نگه میداره و دوباره تولیدشون نمیکنه..یعنی حالات و محاسبات تکراری نداره
زنجیره سازی رو به جلو هم دقیقا همین خصوصیت رو داره
از طرفی از روی فراکردهای معین و با اعمال قانون GMP استنتاج های جدید و غیر تکراری میکنه و به KB اضافه شون میکنه
اون قدر اضافه میکنه تا وقتیکه به هدف برسه و هدف رو اضافه کنه
یا دیگه استنتاج جدید وجود نداشته باشه
خوب تو کتاب هم که صحیح بودن GMP رو ثابت کرده پس زنجیره سازی پیشرو هم که از این قانون استفاده میکنه صحیح هستش و روی ِ پایگاه دانشی که از فراکردهای معین تشکیل شده کامل هم هست
+در درخت اثبات بله هدف همون عنصر ریشه هستش.
+منظور از GMP همون modus ponens تعمیم یافته هستش.
ارسال: #۳
RE: این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
(۲۳ دى ۱۳۹۰ ۰۳:۰۰ ب.ظ)fe_atash نوشته شده توسط: ببینید پیشرو مثل برنامه نویسی پویا عمل میکنه و از پایین به بالاست...ممنون از مثالتون عالی بود پس تا اینجا FC شد همون برنامه نویسی پویا(مشابهش...)
برنامه نویسی پویا در مقایسه با تقسیم و حل چه برتری داره؟ میاد زیر مسائل کوچک رو حل میکنه و در حافظه کش نگه میداره و دوباره تولیدشون نمیکنه..یعنی حالات و محاسبات تکراری نداره
زنجیره سازی رو به جلو هم دقیقا همین خصوصیت رو داره
ولی سوال:
FC محاسبات تکراری نداره ولی محاسبات اضافیش بیشتر از BC درسته ?!چون ممکنه به حالات نامربوط بخوره نه؟
(۲۳ دى ۱۳۹۰ ۰۳:۰۰ ب.ظ)fe_atash نوشته شده توسط: از طرفی از روی فراکردهای معین و با اعمال قانون GMP استنتاج های جدید و غیر تکراری میکنه و به KB اضافه شون میکنهیعنی همواره FC به جواب میرسه؟!
اون قدر اضافه میکنه تا وقتیکه به هدف برسه و هدف رو اضافه کنه
یا دیگه استنتاج جدید وجود نداشته باشه
خوب تو کتاب هم که صحیح بودن GMP رو ثابت کرده پس زنجیره سازی پیشرو هم که از این قانون استفاده میکنه صحیح هستش و روی ِ پایگاه دانشی که از فراکردهای معین تشکیل شده کامل هم هست
ممنون.
۰
ارسال: #۴
این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
اصل این تفاوت در fcو bc اینه که در bc چون مکانیزمی برای نگه داشتن حالات تکراری نداریم یعنی همون حافظه رابرای این کار تهیه ندیدیم پس احتمال تکرار حالات تکراری و در ادامش افتادن در حلقه وجود داره
اما در مورد کاملییت با اطمینان میشه گفت که bc روی کلاز های غیر صریح کامل نیست طبق جواب تست ۸۸ کامپیوتر fc bc روی کلاز های صریح کامل میباشند
اما در مورد کاملییت با اطمینان میشه گفت که bc روی کلاز های غیر صریح کامل نیست طبق جواب تست ۸۸ کامپیوتر fc bc روی کلاز های صریح کامل میباشند
ارسال: #۵
RE: این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
(۲۳ دى ۱۳۹۰ ۱۱:۵۸ ب.ظ)atharrashno نوشته شده توسط: اصل این تفاوت در fcو bc اینه که در bc چون مکانیزمی برای نگه داشتن حالات تکراری نداریم یعنی همون حافظه رابرای این کار تهیه ندیدیم پس احتمال تکرار حالات تکراری و در ادامش افتادن در حلقه وجود داره
اما در مورد کاملییت با اطمینان میشه گفت که bc روی کلاز های غیر صریح کامل نیست طبق جواب تست ۸۸ کامپیوتر fc bc روی کلاز های صریح کامل میباشند
ممنون ولی منظورتون از کلاز صریح همونه که باید کلاز تو KB اومده باشه؟!
۱
ارسال: #۶
این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
یادتونه جستجوی عمقی چه مشکلی داشت؟
ممکن بود راه حل نزدیک ریشه باشه و جستجوی عمقی با یک انتخاب نادرست در یک مسیر طولانی که حتی شاید نامتناهی هم باشه گیر کنه...و اگر مسیری رو انتخاب کنه که عمقش نامحدود باشه اونوقت این الگوریتم هیچ وقت تموم نمیشه و کامل نیست.درخت جستجوی عمقی شامل حالات تکراری و مسیرهای نامتناهی هستش
و چون زنجیره سازی رو به عقب از الگوریتم عمقی استفاده میکنه نقطه ضعفش، حالات تکراری و ناکامل بودن هستش
و دقیقا به همین دلیل که برنامه های پرولوگ با زنجیره سازی رو به عقب عمقی انجام میشن همین مشکل رو دارند.
ممکن بود راه حل نزدیک ریشه باشه و جستجوی عمقی با یک انتخاب نادرست در یک مسیر طولانی که حتی شاید نامتناهی هم باشه گیر کنه...و اگر مسیری رو انتخاب کنه که عمقش نامحدود باشه اونوقت این الگوریتم هیچ وقت تموم نمیشه و کامل نیست.درخت جستجوی عمقی شامل حالات تکراری و مسیرهای نامتناهی هستش
و چون زنجیره سازی رو به عقب از الگوریتم عمقی استفاده میکنه نقطه ضعفش، حالات تکراری و ناکامل بودن هستش
و دقیقا به همین دلیل که برنامه های پرولوگ با زنجیره سازی رو به عقب عمقی انجام میشن همین مشکل رو دارند.
ارسال: #۷
RE: این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
(۲۳ دى ۱۳۹۰ ۰۸:۱۳ ق.ظ)fe_atash نوشته شده توسط: یادتونه جستجوی عمقی چه مشکلی داشت؟
ممکن بود راه حل نزدیک ریشه باشه و جستجوی عمقی با یک انتخاب نادرست در یک مسیر طولانی که حتی شاید نامتناهی هم باشه گیر کنه.........و چون زنجیره سازی رو به عقب از الگوریتم عمقی استفاده میکنه نقطه ضعفش، حالات تکراری و ناکامل بودن هستش و دقیقا به همین دلیل که برنامه های پرولوگ با زنجیره سازی رو به عقب عمقی انجام میشن همین مشکل رو دارند.
یعنی چون FC از جملات پایگاه دانشمون که محدوده استفاده میکنه به این مشکل نمیخوره؟!
منظورم اینه دلیل اینکه FC اینطور نیس چیه؟!
سوال دیگه:
با توجه به توضیحتون پس در BC ریشمون همون هدفه دیگه؟!(ببخشید من تو این BC و FC خیلی مشکل دارم واسه این سوالام ابتدایی)
۰
ارسال: #۸
این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
فکر میکنم منظورشون فراکردهای معین باشه
ولی وقتی سمبل های تابع داشته باشیم دیگه کامل نیست و به مشکل برمیخوره
ولی وقتی سمبل های تابع داشته باشیم دیگه کامل نیست و به مشکل برمیخوره
ارسال: #۹
RE: این جمله درسته و چرا:؟ BC برخلاف FC از مشکل حالتهای تکراری وکامل نبودن رنج میبرد؟
(۲۴ دى ۱۳۹۰ ۱۰:۰۵ ب.ظ)fe_atash نوشته شده توسط: فکر میکنم منظورشون فراکردهای معین باشه
ولی وقتی سمبل های تابع داشته باشیم دیگه کامل نیست و به مشکل برمیخوره
بله منظورم همون فراکرد های معین به قول سعید راحتی
و کلاز های صریح به قول رامین رهنمون هست
همون difaine cluse ها است
منظورتون را از سمبل های تابع در ایجاد حلقه متوجه نشدم
موضوع‌های مرتبط با این موضوع... |
|||||
| موضوع: | نویسنده | پاسخ: | بازدید: | آخرین ارسال | |
| در نوشتن چند جمله انگلیسی نیاز به کمک دارم | fa_karoon | ۰ | ۱,۷۳۸ |
۰۳ شهریور ۱۴۰۰ ۰۱:۰۹ ب.ظ آخرین ارسال: fa_karoon |
|
| چرا یادگیری برنامه نویسی ؟ | elecomco | ۰ | ۲,۵۳۹ |
۰۲ خرداد ۱۳۹۹ ۰۲:۵۷ ب.ظ آخرین ارسال: elecomco |
|
| چرا اعتقادات مذهبی کمرنگ شده؟ | m_sardaari | ۱۶ | ۱۶,۴۱۲ |
۰۳ بهمن ۱۳۹۸ ۰۱:۱۲ ق.ظ آخرین ارسال: saad |
|
| چرا سایت آمازون موفق است؟ | mefarhad | ۱ | ۲۴ |
۲۳ آبان ۱۳۹۸ ۰۱:۰۷ ب.ظ آخرین ارسال: xiaomi |
|
| هیتلر بودن یا نبودن | marvelous | ۲ | ۲,۸۵۹ |
۰۴ مهر ۱۳۹۸ ۰۱:۴۱ ق.ظ آخرین ارسال: marvelous |
|
| در دسترس نبودن سایت | negarin_ | ۳ | ۳,۸۹۴ |
۱۵ آبان ۱۳۹۷ ۱۲:۱۹ ب.ظ آخرین ارسال: negarin_ |
|
| جمله مرتبه اول | ss311 | ۰ | ۱,۵۶۶ |
۲۶ بهمن ۱۳۹۶ ۰۸:۱۶ ب.ظ آخرین ارسال: ss311 |
|
| مفهوم نبودن یک متغیر در محاسبه میانه در هیستوگرام | H-Arshad | ۲ | ۳,۰۰۸ |
۲۳ دى ۱۳۹۶ ۰۵:۴۰ ق.ظ آخرین ارسال: BBumir |
|
| چرا رأس تنها، عضو ماکسیمال هست؟ | پشتکار | ۱ | ۲,۶۷۲ |
۱۰ دى ۱۳۹۶ ۰۷:۳۱ ب.ظ آخرین ارسال: msour44 |
|
| چرا ال جی موفق شد؟ | zibaara | ۰ | ۸ |
۱۶ آبان ۱۳۹۶ ۰۶:۱۱ ب.ظ آخرین ارسال: zibaara |
|
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close