When Are AI Explanations Recoverable? Identifiability, Stability, and Transfer from an Inverse-Problem Perspective
यह शोधपत्र एआई (AI) स्पष्टीकरणों को प्रतिलोम समस्याओं (inverse problems) के रूप में प्रतिपादित करके उनकी पुनरुप्राप्ति (recoverability) निर्धारित करने के लिए एक गणितीय ढांचा स्थापित करता है, रैखिक और गैर-रैखिक प्रणालियों के लिए पहचान क्षमता (identifiability) और स्थिरता (stability) की स्थितियों का एक पूर्ण त्रिपदीकरण (trichotomy) व्युत्पन्न करता है, और स्पष्ट सीमाएं प्रदान करता है जो आंतरिक अल्प-निर्धारण (underdetermination) को एल्गोरिद्मिक परिवर्तनशीलता से अलग करती हैं।
मूल पेपर CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
आर्टिफिशियल इंटेलिजेंस की दुनिया में, एक मॉडल का मूल्यांकन अक्सर इस बात से किया जाता है कि वह भविष्य की कितनी अच्छी तरह भविष्यवाणी करता है। यदि कोई प्रणाली किसी रोगी के स्वास्थ्य परिणाम या किसी स्टॉक की कीमत का सटीक पूर्वानुमान लगा सकती है, तो हम उसके निर्णय पर भरोसा करने लगते हैं। लेकिन भविष्यवाणी में विश्वास करना, स्पष्टीकरण में विश्वास करने से अलग है। जब कोई मॉडल निर्णय लेता है, तो हम अक्सर जानना चाहते हैं कि क्यों। क्या इसने किसी विशिष्ट लक्षण पर भरोसा किया? क्या इसने एक कारक को दूसरे की तुलना में अधिक महत्व दिया? ये स्पष्टीकरण मशीन के तर्क को प्रकट करने के लिए होते हैं, जो उसके तर्क के भीतर एक खिड़की के रूप में कार्य करते हैं। हालाँकि, एक परेशान करने वाली वास्तविकता मौजूद है: दो अलग-अलग मॉडल हर एक मामले के लिए बिल्कुल एक ही भविष्यवाणी कर सकते हैं, फिर भी ऐसा करने के लिए पूरी तरह से अलग कारण बता सकते हैं। एक विशिष्ट विशेषता को दोष दे सकता है जबकि दूसरा उसे पूरी तरह से अनदेखा कर सकता है, भले ही दोनों सही उत्तर तक पहुँचते हों। यह एक मौलिक पहेली पैदा करता है: यदि दृश्य व्यवहार समान है, तो हम कभी भी कैसे सुनिश्चित हो सकते हैं कि कौन सा स्पष्टीकरण सत्य है?
यह प्रश्न एक नए अध्ययन के केंद्र में है जो एआई (AI) स्पष्टीकरणों की खोज को बेहतर सॉफ्टवेयर के मामले के रूप में नहीं, बल्कि भौतिकी और ज्यामिति की समस्या के रूप में देखता है। मॉर्गन स्टेट यूनिवर्सिटी के शोधकर्ता चिबुकैके चीदोजी इबेबुची ने इस मुद्दे को एक 'इनवर्स प्रॉब्लम' (inverse problem) के रूप में फ्रेम करके इस पर दृष्टिकोण बनाया। विज्ञान में, एक 'फॉरवर्ड प्रॉब्लम' पूछती है कि क्या होता है जब आप एक बटन दबाते हैं; एक 'इनवर्स प्रॉब्लम' पूछती है कि जो परिणाम आप देखते हैं उसे उत्पन्न करने के लिए मशीन के अंदर क्या हुआ होगा। अध्ययन यह पूछता है कि क्या भविष्यवाणी के "क्या" से उसके "क्यों" को विशिष्ट और स्थिर रूप से पुनः प्राप्त किया जा सकता है। लेखक का निष्कर्ष है कि इसका उत्तर सरल हाँ या ना नहीं है। इसके बजाय, स्पष्टीकरण की पुन: प्राप्ति पूरी तरह से उस डेटा के गणितीय आकार पर निर्भर करती है जिस पर मॉडल को प्रशिक्षित किया गया था। अध्ययन सिद्ध करता है कि कुछ प्रकार के प्रश्नों के लिए, उत्तर आँखों के सामने छिपा होता है, जबकि अन्य के लिए, उत्तर खोजना गणितीय रूप से असंभव है, चाहे आप कितना भी कंप्यूटिंग पावर क्यों न लगा दें।
शोधकर्ता ने स्पष्टीकरण की सीमाओं को मापने का एक सटीक तरीका विकसित किया। उन्होंने एक ऐसी स्थिति की कल्पना की जहाँ दो एआई सिस्टम इतने समान हैं कि उनकी भविष्यवाणियाँ केवल एक मामूली, लगभग अदृश्य मात्रा से भिन्न होती हैं। फिर उन्होंने पूछा: इन दो प्रणालियों के स्पष्टीकरणों में कितना अंतर हो सकता है? यदि भविष्यवाणियाँ लगभग एक जैसी होने पर भी स्पष्टीकरण बहुत अधिक बदल सकते हैं, तो स्पष्टीकरण अस्थिर है। यदि भविष्यवाणियाँ बिल्कुल एक समान होने पर भी स्पष्टीकरण पूरी तरह से अलग हो सकते हैं, तो स्पष्टीकरण अपरिभाषित (unidentifiable) है। अध्ययन इन अवस्थाओं के बीच एक स्पष्ट सीमा स्थापित करता है। यह दर्शाता है कि एक स्पष्टीकरण तभी पुनः प्राप्त किया जा सकता है जब वह डेटा की उन दिशाओं के साथ संरेखित हो जिन्हें मॉडल वास्तव में "देख" सकता है। यदि स्पष्टीकरण उस दिशा पर निर्भर है जिसे मॉडल नहीं देख सकता, तो वह स्पष्टीकरण हमेशा के लिए खो जाता है। यदि स्पष्टीकरण उस दिशा पर निर्भर है जिसे मॉडल देख तो सकता है लेकिन बहुत धुंधले रूप में, तो वह सिद्धांत में तो मौजूद है लेकिन शोर (noise) के प्रति इतना संवेदनशील है कि वह व्यावहारिक रूप से बेकार है।
रैखिक मॉडलों (linear models) के विशिष्ट मामले में, जो कई सांख्यिकीय अनुप्रयोगों में सामान्य हैं, लेखक ने इस अनिश्चितता के लिए एक पैमाना (ruler) के रूप में एक सटीक सूत्र निकाला है। यह सूत्र स्पष्टीकरण की स्थिरता को सीधे डेटा के संबंधों की ज्यामिति से जोड़ता है। जब डेटा की विशेषताएं अत्यधिक सह-संबंधित होती हैं, जिसे कोलिनेैरिटी (collinearity) कहा जाता है, तो यह पैमाना दिखाता है कि स्पष्टीकरण तेजी से अस्थिर होते जाते हैं। अध्ययन प्रदर्शित करता है कि जैसे-जैसे डेटा बिंदुओं के बीच सहसंबंध बढ़ता है, स्पष्टीकरण की अनिश्चितता भी बढ़ती जाती है, और यदि सहसंबंध पूर्ण हो जाए तो यह अनंत हो जाती है। शोधकर्ता ने इस सिद्धांत का परीक्षण कंप्यूटर सिमुलेशन के साथ किया। उन्होंने ऐसे परिदृश्य बनाए जहाँ डेटा संबंधों को पूरी तरह से स्पष्ट से लेकर लगभग पहचानना असंभव होने तक बदला गया। हर मामले में, कंप्यूटर का व्यवहार गणितीय भविष्यवाणी के साथ बिल्कुल मेल खाता था। जब डेटा सुव्यवस्थित था, तो स्पष्टीकरण स्थिर थे। जब डेटा अलग-अलग तरीकों से लगभग एक जैसा था, तो स्पष्टीकरण बेतहाशा अलग हो गए, जिससे पुष्टि हुई कि अस्थिरता सॉफ्टवेयर का बग नहीं बल्कि उपलब्ध जानकारी का एक मौलिक गुण है।
अध्ययन ने यह भी पता लगाया कि क्या होता है जब एआई निर्णयों को लेने के लिए अधिक जटिल, गैर-रैखिक (non-linear) नियमों का उपयोग करता है। कोई उम्मीद कर सकता है कि एक अधिक जटिल मॉडल अव्यवस्थित डेटा के कारण होने वाले भ्रम को सुलझा सकता है। हालाँकि, शोधकर्ता ने पाया कि जटिलता खोए हुए स्पष्टीकरण को बचाने में सक्षम नहीं है। यदि जानकारी पहली ही जगह से डेटा में गायब है, तो कोई भी गैर-रैखिक घुमाव उसे वापस नहीं ला सकता। अध्ययन सिद्ध करता है कि यदि कोई स्पष्टीकरण एक छिपे हुए चर (variable) पर निर्भर है जिसे मॉडल देख नहीं सकता, तो एक गैर-रैखिक मॉडल भी इसे पहचानने में विफल रहेगा। स्पष्टीकरण उतना ही अदृश्य बना रहता है जितना कि सरल रैखिक मामले में था। यह निष्कर्ष महत्वपूर्ण है क्योंकि यह इस विचार को खारिज करता है कि अधिक जटिल एल्गोरिदम उन समस्याओं को हल कर सकते हैं जो मौलिक रूप से डेटा द्वारा अपर्याप्त रूप से निर्धारित (underdetermined) हैं।
इसके अलावा, अनुसंधान 'ट्रांसफर' (transfer) के मुद्दे को संबोधित करता है, यह पूछते हुए कि क्या एक स्पष्टीकरण जो एक स्थिति में काम करता है, वह तब भी कायम रहेगा जब डेटा थोड़ा बदल जाता है। लेखक ने पाया कि स्थिरता डेटा में छोटे बदलावों से सुनिश्चित नहीं होती है। यदि अंतर्निहित डेटा वितरण थोड़ा भी बदलता है, तो एक स्पष्टीकरण जो कभी स्थिर था, अचानक पुनः प्राप्त करना असंभव हो सकता है। ऐसा तब होता है जब डेटा का बदलाव समस्या को उस सीमा की ओर धकेल देता है जहाँ सूचना लुप्त हो जाती है। अध्ययन एक विशिष्ट स्थिति, एक "स्पेक्ट्रल मार्जिन" (spectral margin) प्रदान करता है, जिसे यह सुनिश्चित करने के लिए बनाए रखना आवश्यक है कि एक डेटासेट से दूसरे में जाने पर स्पष्टीकरण विश्वसनीय बने रहें। इस मार्जिन के बिना, डेटा में एक सूक्ष्म परिवर्तन भी मॉडल के व्यवहार को समझाने की क्षमता को नष्ट कर सकता है।
कार्य इस बात पर निष्कर्ष निकालता है कि हमें व्याख्यात्मक कृत्रिम बुद्धिमत्ता (explainable AI) के प्रति अपने दृष्टिकोण को कैसे बदलना चाहिए। केवल सबसे अच्छे एल्गोरिदम को खोजने के बजाय, अध्ययन सुझाव देता है कि हमें पहले यह पूछना चाहिए कि क्या स्पष्टीकरण खोजना संभव भी है या नहीं। किसी फीचर एट्रिब्यूशन या संवेदनशीलता स्कोर पर भरोसा करने से पहले, हमें यह निर्धारित करना चाहिए कि क्या उस स्पष्टीकरण को उत्पन्न करने के लिए आवश्यक जानकारी वास्तव में अवलोकन योग्य भविष्यवाणियों में मौजूद है। अध्ययन एल्गोरिदम के चयन के कारण होने वाली परिवर्तनशीलता को डेटा के कारण होने वाली अंतर्निहित अनिश्चितता से अलग करता है। यह जानने के लिए एक गणितीय आधार प्रदान करता है कि कब एक स्पष्टीकरण का दावा साक्ष्य द्वारा समर्थित है और कब वह मौलिक रूप से अपर्याप्त रूप से निर्धारित है। सीमाओं को परिभाषित करके, यह शोध आर्टिफिशियल इंटेलिजेंस में विश्वास बनाने के लिए एक आवश्यक आधार प्रदान करता है, यह सुनिश्चित करता है कि हम एक स्थिर एल्गोरिदम को एक स्थिर सत्य समझने की गलती न करें।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।