آموزش هوش مصنوعی و رباتیک|صفحه 7
الگوریتم زنجیره عقبگرد backward chaining در هوش مصنوعی
الگوریتم زنجیره عقبگرد backward chaining برای کلازهای معین بیان شده اند و از هدف به عقب برمیگردند تا حقایق شناخته شده ای را پیدا کنند که اثبات را پشتیبانی میکنند. کاربرد این الگوریتم در برنامه نویسی منطقی است
الگوریتم یکسان سازی UNIFY در استنتاج مرتبه اول در AI
قوانین استنتاج ارتقا یافته مستلزم یافتن جانشینی هایی است که موجب میشوند عبارات منطقی مختلف، یکسان به نظر برسند. این فرایند یکسان سازی نام دارد و عنصر اصلی الگوریتم های استنتاج مرتبه اول است.
برنامه نویسی منطقی پرولوگ در هوش مصنوعی
پرولوگ Prolog پرکاربردترین زبان برنامه نویسی منطقی است. این زبان، ابتدا به عنوان زبان الگوسازی سریع و کارهای پردازش نمادها مثل نوشتن کامپایلر و ترجمه ی زبان های طبیعی به کار رفت
برنامه نویسی منطقی با محدودیت CLP
برنامه نویسی منطقی با محدودیت (Constraint Logic Programming ( CLP اجازه میدهد متغیرها به جای کران دار بودن محدودیت داشته باشند. جواب CLP مجموعه ی ویژه ای از محدودیت ها بر روی متغیرهای پرس وجو است که میتواند از پایگاه دانش به دست آید.
راهبردهای تحلیل مرتبه اول در AI
سومین خانواده سیستم های منطقی، مبتنی بر تحلیل است.کاربردهای تکراری قانون استنتاج تحلیل، در صورت وجود اثبات آن را می یابد. استراتژی های تحلیل مرتبه اول عبارتنداز: ترجیح واحد، مجموعه پشتیبان، تحلیل ورودی و راهبرد شمول.
برنامه ریزی PDDL در هوش مصنوعی AI
منظور از برنامه ریزی در هوش مصنوعی تهیه مجموعه ای از فعالیت ها برای رسیدن به اهداف است. برنامه ریزی PDDL به مسئله هایی متمرکز میشود که در آنها اغلب فعالیت ها، اغلب چیزها را تغییر نمی دهند
الگوریتم برنامه ریزی جست وجوی پیشرو در فضای حالت
مسئله ی برنامه ریزی، اینگونه یک مسئله جست وجو را تعریف می کند: میتوانیم فضای حالت را از حالت شروع برای یافتن هدف، جست وجو کنیم. یکی از امتیازات جالب نمایش اعلانی شِمای حالت این است که با شروع از هدف می توان به عقب جست وجو کرد، تا حالت شروع پیدا شود.
جستوجوی عقبگرد در فضای حالت
در جست وجوی عقبگرد از الگوریتم برنامه ریزی، از هدف شروع می کنیم و فعالیت ها را به طور منعکس اجرا میکنیم تا دنباله ای از مراحل را پیدا کنیم که ما را به حالت شروع می رساند. این روش، جست وجوی حالت های مرتبط نیز نامیده میشود، زیرا فقط فعالیت هایی را در نظر می گیریم که با هدف یا حالت فعلی مربوط می شوند.