پایداری بهینهسازی در یادگیری عمیق تقویتشده (Deep RL) در مقابل ناپایداری در گرادیانهای سیاست ساده
پایداری بهینهسازی در یادگیری تقویتی عمیق به تکنیکهایی اشاره دارد که آموزش را قابل اعتماد و تکرارپذیر نگه میدارند، در حالی که گرادیانهای سیاست ساده اغلب از واریانس و واگرایی بالا رنج میبرند. درک هر دو به متخصصان کمک میکند تا عواملی بسازند که بدون فروپاشی در اواسط آموزش، به طور موثر یاد بگیرند.
برجستهها
روشهای ناحیه اعتماد و برش، بهروزرسانیهای ناپایدار سیاست را به بهروزرسانیهای قابل اعتماد تبدیل میکنند.
گرادیانهای سیاست ساده از واریانسی رنج میبرند که با طول قسمت و ابعاد عمل تغییر میکند.
بهینهسازی پایدار معمولاً کارایی نمونه را در معیارهای رایج ۳ تا ۱۰ برابر بهبود میبخشد.
با روشهای پایدار مدرن، تکرارپذیری در میان بذرهای تصادفی به طرز چشمگیری بهتر شده است.
پایداری بهینهسازی در یادگیری تقویتی عمیق چیست؟
مجموعهای از روشها و انتخابهای طراحی که آموزش یادگیری تقویتی عمیق را به خوبی مدیریت شده و قابل تکرار نگه میدارد.
روشهای ناحیه اعتماد مانند TRPO و PPO، میزان بهروزرسانی یک سیاست در هر مرحله را محدود میکنند و از تغییرات مخرب سیاست جلوگیری میکنند.
نرمالسازی دستهای، نرمالسازی لایهای و شبکههای هدف به تثبیت یادگیری تابع ارزش در افقهای بلندمدت کمک میکنند.
برش گرادیان و زمانبندی نرخ یادگیری، احتمال انفجار گرادیانها در شبکههای ارزش و سیاست عمیق را کاهش میدهد.
شکلدهی دقیق پاداش و نرمالسازی مزایا، واریانس کمتری در تخمینهای گرادیان سیاست در طول آموزش ایجاد میکند.
مطالعات تجربی نشان میدهد که بهینهسازی پایدار میتواند تعداد مراحل محیطی مورد نیاز برای رسیدن به پاداش هدف را ۳ تا ۱۰ برابر کاهش دهد.
بیثباتی در شیبهای سیاستگذاری سادهلوحانه چیست؟
حالت شکست مستند الگوریتمهای سبک REINFORCE معمولی هنگام اعمال بر سیاستهای عصبی با ابعاد بالا.
گرادیانهای سیاست معمولی به طور ضعیفی با افق زمانی مقیاسبندی میشوند، زیرا واریانس تخمینگر بازده تقریباً به صورت خطی با طول اپیزود رشد میکند.
پیادهسازیهای ساده اغلب زمانی که نرخ یادگیری خیلی بالا است، واگرا میشوند و باعث میشوند توزیع سیاست به اقدامات قطعی اما غیربهینه تبدیل شود.
بدون یک خط مبنا، تخمینهای گرادیان میتوانند تحت تأثیر انتشارهای نادر خوششانس یا بدشانس قرار گیرند و منجر به بهروزرسانیهای پر سر و صدا و متناقض شوند.
فضاهای کنش با ابعاد بالا، ناپایداری را تشدید میکنند، زیرا تغییرات کوچک در پارامترها میتوانند احتمال کنش را به طرز چشمگیری تغییر دهند.
محققان مشاهده کردهاند که گرادیانهای سیاست سادهلوحانه حتی پس از میلیونها نمونه، نمیتوانند در کارهایی مانند حرکت شبیهسازی شده به هیچ وجه بهبود یابند.
جدول مقایسه
ویژگی
پایداری بهینهسازی در یادگیری تقویتی عمیق
بیثباتی در شیبهای سیاستگذاری سادهلوحانه
ایده اصلی
بهروزرسانیها را محدود و منظم کنید تا آموزش عمیق یادگیری تقویتی پایدار بماند
اعمال شیب صعودی خام روی بازگشت مورد انتظار بدون محافظ
واریانس گرادیان
کاهش از طریق خطوط پایه، نرمالسازی و مناطق قابل اعتماد
زیاد است و با طول قسمت و ابعاد اکشن افزایش مییابد
کارایی نمونه
عموماً به دلیل اهداف خارج از سیاست یا محدود شده، بسیار بالاتر است
کم؛ اغلب برای پیشرفت معنادار به میلیونها قسمت نیاز دارد
حساسیت به ابرپارامترها
متوسط؛ روشهایی مانند PPO به بخشش معروف هستند.
بسیار بالا؛ تغییرات کوچک در نرخ یادگیری میتواند آموزش را به طور کامل مختل کند.
الگوریتمهای رایج
PPO، TRPO، SAC، TD3 و دیگر روشهای مدرن نقد بازیگر
پیادهسازیهای گرادیان سیاست پایه، بازیگر-منتقد معمولی و REINFORCE
حالت خرابی معمول
اگر منظمسازی خیلی ضعیف باشد، گاهی اوقات شاهد افت آنتروپی یا ثابت ماندن آن هستیم.
واگرایی سیاستها، هک پاداشی یا شکست کامل در یادگیری
استفاده از خطوط مبنا و منتقدان
رویه استاندارد؛ شبکههای ارزش یا مبانی آموختهشده، محوری هستند
اغلب حذف میشود، که واریانس تخمین گرادیان را افزایش میدهد.
تکرارپذیری
از طریق سیدینگ، نرمالسازی و بهروزرسانیهای محدود بهبود یافته است
ضعیف؛ بذرهای مختلف میتوانند منحنیهای یادگیری بسیار متفاوتی ایجاد کنند
مقایسه دقیق
واریانس و گرادیان کیفیت
گرادیانهای سیاست ساده، بازده مورد انتظار را با نمونهبرداری از مسیرهای کامل و ضرب لگاریتم احتمالات در بازدههای خام تخمین میزنند. از آنجا که بازدهها مجموع نویزی از پاداشها هستند، تخمین گرادیان حاصل واریانس بالایی دارد که با افق زمانی رشد میکند. روشهای بهینهسازی پایدار با کم کردن یک خط پایه از مقدار آموختهشده، نرمالسازی مزایا در یک دسته و محدود کردن یا محدود کردن بزرگی هر بهروزرسانی، مستقیماً به این مشکل حمله میکنند.
رفتار بهروزرسانی خطمشی
در یک چیدمان ساده، یک گام گرادیان بزرگ میتواند سیاست را از توزیع دادهها دور کند، و باعث شود که پیادهسازیهای آینده غیرنماینده باشند و فرضیات قضیه گرادیان سیاست را نقض کنند. روشهای پایدار مانند TRPO یک حد واگرایی KL بین سیاست قدیمی و جدید اعمال میکنند، در حالی که PPO از یک هدف جایگزین کوتاهشده استفاده میکند که بهروزرسانیهای بیش از حد تهاجمی را منصرف میکند. هر دو، سیاست را نزدیک به جایی که واقعاً آزمایش شده است، نگه میدارند.
راندمان نمونه و هزینه ساعت دیواری
از آنجا که گرادیانهای سیاست ساده، نمونهها را در بهروزرسانیهای با واریانس بالا هدر میدهند، اغلب برای رسیدن به عملکرد مشابه به تعاملات محیطی چند برابر بیشتر نیاز دارند. روشهای پایدار از طریق نمونهگیری اهمیت، بافرهای بازپخش یا مناطق اعتماد، دادهها را به طور مؤثرتری دوباره استفاده میکنند، که به آموزش سریعتر در کارهای دنیای واقعی مانند دستکاری رباتیک که جمعآوری دادهها گران است، منجر میشود.
حساسیت هایپرپارامتر
گرادیانهای سیاست معمولی به شدت شکننده هستند: نرخ یادگیری، ضریب تخفیف یا مقیاس پاداش اشتباه میتواند باعث فروپاشی بیصدای آموزش شود. چارچوبهای بهینهسازی پایدار، ابرپارامترهایی را معرفی میکنند که استدلال در مورد آنها آسانتر است، مانند یک اپسیلون برش یا KL هدف، و تمایل دارند در بین دانهها بخشندهتر باشند. این استحکام یکی از دلایلی است که PPO به الگوریتم پیشفرض در بسیاری از پروژههای RL کاربردی تبدیل شده است.
قابلیت اطمینان عملی
وقتی محققان نتایج را گزارش میدهند، روشهای پایدار فواصل اطمینان فشردهتری را در بین سیدهای تصادفی ایجاد میکنند و تشخیص بهبود واقعی از نویز را آسانتر میکنند. در مقابل، گرادیانهای سیاست سادهلوحانه میتوانند نشان دهند که یک سید در حال حل یک وظیفه است در حالی که دیگری کاملاً شکست میخورد، که این امر معیارسنجی را غیرقابل اعتماد میکند. برای سیستمهای تولیدی، این شکاف تکرارپذیری اغلب بیش از اوج عملکرد اهمیت دارد.
مزایا و معایب
پایداری بهینهسازی در یادگیری تقویتی عمیق
مزایا
+بهروزرسانیهای واریانس کمتر
+راندمان نمونه بهتر
+قابل تکثیر در بین بذرها
+هایپرپارامترهای قابل اغماض
مصرف شده
−پیادهسازی پیچیدهتر
−محاسبات اضافی برای منتقدان
−میتواند اکتشاف را محدود کند
−تنظیم هنوز مورد نیاز است
بیثباتی در شیبهای سیاستگذاری سادهلوحانه
مزایا
+ساده برای پیاده سازی
+آموزش و اشکال زدایی آسان
+قطعات متحرک کم
+روی وظایف کوتاه کار میکند
مصرف شده
−واریانس گرادیان بالا
−راندمان پایین نمونه
−حساس به ابرپارامترها
−اغلب در اواسط تمرین از هم جدا میشود
تصورات نادرست رایج
افسانه
گرادیانهای سیاست ساده، بدون تورش هستند، بنابراین باید به خوبی روشهای پایدار با توجه به نمونههای کافی همگرا شوند.
واقعیت
بیطرفی فقط زمانی برقرار است که توزیع سیاست بین بهروزرسانیها خیلی سریع تغییر نکند. در عمل، تغییرات بزرگ پارامتر، فرض سیاست را نقض میکند و گرادیانهای حاصل دیگر هدف واقعی را منعکس نمیکنند، به همین دلیل است که روشهای ساده اغلب مدتها قبل از همگرایی، متوقف یا واگرا میشوند.
افسانه
اضافه کردن یک خط پایه به REINFORCE به طور کامل ناپایداری آن را برطرف میکند.
واقعیت
یک مبنای مقداری، واریانس را کاهش میدهد اما به مسئله اصلی تغییرات بزرگ سیاست در هر بهروزرسانی نمیپردازد. بدون مناطق اعتماد، برش یا نرمالسازی مزیت، سیاست همچنان میتواند در یک مرحله به اندازه کافی تغییر کند تا نمونههای آینده را نامعتبر کند.
افسانه
روشهای بهینهسازی پایدار مانند PPO همیشه بهترین سیاست ممکن را پیدا میکنند.
واقعیت
پایداری مربوط به قابلیت اطمینان است، نه بهینه بودن. PPO و TRPO هنوز هم میتوانند در بهینه محلی گیر کنند یا کمتر از حد کاوش کنند، به خصوص در محیطهای با پاداش کم که در آنها پاداشهای کاوش یا یادگیری برنامه درسی نیز مورد نیاز است.
افسانه
اگر یک گرادیان سیاست ساده روی CartPole کار کند، به کارهای پیچیدهتر نیز تعمیم داده خواهد شد.
واقعیت
CartPole فضای حالت کوچکی، اپیزودهای کوتاه و مجموعه اقدامات کوچکی دارد که مسائل واریانس و اکتشاف را که بر وظایف سختتر غالب هستند، میپوشاند. مقیاسپذیری برای حرکت، دستکاری یا بازیها معمولاً به تکنیکهای تثبیتکنندهای نیاز دارد که گرادیانهای ساده فاقد آن هستند.
افسانه
ناپایداری عمیق RL عمدتاً یک مشکل سختافزاری یا دقت عددی است.
واقعیت
خطاهای ممیز شناور مهم هستند، اما منبع اصلی بیثباتی، الگوریتمی است: گرادیانهای با واریانس بالا، دادههای خارج از سیاست و بهروزرسانیهای بدون محدودیت. اکثر ترفندهای پایداری، این علل الگوریتمی را به جای علل عددی هدف قرار میدهند.
سوالات متداول
چرا شیبهای سیاست سادهلوحانه در یادگیری تقویتی عمیق ناپایدار هستند؟
گرادیانهای سیاست معمولی، گرادیان بازده مورد انتظار را با استفاده از مسیرهای نمونهبرداری شده تخمین میزنند و واریانس آن تخمین با طول اپیزود و ابعاد عمل افزایش مییابد. بدون محدودیت، یک بهروزرسانی واحد میتواند سیاست را از توزیع دادهها بسیار دور کند، فرضیات پشت قضیه گرادیان سیاست را نقض کند و باعث واگرایی یا فروپاشی شود.
سادهترین راه برای تثبیت آموزش گرادیان سیاست چیست؟
با اضافه کردن یک تابع مقدار پایه و نرمالسازی مزایا در هر دسته شروع کنید. سپس گرادیانها را برش دهید، از نرخ یادگیری متوسط استفاده کنید و تغییر به PPO را در نظر بگیرید، که یک هدف جایگزین برش داده شده اضافه میکند که از بهروزرسانیهای مخرب بزرگ جلوگیری میکند و در عین حال پیادهسازی آن آسان است.
PPO چه تفاوتی با یک گرادیان سیاستی ساده دارد؟
PPO همان ساختار بازیگر-منتقد را حفظ میکند، اما هدف جایگزین خام را با یک نسخه کوتاهشده جایگزین میکند که میزان واگرایی سیاست جدید از سیاست قدیمی را در فضای احتمال محدود میکند. همین تغییر کوچک به طور چشمگیری واریانس را کاهش میدهد و آموزش را در برابر انتخابهای نرخ یادگیری بسیار مقاومتر میکند.
آیا TRPO بهبود یکنواخت سیاست را تضمین میکند؟
TRPO تحت فرضیات خاصی، از جمله تخمین دقیق KL و محاسبه دقیق گرادیان، تضمین نظری بهبود یکنواخت را ارائه میدهد. در عمل، تقریبها و خطاهای تقریب تابع به این معنی است که TRPO در دنیای واقعی معمولاً به جای اینکه کاملاً یکنواخت باشد، در حال بهبود است، اما هنوز بسیار پایدارتر از بهروزرسانیهای ساده است.
آیا میتوانید گرادیانهای سیاست ساده را با بافرهای بازپخش ترکیب کنید؟
از نظر فنی بله، اما انجام این کار فرض on-policy را که قضیه گرادیان سیاست به آن متکی است، نقض میکند. اصلاحات off-policy مانند نمونهبرداری اهمیت مورد نیاز است و بدون آنها گرادیانها مغرضانه میشوند و آموزش اغلب ناپایدار میشود، به همین دلیل است که روشهای actor-critical با بازپخش، مانند SAC و TD3، شامل اصلاحات صریح هستند.
مقیاسبندی پاداش برای ثبات چقدر مهم است؟
مقیاسبندی پاداش به طرز شگفتآوری مهم است. اگر پاداشها بسیار بزرگ باشند، گرادیانها منفجر میشوند؛ اگر کوچک باشند، یادگیری متوقف میشود. خطوط لوله بهینهسازی پایدار معمولاً پاداشها را نرمالسازی یا محدود میکنند، و بسیاری از پیادهسازیها نیز اهداف ارزشی را نرمالسازی میکنند تا خروجیهای منتقد در یک محدوده معقول باقی بمانند.
بله. اقدامات پیوسته معمولاً از سیاستهای گاوسی استفاده میکنند که واریانس آنها خود یک پارامتر آموخته شده است، بنابراین یک بهروزرسانی بد میتواند نویز اکتشاف را به نزدیک صفر برساند. این باعث میشود عامل قطعی و قادر به بازیابی نباشد، که یکی از رایجترین حالتهای شکست است که افراد هنگام اعمال گرادیانهای سیاست معمولی به کنترل پیوسته مشاهده میکنند.
آیا روشهای پایدار نیاز به تنظیم هایپرپارامتر را از بین میبرند؟
هیچ روشی تنظیم را به طور کامل حذف نمیکند، اما روشهای پایداری مانند PPO به بخشش معروف هستند و اغلب با تنظیمات پیشفرض در بسیاری از وظایف کار میکنند. در مقابل، گرادیانهای سیاست ساده، معمولاً نیاز به تنظیم دقیق نرخ یادگیری، ضریب تخفیف و خط پایه برای هر محیط جدید دارند.
چرا محققان هنوز شیبهای سیاستی سادهلوحانه را مطالعه میکنند؟
گرادیانهای سیاست ساده، واضحترین بیان قضیه گرادیان سیاست هستند که آنها را برای آموزش، تحلیل نظری و مطالعات فرسایش ایدهآل میکند. آنها همچنین به عنوان پایهای عمل میکنند که الگوریتمهای پیچیدهتر بر اساس آن محک زده میشوند.
چگونه منظمسازی آنتروپی به پایداری کمک میکند؟
اضافه کردن یک امتیاز آنتروپی به هدف، سیاست را تشویق میکند تا مقداری تصادفی بودن را در اقدامات خود حفظ کند، که از همگرایی زودرس به رفتار قطعی اما غیربهینه جلوگیری میکند. این کاوش اضافی همچنین چشمانداز زیان را هموار میکند و باعث میشود بهروزرسانیهای گرادیان، احتمال کمتری داشته باشند که سیاست را به یک منطقه بد سوق دهند.
حکم
هر زمان که سیاستهای عمیق را برای وظایف پیچیده آموزش میدهید، به خصوص زمانی که کارایی نمونه و تکرارپذیری اهمیت دارند، تکنیکهای پایداری بهینهسازی را انتخاب کنید. گرادیانهای سیاست ساده همچنان به عنوان یک ابزار آموزشی و برای مسائل ساده و کوتاهمدت که واریانس آنها قابل مدیریت است، مفید هستند، اما به ندرت انتخاب مناسبی برای کاربردهای جدی یادگیری تقویتی عمیق هستند.