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