به کارگیری منطق قیاس فرضی در حل مسئله ی مین یاب

مسئلهی مین یاب یک بازی ساده و یک نفره است که پژوهشگران حوزهی هوش مصنوعی به این دلیل به آن علاقمند هستندکه این مسئله را یکی از مسا ئل ردهیNP-Completeبه شمار میآورند و ارا یه الگوریتمی که در حل این مسئله کارآمدترباشدازاهمیت ویژهای برخوردار اسئت اکنون رهیافتهای مختلفی برای حل این مسئله پیشنهادشده است که بصورت مختصردراین مقاله به آنها اشاره میشود، همچنین الگوریتمی مبتنی بر منطق قیاسی و قیاس فرضی پیاده سازی شدهاست معرفی میگردد منطق قیاس فرضی نوعی استنتاج با فرض ارایه ی بهترین تبیین است که دربسیاری ازمسائل علوم کامپیوتری به کارگرفته می شود نتایجحاصل از بهکارگیری این الگوریتم در حل مسئله ی مینیاب با راهبردهای دیگر انجام یافته مقایسه شدهاست و با توجه به چندین معیار، بهبود کارآیی این الگوریتم نسبت به نمونههای مورد مقایسه نشان داده شده میشود

کلیدواژه ها:

منطق قیاسی ، منطق قیاس فرضی ، مسائلNP-Complete ، مسئله ی مین یاب