Concurrent MetateM
समवर्ती मेटाटएम एक बहु-अभिकर्ता भाषा है जिसमें प्रत्येक अभिकर्ता को उस व्यवहार के (संवर्धित) लौकिक तर्क विनिर्देशों के एक समूह का उपयोग करके क्रमादेशित किया जाता है जिसे उसे प्रदर्शित करना चाहिए। एजेंट के व्यवहार को उत्पन्न करने के लिए इन विनिर्देशों को सीधे निष्पादित किया जाता है। नतीजतन, तर्क को अमान्य करने का कोई जोखिम नहीं है जैसा कि प्रणालियों के साथ है जहां तार्किक विनिर्देश को पहले निचले स्तर के कार्यान्वयन में अनुवादित किया जाना चाहिए। मेटाटएम अवधारणा की जड़ गैबे का पृथक्करण प्रमेय है; किसी भी मनमाने लौकिक तर्क सूत्र को तार्किक रूप से समतुल्य अतीत → भविष्य के रूप में फिर से लिखा जा सकता है। निष्पादन एक इतिहास के खिलाफ नियमों का लगातार मिलान करने और पूर्वजों के संतुष्ट होने पर उन नियमों को लागू करने की प्रक्रिया द्वारा आगे बढ़ता है। भविष्य के किसी भी तात्कालिक परिणाम प्रतिबद्धता बन जाते हैं जिन्हें बाद में संतुष्ट किया जाना चाहिए, कार्यक्रम के नियमों से बने सूत्र के लिए एक मॉडल को बार-बार उत्पन्न करना चाहिए। समवर्ती संयोजक समवर्ती मेटाटएम के समवर्ती संयोजकों को दो श्रेणियों में विभाजित किया जा सकता है, निम्नानुसारः सख्त पिछले समय संयोजकः '●' (कमजोर अंतिम), '′' (मजबूत अंतिम), 'Â' (था), 'Â' (पहले से), S (से), और Z (जिंस, या कमजोर से)। वर्तमान और भविष्य के समय के संयोजकः '(अगला),' (कभी-कभी), '(हमेशा), यू (तक), और डब्ल्यू (जब तक नहीं)। संयोजी एकात्मक हैं; शेष द्विआधारी हैं। सख्त पिछले समय के संयोजक पिछले कमजोर ρ अब संतुष्ट हैं यदि ρ पिछले समय में सही था। यदि समय की शुरुआत में ρ की व्याख्या की जाती है, तो वास्तविक पिछला समय नहीं होने के बावजूद यह संतुष्ट होता है। इसलिए "कमजोर" अंतिम। मजबूत अंतिम ρ अब संतुष्ट है यदि ρ पिछले समय में सही था। यदि समय की शुरुआत में ρ की व्याख्या की जाती है, तो यह संतुष्ट नहीं होता है क्योंकि कोई वास्तविक पिछला समय नहीं है। इसलिए "मजबूत" अंतिम। यदि ρ समय में किसी भी पिछले क्षण में सही था तो क्या ¬ρ अब संतुष्ट था। अगर ρ समय के हर पिछले क्षण में सही था, तो अब पहले से κ ρ संतुष्ट है। चूँकि ρSsi अब संतुष्ट है यदि si किसी भी पिछले क्षण में सही है और ρ उस क्षण के बाद हर क्षण सही है। जिंस, या ρZsi के बाद से कमजोर अब संतुष्ट है यदि (si किसी भी पिछले क्षण में सही है और ρ उस क्षण के बाद हर क्षण सही है) या si अतीत में नहीं हुआ है। वर्तमान और भविष्य के समय के संयोजक अगला ρ अब संतुष्ट है यदि ρ समय में अगले क्षण में सही है। कभी-कभी ρ अब संतुष्ट होता है यदि ρ अभी या भविष्य के किसी भी क्षण में सही है। हमेशा ρ अब संतुष्ट होता है यदि ρ अभी और समय के हर भविष्य के क्षण में सही है। जब तक ρUsi अब संतुष्ट नहीं हो जाता है यदि si भविष्य के किसी भी क्षण में सही है और ρ पहले के हर क्षण में सही है। जब तक कि ρWsi अब संतुष्ट नहीं होता है यदि (si भविष्य के किसी भी क्षण में सही है और ρ हर क्षण पहले सही है) या si भविष्य में नहीं होता है। संदर्भ बाहरी लिंक एक मेटाटेम दुभाषिया का जावा कार्यान्वयन यहाँ से डाउनलोड किया जा सकता है कृत्रिम बुद्धिमत्ता