سلام.
لطفا یه نفر بگه این روشهای رزولوشن، زنجیرسازی به عقب و جلو برای چه فرم KB کامله؟ یه جا نوشته واسه هورن، یه جا نوشته واسه کلازهای صریح... قاط زدم. اگه میشه یکی توضیح بده.
ممنون.
Sent from my Google Galaxy Nexus using Tapatalk 2.4
سلام
رزولوشن در منطق مرتبه اول کامل وبر روی فرکردهای معین کامل است ولی
در منطق گزاره ای با برهان خلف کامل ولی با زنجیرسازی کامل نیست
زنجیر سازی به جلو و عقب بر روی جملات هورن کامل هستند
توجه کن که
کلاز های صریح یا همون فراکردهای معین(difinite clause) در واقع حالت خاصی از جملات هورن هستند که دقیقا یک لیترال مثبت دارند
بنابر این بر روی فراکردهای معین نیز زنجیر سازی کامل است.
ممنون مرجان عزیز.
یکم گیج میزنم سر حفظ کردن اینا. مرسی.
(۱۵ دى ۱۳۹۱ ۰۸:۰۷ ب.ظ)nina69 نوشته شده توسط: سلام
رزولوشن در منطق مرتبه اول کامل وبر روی فرکردهای معین کامل است ولی
در منطق گزاره ای با برهان خلف کامل ولی با زنجیرسازی کامل نیست
زنجیر سازی به جلو و عقب بر روی جملات هورن کامل هستند
توجه کن که
کلاز های صریح یا همون فراکردهای معین(difinite clause) در واقع حالت خاصی از جملات هورن هستند که دقیقا یک لیترال مثبت دارند
بنابر این بر روی فراکردهای معین نیز زنجیر سازی کامل است.
من گیج شدم مگه توی کتاب نگفته که زنجیر سازی به عقب (در منطق مرتبه اول )کامل نیست مشکلشم عدم اجتناب از حالات تکراری هست؟
(۱۶ دى ۱۳۹۱ ۰۳:۴۳ ب.ظ)avril22 نوشته شده توسط:میشه بگی کدوم صفحه کتاب پوران؟(15 دى ۱۳۹۱ ۰۸:۰۷ ب.ظ)nina69 نوشته شده توسط: سلام
رزولوشن در منطق مرتبه اول کامل وبر روی فرکردهای معین کامل است ولی
در منطق گزاره ای با برهان خلف کامل ولی با زنجیرسازی کامل نیست
زنجیر سازی به جلو و عقب بر روی جملات هورن کامل هستند
توجه کن که
کلاز های صریح یا همون فراکردهای معین(difinite clause) در واقع حالت خاصی از جملات هورن هستند که دقیقا یک لیترال مثبت دارند
بنابر این بر روی فراکردهای معین نیز زنجیر سازی کامل است.
من گیج شدم مگه توی کتاب نگفته که زنجیر سازی به عقب (در منطق مرتبه اول )کامل نیست مشکلشم عدم اجتناب از حالات تکراری هست؟
به نظرم(شک دارم البته) مشکل حالات تکراری داره ولی یه سری روش گفته شده مثلmemorization که که مشکل حل میکنه
اگه سوال ای تی ۸۳ نگاه کنید نوشته
واسه منطق مرتبه اول استدلال عقب رو مناسب تر
آره صفحه ۲۷۲ پوران البته مال من واسه سال ۸۹ هستش اما تیترش اینه الگوریتم زنجیره سازی به عقب، آخرین خطش..گفته زنجیره سازی به عقب بر خلاف زنجیره جلو از مشکل حالات تکراری و کامل نبودن رنج می برد.
والا نمیدونم شاید کامل باشه اما کارا نباشه مثل رو به جلو که کامل هست اما کارا نیست بخاطر ۳ تا ایرادی که داره...اما عقبگردو کتاب دقیقا گفته کامل نیست! من که دیگه گیج شدم ...یکیشون صحیح هست کامل نیست یکی کامل هست کارا نیست
یه سوال دیگه یکسان سازی کامله؟
سواله IT83 رو ندارم ..میبینمش
جایی ندیدم درباره کامل بودن یکسان سازی صحبت کرده باشه ولی
یکسان سازی قاعدتا نباید کامل باشه
چون همه عبارات قابل یکسان سازی نیستند
مثلا در یکسان سازی روی زوج عبارات شامل یک متغیر با همان متغیر یکسان سازی نمیتونه انجام شه و یک فراخوانی بازگشتی بی نهایت به وجود میاد
درباره کامل نبودن عقب گرد حرف شما درسته
ولی این ببینید
ممنوونم
درسته چون که راه حل گفته آدم فکر میکنه مشکلش حل شده اما به نظرم باید گفت در حالت کلی کامل نیست ولی میشه مشکلش رو حل کرد...مرسی از جوابت خیالم راحت شد
