JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
यह शोध पत्र JustAct को प्रस्तुत करता है, जो अंतर-संगठनात्मक नीतियों द्वारा विनियमित ऑडिट करने योग्य मल्टी-एजेंट सिस्टम के लिए एक ढांचा है, जो डायनेमिक पॉलिसी जस्टिफिकेशन के माध्यम से गैर-खंडनीय अनुमति निर्णयों की गारंटी देता है, जिसे एक रस्ट (Rust) कार्यान्वयन और एक मेडिकल डेटा प्रोसेसिंग केस स्टडी के माध्यम से मान्य किया गया है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
एक हलचल भरे डिजिटल शहर की कल्पना करें जहाँ विभिन्न पड़ोस (अस्पताल, अनुसंधान प्रयोगशालाएँ और डेटा केंद्र) को रहस्य साझा करने की आवश्यकता है—जैसे कि दुर्लभ बीमारियों के इलाज के लिए मेडिकल रिकॉर्ड। लेकिन एक पेंच है—हर पड़ोस के अपने सख्त नियम हैं कि कौन क्या देख सकता है, और ये नियम बदल सकते हैं, जटिल हो सकते हैं, या एक-दूसरे के विरोधाभासी भी हो सकते हैं। पुराने दिनों में, सभी को एक ही विशाल नियम पुस्तिका पर सहमत करने की कोशिश करना एक दुस्वप्न जैसा था। यदि एक व्यक्ति एक नियम अपडेट करता था, तो बाकी सभी को सब कुछ रोककर तुरंत तालमेल बिठाना पड़ता था। यदि वे ऐसा नहीं करते थे, तो अराजकता फैल जाती थी।
यहाँ आता है JustAct, एक नया फ्रेमवर्क जो एक चतुर, विकेंद्रीकृत "Justify Your Move" (अपने कदम को सही ठहराना) के खेल की तरह काम करता है। सभी को एक ही विशाल नियम पुस्तिका याद रखने के लिए मजबूर करने के बजाय, JustAct एजेंटों (डिजिटल कार्यकर्ताओं) को एक सरल, शक्तिशाली सिद्धांत का पालन करने देता है: आप तभी आगे बढ़ सकते हैं जब आप अपने कार्ड दिखा सकें।
"कार्ड दिखाओ" का खेल
इस सिस्टम को एक विशाल, ओपन-वर्ल्ड गेम की तरह समझें।
- खिलाड़ी: एजेंट स्वतंत्र पात्रों की तरह हैं। कुछ डॉक्टर हैं, कुछ शोधकर्ता हैं, कुछ डेटा प्रोसेसर हैं। वे किसी भी समय खेल में शामिल हो सकते हैं या छोड़ सकते हैं।
- नियम: एक एकल नियम पुस्तिका के बजाय, नियम लाखों छोटी टिप्पणियों (statements) और समझौतों (agreements) के रूप में बिखरे हुए हैं।
- Statements (कथन) व्यक्तिगत नोट्स की तरह हैं: "मैं, बॉब, कहता हूँ कि मैं अपने एक्स-रे साझा करने की सहमति देता हूँ।"
- Agreements (समझौते) गेम के संविधान की तरह हैं: "हम सभी इस बात पर सहमत हैं कि केवल डॉक्टर ही एक्स-रे पढ़ सकते हैं।"
- The Move (कदम): जब कोई एजेंट कुछ करना चाहता है (जैसे रोगी की फ़ाइल पढ़ना), तो वे केवल अनुमति नहीं मांगते। उन्हें अपने कार्य को जस्टिफाई (उचित ठहराना) करना होता है। उन्हें उन विशिष्ट नोट्स (statements) और संविधान (agreements) को इकट्ठा करना होगा जो यह साबित करते हैं कि वे अभी ऐसा करने के लिए अधिकृत हैं।
यदि कोई एजेंट सही कागजी कार्रवाई के बिना कोई चाल चलने की कोशिश करता है, तो सिस्टम कहता है, "नहीं, आप ऐसा नहीं कर सकते।" लेकिन यदि वे नोट्स का सही ढेर लेकर आते हैं, तो कदम वैध होता है, और बाकी सभी लोग उस ढेर को देख सकते हैं और सहमत हो सकते हैं, "हाँ, यह अनुमत है।"
"JustAct" का जादू
इस फ्रेमवर्क का सबसे शानदार हिस्सा यह है कि यह भविष्य को कैसे संभालता है। कल्पना करें कि आप आज के ज्ञात नियमों के आधार पर एक कदम उठाते हैं। यह कागज इस बात का प्रमाण है कि भले ही कल नए नियम जोड़े जाएं, आज आपका कदम वैध रहेगा। यह एक ठोस नींव पर घर बनाने जैसा है; भले ही अगले साल पड़ोस के ज़ोनिंग कानून बदल जाएं, आपका घर अचानक अवैध नहीं हो जाएगा। यह एजेंटों को मानसिक शांति देता है: यदि वे अब नियमों का पालन करते हैं, तो वे बाद में दंडित नहीं होंगे क्योंकि नियम बदल गए थे।
"Slick" भाषा
इसे काम करने के योग्य बनाने के लिए, लेखकों ने Slick नामक एक विशेष भाषा बनाई है। Slick को नियमों को लिखने के एक बहुत ही सख्त, सुपर-क्लियर तरीके के रूप में समझें। यह एक लॉजिक पहेली की तरह है जहाँ प्रत्येक नियम पूरी तरह से सुव्यवस्थित होना चाहिए। यदि कोई नियम अव्यवस्थित या विरोधाभासी है, तो सिस्टम उसे तुरंत पकड़ लेता है और कहता है, "अमान्य!" यह "गारबेज इन, गारबेज आउट" की समस्या को रोकता है जहाँ खराब नियम खराब निर्णयों का कारण बनते हैं।
अपने प्रयोगों में, लेखकों ने Slick का उपयोग करके Brane को फिर से बनाया, जो अस्पतालों के बीच मेडिकल डेटा साझा करने के लिए उपयोग किया जाने वाला एक वास्तविक सिस्टम है। उन्होंने ऐसे परिदृश्य सिम्युलेट किए जहाँ:
- एक शोधकर्ता (एमी) रोगियों की गिनती करना चाहती थी।
- एक अस्पताल (सेंट एंटोनियस) डेटा को नियंत्रित करता था।
- एक "डिसरप्टर" (डैन) नियंत्रण लेने की कोशिश करता था।
सिमुलेशन ने दिखाया कि एमी केवल तभी रोगियों की गिनती कर सकती थी जब सेंट एंटोनियस स्पष्ट रूप से कहता, "हाँ, आप इसे पढ़ सकते हैं।" यदि डैन अस्पताल होने का ढोंग करने की कोशिश करता, तो सिस्टम उसे पकड़ लेता क्योंकि वह अपनी पहचान साबित करने के लिए सही "कार्ड्स" (statements) पेश नहीं कर पाता। इससे भी बेहतर, सेंट एंटोनियस चलते-चलते नियम बदल सकता था—जैसे कि यह तय करना कि एक विशिष्ट प्रकार का डेटा अब संवेदनशील नहीं है—बिना पूरे सिस्टम को तोड़े।
यह फ्रेमवर्क क्या नहीं है
यह जानना महत्वपूर्ण है कि यह पेपर क्या वादा नहीं करता है।
- यह गति के लिए कोई जादुई छड़ी नहीं है। पेपर स्वीकार करता है कि यह पता लगाना कि कोई कदम अनुमत है या नहीं, बहुत काम हो सकता है। एजेंटों को सही औचित्य खोजने के लिए नोट्स के एक बड़े ढेर में खोज करनी पड़ती है। यह घास के ढेर में सुई खोजने जैसा है; कभी-कभी, खोज में बहुत अधिक समय लगता है, और एजेंट बस सोफे पर बैठकर कुछ न करने का निर्णय ले लेता है।
- यह लोगों को कार्य करने के लिए मजबूर नहीं करता है। सिस्टम आपको कुछ बुरा करने से रोक सकता है, लेकिन यह आपको किसी समय सीमा के भीतर कुछ अच्छा करने के लिए मजबूर नहीं कर सकता। यदि कोई अस्पताल डेटा साझा करने से मना कर देता है, तो सिस्टम उन्हें ऐसा करने के लिए नहीं कहेगा; यह बस अन्य एजेंटों को आगे बढ़ने से रोकता है।
- यह कदम उठाने वाले व्यक्ति से रहस्य नहीं छुपाता है। यदि किसी एजेंट को कदम को उचित ठहराने की आवश्यकता है, तो उसे यह साबित करने के लिए संवेदनशील नियमों को देखना होगा कि वे अनुमत हैं। पेपर नोट करता है कि जबकि जनता को गुप्त जानकारी नहीं दिखती, लेकिन जो व्यक्ति कदम उठा रहा है, उसे आमतौर पर इसे देखना पड़ता है। (हालांकि, लेखक सुझाव देते हैं कि भविष्य के संस्करणों में इसे ठीक करने के लिए फैंसी क्रिप्टोग्राफी का उपयोग किया जा सकता है)।
निष्कर्ष
लेखकों ने केवल बातें नहीं कीं; उन्होंने इसे बनाया। उन्होंने तर्क को सही साबित करने के लिए एक औपचारिक गणितीय भाषा (Rocq) में नियम लिखे, और फिर उन्होंने Rust नामक प्रोग्रामिंग भाषा में एक वर्किंग प्रोटोटाइप बनाया। उन्होंने मेडिकल डेटा परिदृश्यों के साथ इन सिमुलेशन को चलाया और पाया कि सिस्टम बिल्कुल वैसा ही काम करता है जैसा कि गणित ने भविष्यवाणी की थी।
संक्षेप में, JustAct एक डिजिटल शहर चलाने का एक नया तरीका है जहाँ हर कोई नियमों के अनुसार खेलता है, लेकिन एक बॉस जैसा मेयर सबको क्या करना है यह बताने के बजाय, हर नागरिक अपने पास अनुमति का अपना प्रमाण रखता है। नागरिकों के लिए अपने कागजात ले जाना थोड़ा अधिक काम हो सकता है, लेकिन इसका मतलब यह है कि पूरा शहर सुचारू रूप से चलता रह सकता है, भले ही नियम बदल जाएं, बिना किसी के नए नियम पुस्तिका के आने का इंतज़ार करते हुए ट्रैफिक में फंसे।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।