(۰۴ فروردین ۱۳۹۵ ۰۹:۵۹ ق.ظ)araz22 نوشته شده توسط:  سلام.
اول اینکه ملاک انتخاب برای رزولوشن چیه ؟
لیترال های که مکمل هم باشند.!
*******بیشتر وقتا میشه چند لیترال رو با هم رزولوشن کرد ولی بعد از چند مرحله به جوابی نمیرسه.
*******بهترین روش انتخاب برای رزولوشن کردن چیه!!؟؟؟

دوم تو هر مرحله چند لیترال رزولوشن میشه.؟
اگه فقط یکی باشه... تو کتاب راهیان ارشد سوالی هست که ۲ تا لیترال رو رزولوشن کرده.

فک کنم سوال ۱۷ راهیان اشتباه حل کرده (فصل رزولوشن) !! نگاهی بندازین بد نیست

سلام.
من کتاب راهیانو دارم.
سوال ۱۷ گزینه ۱ درسته که راهیان ارشدم گزینه ۱ رو بدست آورده.
ولی بعضی جاها از این الگوریتم اشتباه استفاده کرده.
الگوریتم رزولوشن ؛بسرو و بیشرو چیز جدیدی نیستن.قبلا هم به صورت ضمنی از این الگوریتم تو گسسته فصل اول ۱ جورایی استفاده کردیم.
واسه جواب دادن به سوالات کنکور الگوریتم رزولوشن بعد از اینکه KB رو به فرم CNF درآوردی بجای اینکه تک تک نقیض گزینه هارو به KB اضافه کنیم وبه تهی برسیم(که کار زمانبریه) بهتره اول ۱ نگاه به گزینه ها و لیترالهای مربوطه بندازیم وبعد سعی کنیم اون جمله هایی از KB که دارای این لیترال ها هستند رو رزولوشن کنیم وبه گزینه مورد نظر برسیم.من خودم از این روش استفاده میکنم.خیلی وقتا بدون خودکار و کاغذ میتونی به جواب برسی.
همونطور که دوستان در بالا توضیح دادن بیشتر از ۱لیترال رو همزمان حذف نکن.