انجمن کامپیوتر ایران

بسیاری از مسائل مطرح د ر هوش مصنوعی را می توان بصورت یك مسأله ارضای محدودیت تعریف كرد و سپس با استفاده از الگوریتم هایی كه برای حل این مسائل ارائه شده اند جواب آنها را پیدا كرد . چون فضای حالات مسائل ارضای محدودیت خیلی وسیع است و زمان زیادی برای جستجوی آن لازم است تلاش های زیادی برای طراحی و ارائه الگوریتم های كارا برای حل اینگونه مسائل انجام می گیرد . در این مقاله یك الگوریتم تركیبی برای حل مسائل ارضای محدودیت ارائه می كنیم كه تركیبی از الگوریتم های كامل و ناكامل است . امتیاز این الگوریتم پیدا كردن جواب های جزئی صحیح در زمان كوتاه برای مسائلی می باشد كه یافتن جواب كامل برای آنها در زمان قا بل قبول امكانپذیر نمی پیاده سازی باشد. الگوریتم تركیبی را برای مسأله مشهور N-Queens كرده ایم و نتایج آن را با الگوریتم های موجود مقایسه كرده ایم.