Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
Euclid-MCP एक ओपन-सोर्स मॉडल कॉन्टेक्स्ट प्रोटोकॉल सर्वर है जो एक मानव-पठनीय मध्यवर्ती प्रतिनिधित्व के माध्यम से एक नियत (deterministic) SWI-Prolog बैकएंड को एकीकृत करके मल्टी-स्टेप तार्किक तर्क (logical reasoning) में लार्ज लैंग्वेज मॉडल्स की विश्वसनीयता को बढ़ाता है, जो प्रभावी रूप से आईटी सुरक्षा अनुपालन जैसे सुरक्षा-महत्वपूर्ण डोमेन में मतिभ्रम (hallucinations) को समाप्त करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक बहुत ही प्रतिभाशाली, सुपर-फास्ट रोबोट को रहस्य सुलझाना सिखाने की कोशिश कर रहे हैं। यह रोबोट, एक लार्ज लैंग्वेज मॉडल (LLM) है, जो कहानियाँ पढ़ने, कविताएँ लिखने और लगभग किसी भी चीज़ के बारे में बात करने में अविश्वसनीय है। यह एक शानदार लाइब्रेरियन की तरह है जिसने दुनिया की हर किताब पढ़ ली है और उन्हें तुरंत सारांशित कर सकता है। लेकिन, इसमें एक पेंच है: यह लाइब्रेरियन सख्त गणित और तर्क संबंधी पहेलियों में बहुत बुरा है। यदि आप इससे पूछें कि एक बैग में कितने लाल रंग की गेंदें हैं या यह देखने के लिए कि क्या किसी ने कोई कानून तोड़ा है, तो यह जटिल नियमों का पालन कर सकता है, तो यह उत्तर गलत दे सकता है क्योंकि यह केवल इस आधार पर अनुमान लगा रहा है कि क्या सुनने में सही लगता है, न कि वास्तव में गणित करने के आधार पर। यह सुरक्षा, कानून और सुरक्षा के लिए एक बड़ी समस्या है, जहाँ गलत उत्तर देना केवल एक गलती नहीं है—यह एक आपदा है।
इसे ठीक करने के लिए, वैज्ञानिक "न्यूरो-सिंबोलिक" (neuro-symbolic) सिस्टम बनाने की कोशिश कर रहे हैं। इसे एक सख्त, बिना पलक झपकाए काम करने वाले अकाउंटेंट के साथ उस शानदार लाइब्रेरियन को देने के रूप में सोचें। लाइब्रेरियन मानवीय भाषा के उलझे हुए हिस्सों को संभालता है, जबकि अकाउंटेंट सख्त, चरण-दर-चरण तर्क को संभालता है। लक्ष्य इन दोनों का सर्वश्रेष्ठ संयोजन प्राप्त करना है: रोबोट की रचनात्मकता और गणित की पूर्ण सटीकता। यह पेपर, जिसे Euclid-MCP कहा जाता है, इन दोनों के बीच बातचीत करने का एक नया, मानकीकृत तरीका बनाने के बारे में है, विशेष रूप से नियमों और नीतियों की जाँच करने के लिए।
यह पेपर Euclid-MCP नामक एक सिस्टम पेश करता है। यह एक अनुवादक और एक रेफरी दोनों की तरह है। लेखक ने Euclid-IR नामक एक विशेष, सरल भाषा बनाई है जो मनुष्यों और रोबोटों दोनों के लिए समझने में आसान है। आप इस भाषा में नियम लिख सकते हैं जैसे "यदि कोई उपयोगकर्ता इंटर्न है, तो वह फ़ाइलें डिलीट नहीं कर सकता।" सिस्टम फिर इन नियमों को लेता है और उन्हें एक अत्यंत सख्त लॉजिक इंजन (जो SWI-Prolog नामक टूल पर आधारित है) को सौंप देता है ताकि वह वास्तविक सोच-विचार कर सके। रोबोट कभी भी उत्तर का अनुमान नहीं लगाता; वह बस लॉजिक इंजन से पूछता है, जो उत्तर सही है या गलत, इसका एक सटीक, चरण-दर-चरण प्रमाण देता है।
शोधकर्ताओं ने इस सिस्टम का परीक्षण एक वास्तविक परिदृश्य के साथ किया: यह जाँच करना कि क्या एक कंपनी के कर्मचारी सुरक्षा नियमों का पालन कर रहे थे। उन्होंने सिस्टम को उपयोगकर्ताओं की एक सूची, उनकी भूमिकाएँ और सुरक्षा नीतियों का एक समूह दिया। जब उन्होंने लोगों के एक छोटे समूह के बारे में सरल प्रश्न पूछे, तो अकेले रोबोट ने सही उत्तर दिया। लेकिन जब उन्होंने समस्या को बड़ा बनाया—सैकड़ों उपयोगकर्ता और हजारों तथ्य जोड़ दिए—तो रोबोट "हैलुसिनेट" (hallucinate) करने लगा। वह उत्तर बनाने लगा, चीजों को गलत गिनने लगा, और स्पष्ट नियम उल्लंघनों को मिस करने लगा। यह ऐसा था जैसे लाइब्रेरियन अपने दिमाग में दस लाख किताबों को गिनने की कोशिश कर रही हो और भ्रमित हो रही हो।
हालाँकि, जब रोबोट ने Euclid-MCP का उपयोग किया, तो परिणाम अलग थे। सिस्टम ने केवल अनुमान नहीं लगाया; इसने गणना की। 1,000 उपयोगकर्ताओं और जटिल नियमों के साथ भी, इसने हर बार बिल्कुल सही उत्तर दिया। यह रोबोट द्वारा अकेले इसे हल करने की तुलना में तेज़ था और कम कंप्यूटर पावर का उपयोग करता था। यह पेपर दिखाता है कि नियमों, सुरक्षा और अनुपालन की जाँच करने के लिए, आप केवल रोबोट के "अंतर्ज्ञान" या समान दिखने वाले दस्तावेज़ों को खोजने की उसकी क्षमता पर भरोसा नहीं कर सकते। आपको भारी काम करने के लिए एक समर्पित लॉजिक इंजन की आवश्यकता है।
लेखक का तर्क है कि मानक "सर्च एंड रिट्रीव" (खोज और पुनः प्राप्ति) विधियों (जहाँ रोबोट केवल समान टेक्स्ट खोजता है) का उपयोग करके सख्त नियमों को लागू करने की कोशिश करना, एक कील ठोकने के लिए पावर ड्रिल का उपयोग करने जैसा है। यह एक शक्तिशाली उपकरण है, लेकिन यह काम के लिए गलत उपकरण है। इसके बजाय, Euclid-MCP नियमों के लिए एक स्थिर, साझा "मस्तिष्क" के रूप में कार्य करता है। चाहे वह एक रोबोट एजेंट हो जो यह जाँच रहा हो कि फ़ाइल खोलना सुरक्षित है या नहीं, या एक मानव ऑडिटर हो जो यह जाँच रहा हो कि क्या एक कंपनी कानून का पालन कर रही है, वे सभी एक ही Euclid-MCP सिस्टम से उत्तर मांग सकते हैं। सिस्टम न केवल उत्तर प्रदान करता है, बल्कि एक स्पष्ट, पठनीय "प्रूफ ट्री" (proof tree) भी प्रदान करता है जो दिखाता है कि किन नियमों ने उस निष्कर्ष तक पहुँचाया।
संक्षेप में, पेपर सुझाव देता है कि जबकि रोबोट बातचीत करने और जानकारी खोजने में महान हैं, उन्हें किसी भी ऐसी चीज़ को संभालने के लिए एक सख्त तर्क साथी की आवश्यकता होती है जिसमें पूर्ण सटीकता की आवश्यकता हो। Euclid-MCP वही साथी है, जो रोबोट के भाषा कौशल को गणितीय तर्क की अटूट विश्वसनीयता के साथ जोड़ने का एक तरीका प्रदान करता है, यह सुनिश्चित करते हुए कि जब सुरक्षा और नियमों की बात आती है, तो उत्तर हमेशा 100% सही होता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।