سلام
رزولوشن در منطق مرتبه اول کامل وبر روی فرکردهای معین کامل است ولی
در منطق گزاره ای با برهان خلف کامل ولی با زنجیرسازی کامل نیست
زنجیر سازی به جلو و عقب بر روی جملات هورن کامل هستند
توجه کن که
کلاز های صریح یا همون فراکردهای معین(difinite clause) در واقع حالت خاصی از جملات هورن هستند که دقیقا یک لیترال مثبت دارند
بنابر این بر روی فراکردهای معین نیز زنجیر سازی کامل است.

(۱۵ دى ۱۳۹۱ ۰۸:۰۷ ب.ظ)nina69 نوشته شده توسط:  سلام
رزولوشن در منطق مرتبه اول کامل وبر روی فرکردهای معین کامل است ولی
در منطق گزاره ای با برهان خلف کامل ولی با زنجیرسازی کامل نیست
زنجیر سازی به جلو و عقب بر روی جملات هورن کامل هستند
توجه کن که
کلاز های صریح یا همون فراکردهای معین(difinite clause) در واقع حالت خاصی از جملات هورن هستند که دقیقا یک لیترال مثبت دارند
بنابر این بر روی فراکردهای معین نیز زنجیر سازی کامل است.

من گیج شدم مگه توی کتاب نگفته که زنجیر سازی به عقب (در منطق مرتبه اول )کامل نیست مشکلشم عدم اجتناب از حالات تکراری هست؟

جایی ندیدم درباره کامل بودن یکسان سازی صحبت کرده باشه ولی
یکسان سازی قاعدتا نباید کامل باشه
چون همه عبارات قابل یکسان سازی نیستند
مثلا در یکسان سازی روی زوج عبارات شامل یک متغیر با همان متغیر یکسان سازی نمیتونه انجام شه و یک فراخوانی بازگشتی بی نهایت به وجود میاد
درباره کامل نبودن عقب گرد حرف شما درسته
ولی این ببینید

ممنون مرجان عزیز.

یکم گیج میزنم سر حفظ کردن اینا. مرسی.

آره صفحه ۲۷۲ پوران البته مال من واسه سال ۸۹ هستش اما تیترش اینه الگوریتم زنجیره سازی به عقب، آخرین خطش..گفته زنجیره سازی به عقب بر خلاف زنجیره جلو از مشکل حالات تکراری و کامل نبودن رنج می برد.
والا نمیدونم شاید کامل باشه اما کارا نباشه مثل رو به جلو که کامل هست اما کارا نیست بخاطر ۳ تا ایرادی که داره...اما عقبگردو کتاب دقیقا گفته کامل نیست! من که دیگه گیج شدم ...یکیشون صحیح هست کامل نیست یکی کامل هست کارا نیست
یه سوال دیگه یکسان سازی کامله؟
سواله IT83 رو ندارم ..میبینمش

ممنوونم
درسته چون که راه حل گفته آدم فکر میکنه مشکلش حل شده اما به نظرم باید گفت در حالت کلی کامل نیست ولی میشه مشکلش رو حل کرد...مرسی از جوابت خیالم راحت شد