गतिशील तर्क और लौकिक तर्क के बीच का अंतर


12

अंतर जानने के लिए, मैं सिर्फ में लौकिक तर्क के बारे में नीचे वक्तव्य दिये का सामना करना पड़ा था विकिपीडिया :

गतिशील तर्क के साथ कई सामान्य विशेषताओं को साझा करने वाले मोडल लॉजिक का एक और प्रकार, उपर्युक्त सभी लॉजिक्स से भिन्न होता है, जिसे पुनेली ने "अंतर्जात" तर्क के रूप में चित्रित किया है, अन्य को "बहिर्जात" लॉजिक माना जाता है। इसके द्वारा पन्नेली का अर्थ था कि लौकिक तर्क के सिद्धांतों की व्याख्या एक सार्वभौमिक व्यवहारिक ढांचे के भीतर की जाती है जिसमें एक एकल वैश्विक स्थिति समय बीतने के साथ बदल जाती है, जबकि दूसरे लॉगिक्स के अभिकथन बाहरी क्रियाओं के लिए किए जाते हैं जिनके बारे में वे बोलते हैं। अंतर्जात दृष्टिकोण का लाभ यह है कि समय के साथ पर्यावरण में परिवर्तन के कारण क्या होता है, इसके बारे में कोई मौलिक धारणा नहीं है। इसके बजाय एक लौकिक तर्क सूत्र एक प्रणाली के दो असंबंधित भागों के बारे में बात कर सकता है, जो कि क्योंकि वे असंबंधित tacitly समानांतर में विकसित होते हैं। वास्तव में लौकिक अभिकथनों की साधारण तार्किक परिणति लौकिक तर्क का समवर्ती रचना संचालक है। समसामयिकता के लिए इस दृष्टिकोण की सादगी के परिणामस्वरूप सामयिक तर्क के समकालिक तर्क, हस्तक्षेप, स्वतंत्रता, गतिरोध, लाइवलॉक, निष्पक्षता, आदि के साथ समवर्ती प्रणालियों के बारे में तर्क के लिए तार्किक तर्क का परिणाम है।

मैं अंतर महसूस नहीं कर सका, काफी। क्या डायनेमिक लॉजिक हर बार-संचालित पहलू को तर्कों के साथ-साथ लौकिक लॉजिक में शामिल नहीं कर सकता है?

या समवर्ती प्रणालियों को संभालने के लिए गतिशील क्यों नहीं माना जाता है?

क्या आप कृपया मामले को स्पष्ट करेंगे?

जवाबों:


0

ठीक है, डायनेमिक लॉजिक में ऐसे एक्शन जोड़े जाते हैं जो निर्दिष्ट करते हैं कि किसी क्रिया के बाद क्या मोडल स्थिति मौजूद होनी चाहिए, लेकिन जिस तरह से यह एक्शन निर्दिष्ट है। लौकिक तर्क में मोडल पहलू पर जोर नहीं दिया जाता है। उदाहरण के लिए, अगर हम डायनामिक एलेथिक लॉजिक मानते हैं, तो एलेथिक बिट लौकिक लॉजिक से गायब होगा। आशा है कि ये आपकी मदद करेगा।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.