Composable Verification Pipelines for Multi-Agent Systems
यह शोध पत्र सोडा (Soda) में कार्यान्वित एक मॉड्यूलर, फंक्शनल प्रोग्रामिंग फ्रेमवर्क प्रस्तुत करता है जो मल्टी-एजेंट सिस्टम के लिए कंपोजेबल वेरिफिकेशन पाइपलाइनों को सक्षम बनाता है, जिससे उपयोगकर्ताओं को गलत सूचना और भावनात्मक तर्क जैसे जटिल परिदृश्यों वाले गतिशील सिस्टम के लिए YAML में डोमेन विवरण परिभाषित करने और पारदर्शी, गारंटीकृत-समाप्ति वाले रीजनिंग वर्कफ़्लो निष्पादित करने की अनुमति मिलती है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
एक ऐसी दुनिया की कल्पना करें जहाँ कंप्यूटर प्रोग्राम केवल कोड की पंक्तियाँ नहीं, बल्कि एक जीवित कहानी के पात्र हों। कंप्यूटर विज्ञान के क्षेत्र में, एक ऐसा क्षेत्र है जो यह समझने के लिए समर्पित है कि ये पात्र समय के साथ कैसे चलते हैं, बदलते हैं और आपस में क्रिया करते हैं। यह "एक्शन और चेंज" (क्रिया और परिवर्तन) का अध्ययन है। इसे एक बोर्ड गेम की तरह समझें जहाँ मोहरे चलते हैं, नियम तय करते हैं कि क्या करने की अनुमति है, और लक्ष्य यह अनुमान लगाना है कि क्या खेल एक निष्पक्ष जीत में समाप्त होगा या एक अराजक उथल-पुथल में। वर्षों से, वैज्ञानिक इन नियमों को लिखने के लिए भारी, तर्क-आधारित उपकरणों का उपयोग करते रहे हैं, यह सिद्ध करने की कोशिश करते हुए कि एक प्रणाली सही ढंग से व्यवहार करती है। लेकिन ये उपकरण बोझिल हो सकते हैं, जैसे कि केवल एक विशाल ईंट का उपयोग करके एक जटिल लेगो (Lego) महल बनाने की कोशिश करना। वे काम तो करते हैं, लेकिन वे बहुत लचीले या अन्य प्रकार के निर्माताओं के साथ साझा करने में आसान नहीं हैं।
अब, कल्पना करें कि यदि आप उस महल को मॉड्यूलर, एक साथ जुड़ने वाले टुकड़ों का उपयोग करके बना सकते थे जिसे कोई भी समझ सके और पुनर्व्यवस्थित कर सके। यह वह समस्या है जिसे जूलियन अल्फ्रेडो मेंडेज़ और एंड्रियास ब्रैनस्ट्रॉम हल कर रहे हैं। वे एक तरीका बनाना चाहते हैं जिससे यह जांचा जा सके कि क्या एक डिजिटल कहानी (क्रियाओं और अवस्थाओं का एक क्रम) नियमों का पालन करती है, लेकिन वे इसे एक आधुनिक, लचीले दृष्टिकोण का उपयोग करके करना चाहते हैं जो गणितीय पहेली को हल करने के बजाय हाई-टेक लेगो से जुड़ने जैसा महसूस होता है। वे पूछ रहे हैं: क्या हम जटिल, मल्टी-एजेंट सिस्टम (जैसे रोबोट की एक टीम या बॉट्स का सोशल नेटवर्क) के सत्यापन को एक कारखाने में पाइप जोड़ने जितना आसान और पारदर्शी बना सकते हैं?
लेखक "कंपोजेबल वेरिफिकेशन पाइपलाइन्स" (Composable Verification Pipelines) नामक एक नया ढांचा पेश करते हैं। पुराने, भारी लॉजिक ब्रिक्स का उपयोग करने के बजाय, उन्होंने "टाइल्स" (Tiles) और "सोडा" (Soda) नामक एक भाषा पर आधारित एक प्रणाली बनाई है। "टाइल्स" को पारदर्शी पाइपों के एक सेट के रूप में सोचें। प्रत्येक पाइप एक सरल कार्य करता है: वह डेटा का एक हिस्सा लेता है (जैसे दुनिया की एक अवस्था या किसी एजेंट द्वारा की गई एक क्रिया), उसे प्रोसेस करता है, और उसे अगले पाइप तक पहुँचा देता है। इन पाइपों को एक साथ जोड़कर, आप एक "पाइपलाइन" बनाते हैं जो पूरी कहानी को सामने आते हुए देखती है और हर एक कदम की नियमों के विरुद्ध जाँच करती है।
यह शोध पत्र प्रस्तावित करता है कि आप एक जटिल प्रणाली का वर्णन—जैसे कि समाचार साझा करने या निर्णय लेने वाले एजेंटों का एक समूह—YAML (जो एक संरचित टू-डू लिस्ट की तरह है) नामक एक सरल, पठनीय प्रारूप का उपयोग करके कर सकते हैं। एक बार जब आप इस प्रारूप में अपने नियम और अपनी कहानी लिख लेते हैं, तो फ्रेमवर्क स्वचालित रूप से उन्हें इन कार्यात्मक पाइपों की एक श्रृंखला में बदल देता है। जैसे ही कहानी चलती है, डेटा पाइपलाइन के माध्यम से प्रवाहित होता है। एक पाइप यह जाँच सकता है कि क्या कोई क्रिया अनुमत थी; दूसरा देख सकता है कि क्या कोई नियम टूटा है; तीसरा सब कुछ मिलाकर एक अंतिम "हाँ" या "नहीं" दे सकता है कि क्या कहानी वैध है।
शोधकर्ता दिखाते हैं कि यह दृष्टिकोण केवल एक सिद्धांत नहीं है; उन्होंने इसे बनाया और परीक्षण भी किया। उन्होंने प्रदर्शित किया कि इन छोटे, पुन: प्रयोज्य घटकों में सत्यापन प्रक्रिया को विभाजित करके, वे जटिल परिदृश्यों को संभाल सकते हैं, जैसे कि सोशल नेटवर्क पर गलत सूचना का प्रसार या एजेंट के निर्णयों को भावनाओं का प्रभाव। उदाहरण के लिए, एक उदाहरण में, एक एजेंट द्वारा झूठ साझा करने की कहानी शुरू में एक नियम उल्लंघन लग रही थी। लेकिन जब उन्होंने पाइपलाइन में "इमोशनल फ्लूएंट्स" (एजेंट कैसा महसूस करता है इसके नियम) जोड़ा, तो कहानी अचानक समझ में आने लगी और वैध हो गई। यह साबित करता है कि उनका सिस्टम बिना पूरी मशीन को फिर से बनाए, नए, समृद्ध विवरणों को शामिल करने के लिए आसानी से बदला जा सकता है।
महत्वपूर्ण रूप से, यह शोध पत्र सिद्ध करता है कि ये पाइपलाइन अपना काम हमेशा पूरा करेंगी। क्योंकि सिस्टम सरल, सीमित चरणों से बना है, यह गारंटी देता है कि सत्यापन प्रक्रिया अनंत लूप में नहीं फँसेगी। उन्होंने यह भी मापा कि यह कितनी तेजी से चलता है, जिससे पता चला कि जैसे-जैसे आप अधिक नियम या लंबी कहानियाँ जोड़ते हैं, इसे लगने वाला समय एक अनुमानित, रैखिक (linear) तरीके से बढ़ता है। लेखक सुझाव देते हैं कि यह पद्धति एक्शन भाषाओं की भारी गणितीय दुनिया और आधुनिक सॉफ्टवेयर इंजीनियरिंग की लचीली, मॉड्यूलर दुनिया के बीच के अंतर को पाटती है, जिससे भविष्य में जटिल, नियम-आधारित सिस्टम बनाना और सत्यापित करना आसान हो जाता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।