Modeling Deontic Modal Logic in ASP

कल्पना कीजिए कि आप एक कंप्यूटर के मस्तिष्क के भीतर चल रहे एक विशाल, अदृश्य "क्या होगा अगर?" (What If?) खेल के रेफरी हैं। तर्क की दुनिया में, नियमों के बारे में बात करने के दो मुख्य तरीके हैं। पहला एक सख्त गणितीय समीकरण की तरह है: "यदि A सत्य है, तो B का सत्य होना अनिवार्य है।" यह शास्त्रीय तर्क (classical logic) है, और यह तथ्यों के लिए बेहतरीन है। लेकिन दूसरा तरीका बहुत अधिक मानवीय है: "आपको B करना चाहिए," या "A करना वर्जित है," या "आपको B करने की अनुमति है।" यह डियोन्टिक लॉजिक (deontic logic) है (ग्रीक शब्द 'कर्तव्य' से लिया गया है)। यह नियमों, कानूनों और नैतिक दायित्वों का तर्क है। पेचीदा हिस्सा यह है कि वास्तविक जीवन अव्यवस्थित है। कभी-कभी आप कुछ करने के लिए बाध्य होते हैं, लेकिन आप कर नहीं पाते। कभी-कभी आपको कुछ करने से रोका जाता है, लेकिन आप फिर भी कर देते हैं। दशकों से, कंप्यूटर वैज्ञानिक और दार्शनिकों ने कंप्यूटर को इन "होना चाहिए" और "वर्जित है" को समझने के लिए प्रशिक्षित करने के संघर्ष किया है, बिना उन्हें तार्किक विरोधाभासों में उलझाए या क्रैश किए।

यह शोध पत्र, जिसका शीर्षक "Modeling Deontic Modal Logic in ASP" है, ठीक इसी समस्या को हल करता है। लेखक, जो अमेरिका और स्पेन के शोधकर्ताओं की एक टीम है, कंप्यूटर को नियम और दायित्वों को समझाने का एक चतुर नया तरीका प्रस्तावित करते हैं। वे Answer Set Programming (ASP) नामक एक प्रोग्रामिंग भाषा का उपयोग करते हैं, जो पहले से ही "क्या होगा अगर" वाले परिदृश्यों और अपूर्ण जानकारी को संभालने की अपनी क्षमता के लिए प्रसिद्ध है। शोध पत्र का तर्क है कि नियमों को कठोर आदेशों के रूप में नहीं, बल्कि वैश्विक बाधाओं (global constraints) (जैसे कि नियम टूटने पर बजने वाली रेफरी की सीटी) के रूप में मानकर, कंप्यूटर अंततः उन पुराने, दशकों पुराने पहेलियों को हल कर सकते हैं जिन्होंने तर्कशास्त्रियों को उलझा रखा था। वे दिखाते हैं कि यह विधि प्रसिद्ध तार्किक जाल, जैसे कि "कंट्ररी-टू-ड्यूटी" (Contrary-to-Duty) विरोधाभास को खूबसूरती से ठीक करती है, जहाँ एक नियम स्वयं से विरोधाभासी प्रतीत होता है जब कोई व्यक्ति पिछले नियम का पालन करने में विफल रहता है।

"होना चाहिए" और "अनिवार्य है" का जादू

लेखकों द्वारा जो किया गया है उसे समझने के लिए, हमें पहले इस कहानी के दो मुख्य पात्रों से मिलना होगा: दायित्व (Obligation) और अनुमति (Permission)। रोजमर्रा की जिंदगी में, हम जानते हैं कि "सूर्य का उदय होना आवश्यक है" (प्रकृति का एक तथ्य) और "आपको अपनी लाइब्रेरी की किताब वापस करनी चाहिए" (एक नियम जिसे आप तोड़ सकते हैं) के बीच क्या अंतर है। तर्क की दुनिया में, पहला alethic (सत्य और आवश्यकता के बारे में) कहलाता है, और दूसरा deontic (कर्तव्य और मानदंडों के बारे में) कहलाता है।

लेखकों ने देखा कि कंप्यूटरों के पास इन विभिन्न प्रकार की सोच को संभालने के लिए पहले से ही दो विशेष उपकरण हैं, लेकिन उनका उपयोग गलत तरीके से किया जा रहा था।

1. स्ट्रॉन्ग नेगेशन (Strong Negation): यह एक सख्त "नहीं" की तरह है। यदि एक कंप्यूटर कहता है "बारिश नहीं हो रही है" (स्ट्रॉन्ग नेगेशन), तो इसका अर्थ है कि उसके पास प्रमाण है कि निश्चित रूप से बारिश नहीं हो रही है। यह एक तथ्य है।
2. डिफ़ॉल्ट नेगेशन (Default Negation - Negation-as-Failure): यह एक "शायद नहीं" की तरह है। यदि एक कंप्यूटर कहता है "बारिश नहीं हो रही है" (डिफ़ॉल्ट नेगेशन), तो इसका मतलब केवल यह है कि उसने इस बात का कोई प्रमाण नहीं पाया है कि बारिश हो रही है। यह लापता जानकारी के आधार पर एक अनुमान है।

शोध पत्र का बड़ा विचार इन दोनों कंप्यूटर उपकरणों को सीधे दो प्रकार के तर्क से जोड़ना है। वे सुझाव देते हैं कि जब हम "यह आवश्यक है कि P" (एक तथ्य) के बारे में बात करते हैं, तो हम स्ट्रॉन्ग नेगेशन का उपयोग करते हैं। लेकिन जब हम "यह आवश्यक नहीं है कि P" (जिसका अर्थ है कि P गलत हो सकता है, या हमें बस पता नहीं है) के बारे में बात करते हैं, तो हम डिफ़ॉल्ट नेगेशन का उपयोग करते हैं। यह सरल बदलाव कंप्यूटर को एक कठोर तथ्य और एक ऐसे नियम के बीच अंतर करने की अनुमति देता जिसे तोड़ा जा सकता है।

"रेफरी" दृष्टिकोण

इस शोध पत्र का सबसे रचनात्मक हिस्सा यह है कि वे दायित्वों को कैसे संभालते हैं। कई पुराने सिस्टम में, "आपको कार वापस करनी चाहिए" जैसा दायित्व एक ऐसे आदेश के रूप में माना जाता था जो कंप्यूटर को कार वापस करने के लिए मजबूर करता है। लेकिन क्या होगा यदि कार चोरी हो गई हो? कंप्यूटर क्रैश हो जाएगा क्योंकि वह कार वापस करने के लिए मजबूर नहीं कर सकता।

लेखक एक अलग दृष्टिकोण प्रस्तावित करते हैं: दायित्वों को वैश्विक बाधाओं (Global Constraints) (या "डिनायल") के रूप रूप में मानना। एक फुटबॉल खेल में रेफरी की कल्पना करें। रेफरी खिलाड़ियों को गोल करने के लिए मजबूर नहीं करता; रेफरी केवल तभी सीटी बजाता है जब फाउल होता है। लेखकों के सिस्टम में, एक दायित्व ऐसा आदेश नहीं है जो किसी चीज़ को सच होने के लिए मजबूर करे; यह एक नियम है जो कहता है, "यदि आप एक ऐसी दुनिया में हैं जहाँ यह नियम टूटा हुआ है, तो वह दुनिया अमान्य है।"

उदाहरण के लिए, यदि नियम है "आपको सीट बेल्ट पहननी चाहिए," तो कंप्यूटर आपको इसे पहनने के लिए मजबूर नहीं करता है। इसके बजाय, यह एक बाधा स्थापित करता है: "कोई भी दुनिया जहाँ आप बिना सीट बेल्ट के गाड़ी चला रहे हैं, उसे बाहर निकाल दिया जाएगा।" यदि आप गाड़ी चला रहे हैं और आपके पास सीट बेल्ट नहीं है, तो कंप्यूटर बस कहता है, "यह परिदृश्य इन नियमों के तहत असंभव है," और एक अलग परिदृश्य की तलाश करता है जहाँ आपके पास सीट बेल्ट है। लेकिन, महत्वपूर्ण रूप से, यदि आपके पास इसे न पहनने का वैध कारण है (जैसे चिकित्सा आपात स्थिति), तो कंप्यूटर उस नियम को "प्रीएम्प्ट" (पूर्ववर्तित) कर सकता है। यह उस विशिष्ट स्थिति के लिए बाधा को हटा देता है, जिससे वह परिदृश्य बिना क्रैश हुए अस्तित्व में रह सकता है।

"चिशोम" पहेली का समाधान

यह शोध पत्र कंट्ररी-टू-ड्यूटी विरोधाभास (जिसे चिशोम का विरोधाभास भी कहा जाता है) को हल करके सबसे अधिक चमकता है। यह एक प्रसिद्ध तार्किक सिरदर्द है जो इस प्रकार है:

1. आपको पार्टी में जाना चाहिए।
2. यदि आप जाते हैं, तो आपको अपनी माँ को बताना चाहिए।
3. यदि आप नहीं जाते हैं, तो आपको अपनी माँ को नहीं बताना चाहिए।
4. आप नहीं जाते हैं।

पुराने तर्क प्रणालियों में, यह एक गड़बड़ी पैदा करता है। कंप्यूटर यह पता लगाने की कोशिश करता है कि आपको अपनी माँ को बताना चाहिए या नहीं, और अंत में एक विरोधाभास उत्पन्न होता है: आपको उन्हें बताना भी चाहिए और नहीं भी। यह एक रोबोट के सिरदर्द जैसा है।

लेखक दिखाते हैं कि उनका "रेफरी" तरीका इसे तुरंत हल कर देता है। वे नियमों को बाधाओं के रूप में सेट करते हैं:

• बाधा 1: यदि आप नहीं जाते हैं, तो आप अपनी माँ को नहीं बता सकते।
• बाधा 2: यदि आप जाते हैं, तो आपको अपनी माँ को बताना चाहिए।

जब कंप्यूटर देखता है कि आप नहीं गए (तथ्य 4), तो वह बाधाओं की जाँच करता है। वह देखता है कि बाधा 2 ( "यदि आप जाते हैं" वाला नियम) लागू नहीं होती क्योंकि शर्त पूरी नहीं हुई है। फिर वह बाधा 1 को देखता है। चूंकि आप नहीं गए, इसलिए नियम कहता है "मत बताओ।" कंप्यूटर आसानी से एक ऐसी वैध दुनिया खोज लेता है जहाँ आप नहीं गए और आपने अपनी माँ को नहीं बताया। कोई विरोधाभास नहीं, कोई सिरदर्द नहीं। "विरोधाभास" गायब हो जाता है क्योंकि नियमों को लचीली बाधाओं के रूप में माना जाता है जो केवल तभी लागू होती हैं जब उनकी शर्तें पूरी होती हैं, न कि कठोर आदेशों के रूप में जो एक-दूसरे से लड़ते हैं।

यह क्यों मायने रखता है

लेखक केवल एक पहेली को हल नहीं करते हैं; वे दिखाते हैं कि यह विधि "फॉरेस्टर के विरोधाभास" और "सार्त्र के दुविधा" सहित पूरे तार्किक समस्याओं के परिवार के लिए काम करती है। वे प्रदर्शित करते हैं कि Answer Set Programming का उपयोग करके, जिसमें "क्या होगा अगर" परिदृश्यों और "अपवादों" को संभालने की अंतर्निहित क्षमता है, हम जटिल नैतिक और कानूनी प्रणालियों को पहले की तुलना में बहुत अधिक स्वाभाविक रूप से मॉडल कर सकते हैं।

वे यह भी दिखाते हैं कि यह "द्वितीयक दायित्वों" (secondary obligations) को कैसे संभालता है। कल्पना कीजिए कि आपने अपने दोस्त की कार उधार ली है। आपके पास एक मुख्य नियम है: "कार वापस करें।" लेकिन कुछ द्वितीयक नियम भी हैं: "इसे दोपहर से पहले वापस करें" और "इसे फुल बैटरी के साथ वापस करें।" यदि आप कार दुर्घटनाग्रस्त कर देते हैं (मुख्य नियम का उल्लंघन), तो द्वितीयक नियम बदल सकते हैं या गायब हो सकते हैं। लेखक दिखाते हैं कि उनका सिस्टम इन नियमों को स्वचालित रूप से कैसे "प्रीएम्प्ट" कर सकता है। यदि कार क्षतिग्रस्त हो जाती है, तो "दोपहर से पहले वापस करें" वाली बाधा हटा दी जाती है क्योंकि शर्त (वापस करने के लिए कार होना) समाप्त हो गई है। कंप्यूटर भ्रमित नहीं होता; वह बस वैध दुनियाओं की सूची को अपडेट कर देता है।

निष्कर्ष

यह शोध पत्र यह दावा नहीं करता है कि इसने नैतिकता या कानून की हर समस्या को हल कर लिया है। इसके बजाय, यह नियमों को समझने वाले सिस्टम बनाने के लिए एक स्वच्छ, सुरुचिपूर्ण टूलकिट प्रदान करता है। यह साबित करता है कि "होना चाहिए" को वास्तविकता बदलने के आदेशों के बजाय संभावित दुनियाओं पर बाधाओं के रूप में मानकर, हम ऐसे कंप्यूटर बना सकते हैं जो नियमों के बारे में उसी तरह तर्क करते हैं जैसे मनुष्य करते हैं: लचीलेपन के साथ, अपवादों के साथ, और बिना किसी तार्किक लूप में फंसे। लेखक सुझाव देते हैं कि यह दृष्टिकोण पिछले तरीकों की तुलना में अधिक सरल और सीधा है, जिन्हें अक्सर तर्क को काम करने के लिए जटिल नए गणित या "प्रतिबंधों" (दंडों) की आवश्यकता होती थी। Answer Set Programming में पहले से उपलब्ध उपकरणों का उपयोग करके, उन्होंने दिखाया है कि मानव-समान नियमों को समझने का मार्ग हमारी सोच से कहीं अधिक छोटा और सीधा हो सकता है।