GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI
यह शोधपत्र ग्रासरूट्स लॉजिक प्रोग्राम्स (GLP) को प्रस्तुत करता है, जो एक मल्टीएजेंट कंकरेंट लॉजिक प्रोग्रामिंग भाषा है जिसे ग्रासरूट्स प्लेटफॉर्म को लागू करने के लिए डिज़ाइन किया गया है जो स्वतंत्र संस्थाओं को स्वायत्त रूप से संचालित होने और केंद्रीकृत या प्लूटोक्रेटिक वैश्विक संसाधनों पर निर्भर हुए बिना बड़ी प्रणालियों में विलीन होने में सक्षम बनाती हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
डिजिटल टाउन स्क्वायर: कंप्यूटरों के बात करने का एक नया तरीका
कल्पना कीजिए कि इंटरनेट एक विशाल, हलचल भरे शहर की तरह है। अभी, यह शहर दो बहुत अलग प्रकार के मेयरों द्वारा चलाया जा रहा है। एक तरफ, आपके पास "निरंकुश शासक" (Autocrats) हैं, जैसे फेसबुक, जहाँ एक विशाल निगम शहर के चौक का मालिक है, वह तय करता है कि कौन बोल सकता है, और सभी संसाधनों को नियंत्रित करता है। दूसरी ओर, आपके पास "धनिकतंत्र" (Plutocrats) हैं, जैसे बिटकॉइन, जहाँ शहर उन सबसे अमीर लोगों द्वारा चलाया जाता है जिनके पास सबसे शक्तिशाली कंप्यूटर हैं, जिससे एक ऐसी प्रणाली बनती है जहाँ धन ही शक्ति निर्धारित करता है। लेकिन क्या होगा अगर कोई तीसरा रास्ता हो? क्या होगा अगर शहर समान रूप से सभी का हो, जहाँ हर व्यक्ति अपना छोटा सा मोहल्ला शुरू कर सके, और वे मोहल्ले बिना किसी केंद्रीय बॉस या किसी अमीर अभिजात वर्ग के इसे चलाने की आवश्यकता के, एक विशाल शहर में विकसित और विलीन हो सकें? यह एक "ग्रासरूट प्लेटफॉर्म" (grassroots platform) का सपना है।
इस सपने को सच करने के लिए, हमें कंप्यूटरों के बोलने के लिए एक नई भाषा की आवश्यकता है। आज की अधिकांश कंप्यूटर भाषाएँ एक अकेले कार्यकर्ता को दिए गए सख्त निर्देशों की तरह हैं: "यह करो, फिर वह करो।" लेकिन एक ग्रासरूट शहर को एक ही समय में एक-दूसरे से बात करने, रहस्य साझा करने और बिना किसी केंद्रीय बॉस के चीजें बनाने के लिए लाखों कार्यकर्ताओं (या एजेंटों) की आवश्यकता होती है। यहीं पर "कन्करेंट लॉजिक प्रोग्रामिंग" (concurrent logic programming) काम आती है। इसे टेलीफोन के खेल की तरह समझें जहाँ, केवल एक संदेश भेजने के बजाय, आप एक वादा पास करते हैं। आप कहते हैं, "मैं आपको बाद में यह मान (value) दूँगा," और दूसरा व्यक्ति कहता है, "मैं अपना हिस्सा करने के लिए उस मान की प्रतीक्षा कर रहा हूँ।" यदि हर कोई इन नियमों का पालन करता है, तो पूरा सिस्टम सुचारू रूप से चल सकता है, भले ही खिलाड़ी दुनिया भर में बिखरे हुए हों। बड़ा सवाल हमेशा से यह रहा है: क्या हम इस शक्तिशाली, जटिल सोचने के तरीके को आम लोगों (और उनके AI सहायकों) के उपयोग के लिए पर्याप्त आसान बना सकते हैं?
ग्रासरूट भाषा: GLP
इस शोध पत्र में, एहुड शापिरो (Ehud Shapiro) एक नया उपकरण पेश करते हैं जिसे GLP (ग्रासरूट लॉजिक प्रोग्राम्स) कहा जाता है। GLP को हजारों स्वतंत्र कंप्यूटरों (या स्मार्टफोनों) द्वारा खेले जाने वाले एक विशाल, वैश्विक "कनेक्ट-द-डॉट्स" के विशेष नियमों के सेट के रूप में समझें। लक्ष्य एक डिजिटल दुनिया बनाना है जहाँ कोई भी एक छोटा समूह शुरू कर सके, और वे समूह स्वाभाविक रूप से एक एकल, वैश्विक समुदाय में विकसित हो सकें, जिसके लिए किसी केंद्रीय सर्वर या चाबियाँ रखने वाले किसी अमीर मालिक की आवश्यकता न हो।
यह शोध पत्र GLP को विशेष रूप से इस "ग्रासरूट" शैली में रहने के लिए डिज़ाइन की गई एक भाषा के रूप में प्रस्तुत करता है। कंप्यूटर विज्ञान के पुराने दिनों में, ऐसी भाषाएँ जो एक साथ कई चीजों को होने की अनुमति देती थीं, सामान्य प्रोग्रामर्स के लिए समझना बहुत कठिन था। वे एक ऐसे सिम्फनी की तरह थे जहाँ हर संगीतकार को एक ही समय में अलग-अलग शीट संगीत पढ़ना पड़ता था, और यदि एक व्यक्ति भी ताल चूक जाता, तो पूरी चीज़ क्रैश हो जाती थी। GLP एक चतुर तकनीक पेश करके इसे सरल बनाता है: पेयर्ड वेरिएबल्स (Paired Variables)।
कल्पना कीजिए कि आप और एक मित्र एक टॉवर बना रहे हैं। आपके पास एक ब्लॉक ("राइटर" या लेखक) है और आपके मित्र के पास एक मिलान वाला छेद ("रीडर" या पाठक) है। आप तब तक ब्लॉक को छेद में नहीं डाल सकते जब तक कि आपके पास वास्तव में ब्लॉक न हो, और आपका मित्र तब तक छेद के लिए प्रतीक्षा नहीं कर सकता जब तक कि उसके पास ब्लॉक तैयार न हो। GLP में, प्रत्येक "राइटर" एक "रीडर" के साथ जुड़ा होता है। जब आप राइटर को एक मान (value) सौंपते हैं, तो वह तुरंत रीडर तक पहुँच जाता है, जैसे कि एक जादुмयी डिलीवरी सेवा। यह सुनिश्चित करता है कि दो लोग एक ही समय में एक ही ब्लॉक को असाइन करने की कोशिश न करें (जिससे क्रैश हो सकता है), और यह सिस्टम को सहजता से जटिल, बहु-दिशीय बातचीत संभालने की अनुमति देता है। शोध पत्र गणितीय रूप से सिद्ध करता है कि यह प्रणाली पूरी तरह से काम करती है: यदि लोगों के दो समूह अलग-अलग खेल रहे हैं, तो वे बाद में एक साथ खेलना शुरू कर सकते हैं बिना नियमों को तोड़े, और वे नए संबंध बना सकते हैं जो दोनों समूहों ने अकेले नहीं बनाए होते।
यह कैसे काम करता है: "कोल्ड कॉल्स" का जादू
शोध पत्र बताता है कि GLP अजनबियों को जोड़ने के जटिल काम को कैसे संभालता है। एक सामान्य ऐप में, आपको दोस्त को खोजने के लिए एक केंद्रीय निर्देशिका (directory) की आवश्यकता होती है। GLP में, एजेंट (डिजिटल लोग) "कोल्ड कॉल्स" (cold calls) कर सकते हैं। यह एक ऐसे पड़ोस में दरवाजा खटखटाने जैसा है जहाँ आपने पहले कभी यात्रा नहीं की है। आप एक संदेश भेजते हैं, "नमस्ते, मैं एलिस हूँ, और मेरे पास आपके लिए एक विशेष कुंजी (वेरिएबल) है।" यदि दूसरी ओर का व्यक्ति (बॉब) इसे स्वीकार करता है, तो अब वे वह कुंजी साझा करते हैं। अचानक, एलिस और बॉब आपस में जुड़ जाते हैं, और वे किसी और को जाने बिना सीधे बात कर सकते हैं।
शोध पत्र दिखाता है कि यह प्रणाली "ग्रासरूट" क्यों है क्योंकि यह दो सख्त मानदंडों को पूरा करती है:
- स्वतंत्रता (Independence): एलिस और बॉब नेटवर्क के अलग-अलग, असंबद्ध हिस्सों में रह सकते हैं और फिर भी अपने स्वयं के प्रोग्रामों को पूरी तरह से चला सकते हैं। उन्हें यह बताने के लिए किसी वैश्विक सर्वर की आवश्यकता नहीं है कि उन्हें क्या करना है।
- कोलेसेंस (Coalescence): जब वे जुड़ने का निर्णय लेते हैं, तो वे अपनी दुनिया को सहजता से मिला सकते हैं। वे एक-दूसरे को चार्ली से परिचित करा सकते हैं, जिससे विश्वास की एक ऐसी श्रृंखला बनती है जो स्वाभाविक रूप से बढ़ती है।
लेखक इसे एक "सोशल ग्राफ" (मित्रता का मानचित्र) बनाकर प्रदर्शित करते हैं जो GLP का उपयोग करता है। इस प्रणाली में, आप एक कोल्ड कॉल भेजकर दोस्ती शुरू कर सकते हैं, या एक साझा चैनल पास करके एक आपसी मित्र दो अजनबियों का परिचय करा सकता है। एक बार जुड़ जाने के बाद, वे सीधे टेक्स्ट मैसेज भेज सकते हैं। शोध पत्र कोड के उदाहरण शामिल करता है जो दिखाते हैं कि ये इंटरैक्शन कैसे होते हैं, यह साबित करते हुए कि सिस्टम सुरक्षित और विश्वसनीय है।
AI क्रांति: यह अभी क्यों महत्वपूर्ण है
शोध पत्र का सबसे रोमांचक हिस्सा यहाँ है। चालीस वर्षों तक, ये शक्तिशाली "कन्करेंट लॉजिक" भाषाएँ औसत मनुष्यों के लिए बहुत कठिन रही हैं। इनके लिए मानसिक व्यायाम के उस स्तर की आवश्यकता थी जिसे केवल कुछ विशेषज्ञ ही संभाल सकते थे। लेकिन शोध पत्र का तर्क है कि आर्टिफिशियल इंटेलिजेंस (AI) ने खेल बदल दिया है।
लेखक एक नए वर्कफ़्लो का वर्णन करते हैं जहाँ मानव और AI एक टीम के रूप में काम करते हैं। मानव उच्च-स्तरीय विचार (स्पष्टीकरण/specification) प्रदान करता है, जैसे "मैं एक ऐसा सोशल नेटवर्क चाहता हूँ जहाँ दोस्त एक-दूसरे का परिचय दे सकें।" फिर AI उस विचार को लेता है और जटिल GLP कोड लिखता है, त्रुटियों की जाँच करता है, और यहाँ तक कि बग्स को भी ठीक करता है। शोध पत्र दिखाता है कि AI इसमें अविश्वसनीय रूप से अच्छा है। यह एक गणितीय स्पष्टीकरण को स्मार्टफोन और कंप्यूटर के लिए काम करने वाले कोड में अनुवादित कर सकता है। वास्तव में, लेखक उल्लेख करते हैं कि AI ने पहले से ही इन विचारों पर आधारित सोशल ग्राफ, मुद्रा और सुरक्षित रिकवरी सिस्टम के कार्यान्वयन बनाने में मदद की है।
शोध पत्र सुझाव देता है कि AI द्वारा "हाइपर-प्रोग्रामर" के रूप में कार्य करने के साथ, इन शक्तिशाली भाषाओं के लिए प्रवेश की बाधा समाप्त हो गई है। हम अंततः इन विचारों के उपयोग के लिए कन्करेंट लॉजिक प्रोग्रामिंग की अमूर्त, अभिव्यंजक शक्ति का उपयोग कर सकते हैं। शोध पत्र यह दावा नहीं करता कि उसने दुनिया की हर समस्या को हल कर लिया है, लेकिन यह गणितीय प्रमाण और कामकाजी उपकरण प्रदान करता है जो यह दिखाते हैं कि एक निष्पक्ष, विकेंद्रीकृत और स्केलेबल डिजिटल भविष्य संभव है, और AI ही इसे अनलॉक करने की कुंजी है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।