Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
यह शोध पत्र सुदृढीकरण शिक्षण (रिनफोर्समेंट लर्निंग) के लिए एक अनुकूली शील्डिंग फ्रेमवर्क प्रस्तुत करता है जो पर्यावरण धारणा उल्लंघन का पता चलते ही रनटाइम पर GR(1) विनिर्देशों को स्वचालित रूप से सुधारने के लिए इंडक्टिव लॉजिक प्रोग्रामिंग का उपयोग करता है, जिससे स्थिर दृष्टिकोणों की तुलना में एजेंट के निकट-इष्टतम प्रदर्शन को बनाए रखते हुए सुरक्षा और जीवंतता (लाइवनेस) दोनों सुनिश्चित की जा सकती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
आर्टिफिशियल इंटेलिजेंस की दुनिया में, मशीनें तेजी से 'ट्रायल एंड एरर' (प्रयास और त्रुटि) के माध्यम से निर्णय लेना सीख रही हैं, जिसे सुदृढीकरण लर्निंग (reinforcement learning) के रूप में जाना जाता है। एक डिजिटल एजेंट की कल्पना करें जो एक नए वातावरण की खोज कर रहा है, यह देखने के लिए विभिन्न क्रियाएं आजमा रहा है कि कौन सी क्रियाएं पुरस्कार की ओर ले जाती हैं, ठीक वैसे ही जैसे एक बच्चा गिरने और फिर से उठ खड़े होने के माध्यम से साइकिल चलाना सीखता है। इस दृष्टिकोण ने ऐसी प्रणालियाँ विकसित की हैं जो जटिल खेल खेलने और रोबोट को संचालित करने में सक्षम हैं, लेकिन इसके साथ एक महत्वपूर्ण जोखिम भी आता है: मशीन अपने लक्ष्य को कुछ खतरनाक या वर्जित करके प्राप्त करना सीख सकती है। इसे रोकने के लिए, इंजीनियर एक सुरक्षा तंत्र का उपयोग करते हैं जिसे 'शील्ड' (shield) कहा जाता है। शील्ड को एक सतर्क पर्यवेक्षक के रूप में सोचें जो एजेंट के प्रस्तावित कदमों पर नज़र रखता है और उन कदमों को रोकता है जो नियमों को तोड़ते हैं, जिससे एजेंट केवल एक सुरक्षित क्षेत्र के भीतर स्वतंत्र रूप से सीख सके। वर्षों से, ये पर्यवेक्षक स्थिर रहे हैं, जो दुनिया के काम करने के तरीकों के एक निश्चित सेट पर आधारित होते हैं। वे यह मान लेते हैं कि वातावरण बिल्कुल वैसा ही व्यवहार करता है जैसा अनुमान लगाया गया था, जैसे कि एक ऐसा मानचित्र जो कभी बदलता नहीं है। हालाँकि, वास्तविक दुनिया में, स्थितियाँ बदलती हैं, सेंसर विफल होते हैं, और अप्रत्याशित घटनाएँ घटती हैं। जब वातावरण उन नियमों को तोड़ देता है जिन पर शील्ड बनाई गई थी, तो पर्यवेक्षक अक्सर पंगु हो जाता है या अत्यधिक सतर्क हो जाता है, जिससे एजेंट को कुछ भी उपयोगी करने से रोका जाता है, या इससे भी बुरा, आपदा को रोकने में विफल रहता है क्योंकि उसका मानचित्र अब वास्तविकता से मेल नहीं खाता।
इंपीरियल कॉलेज लंदन और यूनिवर्सिटी ऑफ ब्यूनस आयर्स के शोधकर्ताओं ने इस समस्या को संभालने का एक नया तरीका विकसित किया है, जिससे एक ऐसा सुरक्षा तंत्र बनाया गया है जो तब अनुकूलित (adapt) हो सकता है जब उसके अनुमान गलत साबित होते हैं। उनका कार्य, जो हाल ही में एक न्यूरोसिम्बोलिक लर्निंग सम्मेलन में प्रस्तुत किया गया था, एक विशिष्ट प्रकार के तार्किक ढांचे (logical framework) पर केंद्रित है जो इन सुरक्षा पर्यवेक्षकों को स्वयं की मरम्मत करने की अनुमति देता है। एक अपरिवंत, अपरिवर्तनीय निर्देशों के सेट पर निर्भर रहने के बजाय, उनकी प्रणाली वास्तविक समय में वातावरण की निगरानी करती है। यदि वातावरण इस तरह से व्यवहार करता है जो मूल नियमों के विपरीत है—जैसे कि एक माइन पंप (mine pump) द्वारा एक खतरनाक गैस की स्थिति का सामना करना जिसे पहले असंभव माना गया था—तो सिस्टम त्रुटि का पता लगा लेता है। इसके बाद यह अपने स्वयं के नियमों को फिर से लिखने के लिए एक विशेष शिक्षण तकनीक का उपयोग करता है, जिससे सुरक्षा सुनिश्चित करने का एक नया तरीका मिलता है और साथ ही एजेंट को अपना कार्य पूरा करने की अनुमति भी मिलती है। यह प्रक्रिया सुनिश्चित करती है कि एजेंट सुरक्षित और प्रभावी बना रहे, भले ही दुनिया उम्मीद के मुताबिक व्यवहार न करे, जिससे कठोर तर्क और वास्तविक दुनिया की अनिश्चित प्रकृति के बीच के अंतर को पाटा जा सके।
इस नवाचार का मूल इस बात में निहित है कि शोधकर्ता "लाइवनेस" (liveness) की अवधारणा को कैसे संभालते हैं, जो कि एक प्रणाली की आगे बढ़ने और अंततः अपने लक्ष्यों को प्राप्त करने की क्षमता है, न कि केवल तत्काल खतरे से बचना। अपने प्रयोगों में, उन्होंने दो बहुत अलग परिदृश्यों का परीक्षण किया। पहला एक सिम्युलेटेड माइन पंप सिस्टम था, जो एक क्लासिक समस्या है जहाँ एक नियंत्रक को खान से पानी बाहर पंप करना होता है लेकिन विस्फोट से बचने के लिए मीथेन गैस का पता चलते ही तुरंत रुकना चाहिए। मूल सुरक्षा नियम यह मानते थे कि उच्च जल स्तर और मीथेन गैस एक साथ कभी नहीं होगी। हालाँकि, वास्तविक दुनिया में, इस धारणा का उल्लंघन किया जा सकता है। जब शोधकर्ताओं ने इस असंभव स्थिति को अपने सिमुलेशन में पेश किया, तो पुराने, स्थिर सुरक्षा नियंत्रक पूरी तरह से विफल हो गए। या तो उन्होंने पंप को पूरी तरह से रोक दिया, जिससे खान में बाढ़ आ गई, या उन्होंने पंप को चलने दिया, जिससे विस्फोट का खतरा बढ़ गया। इसके विपरीत, नए अनुकूलन योग्य (adaptive) सिस्टम ने विरोधाभास को पहचान लिया। इसने महसूस किया कि पानी और गैस के कभी न मिलने वाला नियम गलत था। फिर इसने अपने स्वयं के तर्क को अपडेट किया कि, "यदि गैस मौजूद है, तो पंप न करें, लेकिन यदि पानी अधिक है और गैस मौजूद नहीं है, तो पंप करें।" इस छोटे से तार्किक सुधार ने सिस्टम को सुरक्षित और कुशल रूप से काम करना जारी रखने की अनुमति दी, जबकि स्थिर प्रणालियाँ अटक गई थीं।
दूसरा परीक्षण 'सीक्वेस्ट' (Seaquest) नामक एक उच्च-जोखम वाले वीडियो गेम वातावरण में लिया गया था, जहाँ एक एजेंट एक पनडुब्बी को नियंत्रित करता है। यहाँ सुरक्षा नियम इस धारणा पर आधारित थे कि ऑक्सीजन का स्तर एक स्थिर, अनुमानित दर से गिरेगा। परीक्षण में, शोधकर्ताओं ने खेल को इस तरह बदल दिया कि एक निश्चित निम्न स्तर पर पहुँचने के बाद ऑक्सीजन बहुत तेज़ी से कम होने लगेगी, एक ऐसी स्थिति जिसकी मूल सुरक्षा शील्ड ने कल्पना नहीं की थी। पुराने, धीमी ऑक्सीजन कमी की दर पर बने स्थिर शील्ड भ्रमित हो गए। या तो उन्होंने पनडुब्बी को तब रोक दिया जब उसे चलने की आवश्यकता थी, या वे ऑक्सीजन पूरी तरह खत्म होने से रोकने में विफल रहे। हालाँकि, अनुकूलित (adaptive) शील्ड ने पता लगाया कि ऑक्सीजन उम्मीद से कहीं अधिक तेज़ी से गायब हो रही है। इसने तुरंत दुनिया के अपने आंतरिक मॉडल को समायोजित किया, अपनी अपेक्षाओं को कम किया कि पनडुब्बी कितनी देर तक पानी के नीचे रह सकती है, जबकि इस बात की पूर्ण गारंटी बनाए रखी कि ऑक्सीजन शून्य नहीं होगी। इसने पनडुब्बी को खेल जारी रखने, गोताखोरों को बचाने और अंक एकत्र करने की अनुमति दी, भले ही वातावरण मूल नियमों की तुलना में अधिक प्रतिकूल हो गया था।
इन प्रयोगों के परिणाम स्पष्ट और मापने योग्य थे। माइन पंप परिदृश्य में, अनुकूलित प्रणाली ने पूर्ण सुरक्षा अनुपालन प्राप्त किया और प्रदर्शन का उच्च स्तर बनाए रखा, जिससे लगभग उतने ही पुरस्कार मिले जितने कि सर्वश्रेष्ठ स्थिर सिस्टम को मिले थे जिन्हें विफल होने की अनुमति दी गई थी। सीक्वेस्ट गेम में, अनुकूलित शील्ड ने एजेंट को लगभग हर प्रयास में सफल होने की अनुमति दी, जबकि बिना शील्ड वाले एजेंट और स्थिर शील्ड वाले एजेंट वातावरण बदलने पर बार-बार विफल हुए। शोधकर्ताओं ने पाया कि सिस्टम को केवल कभी-कभी हस्तक्षेप करने की आवश्यकता होती है, माइन पंप टेस्ट में 20 प्रतिशत से भी कम चरणों में एजेंट के प्रस्तावित कार्य को एक सुरक्षित कार्य से बदलना पड़ा और गेम में इससे भी कम। हस्तक्षेप की यह कम दर दर्शाती है कि सिस्टम को लगातार सूक्ष्म प्रबंधन (micromanage) करने की आवश्यकता नहीं है; यह केवल तभी हस्तक्षेप करता है जब वातावरण नियमों को तोड़ता है, और यह अपने नियमों की समझ को अपडेट करके ऐसा करता है।
जो इस दृष्टिकोण को विशेष रूप से शक्तिशाली बनाता है वह यह है कि यह केवल संभावनाओं का अनुमान नहीं लगाता या दुनिया के एक पूर्ण मॉडल को सीखने का प्रयास नहीं करता, जो जटिल स्थितियों में असंभव हो सकता है। इसके बजाय, यह सुरक्षा नियमों के तार्किक ढांचे पर ध्यान केंद्रित करता है। जब कोई उल्लंघन होता है, तो सिस्टम 'इंडक्टिव लॉजिक प्रोग्रामिंग' (inductive logic programming) नामक एक विधि का उपयोग करता है ताकि नियमों में सबसे सरल परिवर्तन किया जा सके जो उस स्थिति को फिर से संभव बना सके। इसका अर्थ है कि परिवर्तन पारदर्शी और समझने योग्य हैं; एक मानव इंजीनियर नए नियमों को देख सकता है और समझ सकता है कि सिस्टम ने अपने व्यवहार को क्यों समायोजित करने का निर्णय लिया। शोधकर्ताओं ने प्रदर्शित किया कि यह तरीका एजेंट की प्रदर्शन को सीखने और अनुकूलित करने की क्षमता को सुरक्षित रखता है, जिससे उस जाल से बचा जा जा सकता है जहाँ सुरक्षा उपाय एजेंट को इतना सतर्क बना देते हैं कि वह अपना काम ही नहीं कर पाता। सुरक्षा शील्ड को वातावरण के साथ विकसित होने की अनुमति देकर, सिस्टम सख्त सुरक्षा और व्यावहारिक प्रभावशीलता के बीच संतुलन बनाए रखता है।
अध्ययन ने वर्तमान विधियों की सीमाओं को भी रेखांकित किया। शोधकर्ताओं ने दिखाया कि निश्चित, हाथ से बनाए गए नियमों पर निर्भर रहना एक नाजुक रणनीति है। जब वातावरण डिजाइन धारणाओं से विचलित होता है, तो स्थिर नियंत्रक अक्सर बेकार हो जाते हैं, या तो सभी क्रियाओं को रोक देते हैं या नुकसान को रोकने में विफल रहते हैं। अनुकूलित दृष्टिकोण ने सिद्ध किया कि बिना सीखने की क्षमता को त्याग दिए, इन अप्रत्याशित परिवर्तनों के प्रति मजबूत प्रणालियाँ बनाना संभव है। हालाँकि, शोधकर्ताओं ने नोट किया कि यह विधि वर्तमान में उन वातावरणों में सबसे अच्छा काम करती है जिन्हें स्पष्ट, असतत (discrete) चरणों के साथ वर्णित किया जा सकता है, जैसे कि माइन पंप या वीडियो गेम के विशिष्ट मैकेनिक। निरंतर, तरल गतिकी (fluid dynamics) वाले संसारों में, आवश्यक तार्किक अमूर्तता (logical abstraction) को परिभाषित करना कठिन हो सकता है। इसके अतिरिक्त, नियमों को सुधारने की प्रक्रिया में समय लगता है, और बहुत बड़े या जटिल सिस्टम के लिए, इस सुधार की गति एक बाधा बन सकती है। इन चुनौतियों के बावजूद, यह कार्य आर्टिफिशियल इंटेलिजेंस को सुरक्षित और अधिक विश्वसनीय बनाने की दिशा में एक महत्वपूर्ण कदम है। यह एक ऐसे भविष्य का सुझाव देता है जहाँ सुरक्षा प्रणालियाँ केवल कठोर बाधाएँ नहीं हैं, बल्कि बुद्धिमान भागीदार हैं जो समझ सकते हैं कि दुनिया बदल गई है और उसके अनुसार अपनी सुरक्षा को समायोजित कर सकते हैं, जिससे यह सुनिश्चित होता है कि मशीनें अज्ञात के सामने भी सुरक्षित रूप से काम कर सकें।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।