روشی جدید برای حل مسائل ارضای محدودیت

بسیاری از مسائل مطرح در زمینه هوش مصنوعی را میتوان به صورت مسائل ارضای محدودیت توصیف کرد . این مسائل با استفاده از مجموعه ای از متغیرها و تعدادی محدودیت ر روی مقادیری که این متغیرها می تواند در اختیار کنند . تعریف می شوند ( در این نوع مسائل از واژه ی برچسب نیز برای اشاره به مقدار یک متغیر استفاده می شود و لذابه آنها مسائل برچسب دهی سازگار اطلاق نیز می شود ) . تا به حل تعدادی الگوریتم جستجو ، ویژه حل این نوع مسائل ارائه شده است که برخی از آنها با آینده نگری که در حین حل مسئله انجام می دهند ،‌ تعداد عقبگردهای کمتری انجام داده و در تعداد تعداد قدمهای کمتری به راه حل دست می یابند . این الگوریتم های عبارتند از : بررسی جلورو ،‌ آینده گر جزیی و آینده گر کامل . دراین مقاله ضمن تشریح الگوریتم های ذکر شده ، روش جستجوی جدیدی که آن را آینده گر کامل بهبود یافته نامیده ایم نیز معرفی می شود که از الگوریتم آینده نگر کامل کاراتر است .