لینک دریافت فایل خرید پایین توضیحات
فرمت فایل 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 : یک مثال بازی معمای هشت
استدلال طرف عقب شروع وضعیت هدف: ساختن یک درخت سلسله حرکت که ممکن راه حل تشکیل دهند، شروع کنید. وضعیت(های) هدف ریشه درخت قرار دهید. جهت ایجاد سطح بعدی درخت، قواعدی بیابید که سمت راست انها گره ریشه برابر هستند. استفاده سمت چپ قواعد بکارگیری انها گره سطح دوم درخت بسازید. سطوح بعدی کمک سطوح قبلی توجه روش فوق بسازید انقدر ادامه دهید گرهی ساخته شود که وضعیت اغازی برابر است.
به روش فوق استدلال هدف گرا زنجیره عقب رو گویند.
توجه کنید که همان قواعد استدلال جلورو عقب رو استفاده شود. استدلال جلورو، سمت چپ قواعدی وضعیت جاری تست شوند سمت راست قواعد ایجاد گره جدید استفاده شود.
در مسئله معمای هشت فرقی نمی کند که استدلال جلورو عقب رو استفاده شود هر دو حالت تعداد یکسانی مسیر مورد جستجو قرار گیرند. اما سایر مسائل همیشه طور نیست، توجه توپولوژی فضای مسئله ممکن جستجو یک جهت خیلی سریعتر جهت دیگر باشد.
سه فاکتور رابطه سئوال که استدلال باید کدام جهت باشد مهم هستند:
تعداد وضعیت اغازی بیشتر هدف؟ ما همیشه مایلیم که تعداد کمتر وضعیت طرف تعداد بیشتر برویم.
در کدام جهت فاکتور شاخه شاخه شدن بزرگتر است؟ (این فاکتور تعداد متوسط گره که مستقیما توان یک گره تک رسید) ما مایلیم جهتی حرکت کنیم که فاکتور کوچکتر است.
ایا برنامه خواسته خواهد روند استدلالش استفاده کننده توجیه کند؟ اگر طور بهتر حرکت جهتی باشد که طرز تفکر استفاده کننده مطابقت بیشتری دارد.
ذکر چند مثال روشنتر شدن مطلب ضروری است. نظر رسد که رانندگی یک محل نااشنا طرف منزل خیلی راحت تر منزل طرف محل نااشنا باشد. چرا؟ فاکتور شاخه شاخه شدن تقریبا هر دو جهت یکسان است. نکته مهم که ما خیلی نقاط نزدیک منزل همانند منزل تلقی کنیم ترتیب تعداد محل که جزء تعریف خانه ما گنجند بیش تعداد محل که عنوان هدف نااشنای ما وجود دارند. بنابراین اگر نقطه اغازی ما منزل ما ست هدف ما یک محل نااشناست بهتر استدلال عقب رو شروع محل نااشنا استفاده کنیم.
از طرف دیگر یک مسئله انتگرال گیری نظر بگیرید. فضای مسئله عبارت مجموعه فرمولها که برخی دارای عبارت انتگرال هستند. وضعیت اغازی یک فرمول بخصوص عبارت انتگرال است. وضعیت هدف فرمولی که معادل فرمول اولی ولی عبارت انتگرال ندارد. پس وضعیت اغازی راحت یکتا ولی هدف متعدد یعنی وضعیت متعددی محدوده هدف ممکن قرار گیرند