نکات تستی کنکور هوش مصنوعی - نمایش دانش برنامه ریزی و شبکه های بیزین

مواردی که در حساب وضعیت باید تعریف شوند: فعالیتها. وضعیت ها. شناورها. تابع و مسند دایمی.

سادگی و کارایی راهکار وراثت برای تعیین خواص یک شی علت اصلی جاذبه شبکه های معنایی است.

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

منطق مرتبه اول فرض جهان باز است و فرض اسامی یکتا را نیز ندارد.

دیتا بیس از فرض جهان بسته و اسامی یکتا استفاده میکند.

محیط برنامه ریزی کلاسیک:کاملا قابل مشاهده. قطعی. ایستا و گسسته.

محیط برنامه ریزی غیر کلاسیک: قابل مشاهده جزیی یا تصادفی اند.

زبان STRIPS از فرض دنیای بسته استفاده میکند.

زبان STRIPS از مساله قاب جلوگیری میکند.

زبان ADL فرض جهان باز دارد.

به دلیل عدم وجود سمبلهای تابع در جستجوی فضای حالت رو به جلو فضای حالت متناهی است بنابراین هر الگوریتم جستجوی گرافی کامل است.

جستجوی رو به جلو ناکارآمد است چون حالت غیر مرتبط با هدف ایجاد میکند برای همین از هیورستیکهایی استفاده میکنیم.

جستجوی رو به عقب نسبت به جستجوی رو به جلو سریعتر است و کامل هم هست.

هیورستیک های جستجوی فضای حالت برای برنامه ریزی: هیورستیک تعداد اهداف ارضا نشده. هیورستیک set cover. هیورستیک empty delete list.

هیورستیک تعداد اهداف ارضا نشده قابل قبول نیست!

پیدا کردن set cover یک np complete است برای همین از greedy set covering استفاده میکنند که باعث میشه قابل قبول نباشه.

اگر برنامه شامل رابطه سببی A-P->B باشد عامل پس از انجام A  قبل از انجام B نباید عملی انجام دهد که P از بین برود. باید هنگام خطی سازی به این نکته دقت کرد.

اگر رابطه A-P->B باشد و عملی مانند C باشد که اثر ~P داشته باشد. با اضافه کردن محدودیت C<A(تنزل) یا B<C(ترفیع) این اثر را از بین میبریم.

الگوریتم POP یک الگوریتم جستجوی کامل است.

هیورستیک های POP: تعداد پیش شرطهای باز(که قابل قبول نیست). پیش شرط با بیشترین محدودیت(که خود دو نوع اصلی دارد: هیورستیک پیش شرط غیر قابل ارضا و هیورستیک پیش شرط با یک راه ارضا)

در تصمیم گیری علاوه بر دانستن احتمال باید میزان سودمندی را نیز بدانیم:

Decision Theory = Probability Theory + Utility Theory

اگر p(x^y|C) = P(x|C) P(Y|C) و P(X|Y^C) = P(X|C) آنگاه X و Y مستقل شرطی اند.

شبکه معنایی دارای خاصیت تعدی است.

حساب وضعیت برای نگهداری تغییرات وضعیت سیستم به مرور زمان و براثر انجام عملیات مختلف ارایه شده است.

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

الگوریتم POPبصورت عقبرو عمل میکند.

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

از Graph plan هم میتوان یک طرح استخراج کرد و هم میتوان از روی آن به هیورستیکهایی برای بکارگیری در روشهای جستجوی دیگر دست یافت.

چیزهایی که باید از کتاب خوانده شود: حساب وضعیت. فعالیت. وضعیت.شناور.مساله قاب. جسمیت بخشیدن. فرض جهان بسته و جهان باز و فرض اسامی یکتا.فرم نرمال کلارک.برنامه ریزی. زبان STRIPS و ADL. تفاوتهای ADL و STRIPS. جستجوی رو به جلو در فضای حالت progression planning. جستجوی رو به عقب در فضای حالت regression planning. عمل مرتبط و سازگار. برنامه ریزی ترتیب جزیی POP. رابطه سببی. مجموعه پیش شرطهای باز.طرح سازگار. ترفیع promotion و تنزل demotion. قوانین احتمال شرطی! شبکه باور بیزین. متغیرهای مستقل شرطی بیزین. محاسبه احتمال توامان. گراف پلن.