هوش مصنوعی کشف یک مسیر میان فضاهای مسئله یک وضعیت اغازی وضعیت هدف

لینک دانلود خرید پایین توضیحات

فرمت word  قابل ویرایش پرینت

تعداد صفحات: 64

استدلال جلورو مقابل عقب رو

هدف روال جستجو، کشف یک مسیر میان فضاهای مسئله یک وضعیت اغازی وضعیت هدف است. چنین جستجویی تواند دو جهت حرکت کند:

به طرف جلو، وضعیت اغازی

به طرف عقب، وضعیت هدف

این دو قرینه هستند. فرض کنید که خواهیم یک بازی معمای هشت حل کنیم. قواعد معما توان همانند شکل 1 نشان داد. اینجا خواهیم معمای شکل 2 حل کنیم. کار توان دو طریق انجام داد:

استدلال طرف جلو شروع وضعیت اغازی: ساختن یک درخت سلسله حرکتهایی که ممکن است راه حل تشیکل دهند، شروع کنید. وضعیت اغازی ریشه درخت قرار گیرد، ساختن سطح بعدی درخت، تمام قواعدی بیابید که سمت چپ انها گره ریشه درخت یکسان هستند استفاده سمت راست قواعد وضعیت جدید ایجاد کنید. سطح بعدی درخت عمل فوق گره سطح قبلی انجام دهید. کار انقدر ادامه دهید وضعیتی برابر وضعیت هدف رسیده باشید.

Square 1 empty and Square 2 contains tile n (

Square 2 empty and Square 1 contains tile n

Square 1 empty and Square 4 contains tile n (

Square 4 empty and Square 1 contains tile n

Square 2 empty and Square 1 contains tile n (

Square 1 empty and Square 2 contains tile n

شکل 1 : یک نمونه قواعد حل کردن معمای هشت

شکل 2 : یک مثال بازی معمای هشت

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

به روش فوق استدلال هدف گرا زنجیره عقب رو گویند.

توجه کنید که همان قواعد استدلال جلورو عقب رو استفاده شود. استدلال جلورو، سمت چپ قواعدی وضعیت جاری تست شوند سمت راست قواعد ایجاد گره جدید استفاده شود.

در مسئله معمای هشت فرقی نمی کند که استدلال جلورو عقب رو استفاده شود هر دو حالت تعداد یکسانی مسیر جستجو قرار گیرند. اما سایر مسائل همیشه طور نیست، توجه توپولوژی فضای مسئله ممکن است جستجو یک جهت خیلی سریعتر جهت دیگر باشد.

سه فاکتور رابطه سئوال که استدلال باید کدام جهت باشد مهم هستند:

تعداد وضعیت اغازی بیشتر است هدف؟ ما همیشه مایلیم که تعداد کمتر وضعیت طرف تعداد بیشتر برویم.

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

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

ذکر چند مثال روشنتر شدن مطلب ضروری است. نظر رسد که رانندگی یک محل نااشنا طرف منزل خیلی راحت تر منزل طرف محل نااشنا باشد. چرا؟ فاکتور شاخه شاخه شدن تقریبا هر دو جهت یکسان است. نکته مهم است که ما خیلی نقاط نزدیک منزل همانند منزل تلقی کنیم ترتیب تعداد محل که جزء تعریف خانه ما گنجند بیش تعداد محل است که عنوان هدف نااشنای ما وجود دارند. بنابراین اگر نقطه اغازی ما منزل ما ست هدف ما یک محل نااشناست بهتر است استدلال عقب رو شروع محل نااشنا استفاده کنیم.

از طرف دیگر یک مسئله انتگرال گیری نظر بگیرید. فضای مسئله عبارت است مجموعه فرمولها که برخی دارای عبارت انتگرال هستند. وضعیت اغازی یک فرمول بخصوص عبارت انتگرال است. وضعیت هدف فرمولی است که معادل فرمول اولی است ولی عبارت انتگرال ندارد. پس وضعیت اغازی راحت یک است ولی هدف متعدد است یعنی وضعیت متعددی محدوده هدف ممکن است قرار گیرند