Concurrent MetateM
سمورتی میٹیٹ ایم ایک کثیر ایجنٹ والی زبان ہے جس میں ہر ایجنٹ کو اس رویے کی (بڑھا ہوا) عارضی منطق کی خصوصیات کے ایک سیٹ کا استعمال کرتے ہوئے پروگرام کیا جاتا ہے جس کی اسے نمائش کرنی چاہیے۔ یہ وضاحتیں ایجنٹ کے رویے کو پیدا کرنے کے لیے براہ راست انجام دی جاتی ہیں۔ نتیجے کے طور پر، منطق کو کالعدم قرار دینے کا کوئی خطرہ نہیں ہے جیسا کہ نظاموں کے ساتھ ہے جہاں منطقی تفصیلات کو پہلے نچلی سطح کے نفاذ میں ترجمہ کیا جانا چاہیے۔ میٹیٹ ایم تصور کی جڑ گابی کا علیحدگی نظریہ ہے۔ کسی بھی صوابدیدی عارضی منطق فارمولے کو منطقی طور پر مساوی ماضی → مستقبل کی شکل میں دوبارہ لکھا جا سکتا ہے۔ پھانسی ایک تاریخ کے خلاف مسلسل مماثل اصولوں کے عمل کے ذریعے جاری رہتی ہے، اور ان اصولوں کو اس وقت چلاتی ہے جب ماضی مطمئن ہو۔ مستقبل کے وقت کے کوئی بھی فوری نتائج وعدے بن جاتے ہیں جنہیں بعد میں پورا کیا جانا چاہیے، پروگرام کے قواعد سے بنے فارمولے کے لیے بار بار ایک ماڈل تیار کرنا۔ عارضی کنیکٹیوز سمورتی میٹیٹ ایم کے عارضی کنیکٹیوز کو دو زمروں میں تقسیم کیا جا سکتا ہے، جیسا کہ مندرجہ ذیل ہے: سخت ماضی کے وقت کے کنیکٹیوز: '●' (کمزور آخری)، 'Â' (مضبوط آخری)، 'Â' (تھا)، 'Â' (پہلے سے)، S (چونکہ)، اور Z (زن، یا کمزور کے بعد سے)۔ موجودہ اور مستقبل کے وقت کے جوڑنے والے: '(اگلا)،' (کبھی کبھی)، '(ہمیشہ)، U (تک)، اور W (جب تک کہ)۔ کنیکٹیوز (کنیکٹیوز) یونری ہیں ؛ بائنری بائنری ہیں۔ سخت ماضی کے وقت کے کنیکٹیوز کمزور آخری ρ اب مطمئن ہیں اگر ρ پچھلے وقت میں درست تھا۔ اگر ρ کی تشریح وقت کے آغاز میں کی جاتی ہے، تو یہ حقیقی پچھلا وقت نہ ہونے کے باوجود مطمئن ہوتا ہے۔ لہذا "کمزور" آخری۔ مضبوط آخری ρ اب مطمئن ہے اگر ρ پچھلے وقت میں درست تھا۔ اگر ρ کی تشریح وقت کے آغاز میں کی جاتی ہے، تو یہ مطمئن نہیں ہے کیونکہ کوئی حقیقی پچھلا وقت نہیں ہے۔ لہذا "مضبوط" آخری۔ کیا اب ρ مطمئن ہے اگر ρ وقت کے کسی بھی پچھلے لمحے میں درست تھا۔ اگر ρ وقت کے ہر پچھلے لمحے میں درست تھا تو ہیریٹوفور κρ اب مطمئن ہے۔ چونکہ ρSsi اب مطمئن ہے اگر si کسی پچھلے لمحے سچ ہے اور ρ اس لمحے کے بعد ہر لمحے سچ ہے۔ زنس، یا کمزور چونکہ ρZsi اب مطمئن ہے اگر (si پچھلے کسی بھی لمحے سچ ہے اور ρ اس لمحے کے بعد ہر لمحے سچ ہے) یا si ماضی میں نہیں ہوا ہے۔ موجودہ اور مستقبل کے وقت کے کنیکٹیوز اگلا ρ اب مطمئن ہے اگر ρ وقت کے اگلے لمحے میں درست ہے۔ کبھی کبھی ρ اب مطمئن ہوتا ہے اگر ρ ابھی سچ ہے یا وقت کے کسی بھی مستقبل کے لمحے میں۔ ہمیشہ ρ اب مطمئن ہوتا ہے اگر ρ ابھی اور مستقبل کے ہر لمحے میں درست ہے۔ جب تک کہ ρUsi اب مطمئن نہ ہو اگر si مستقبل کے کسی بھی لمحے میں درست ہے اور ρ اس سے پہلے کے ہر لمحے میں درست ہے۔ جب تک کہ ρWsi اب مطمئن نہ ہو اگر (si مستقبل کے کسی بھی لمحے سچ ہے اور ρ اس سے پہلے ہر لمحے سچ ہے) یا si مستقبل میں نہیں ہوتا ہے۔ حوالہ جات بیرونی روابط میٹیٹ ایم مترجم کا جاوا نفاذ یہاں سے ڈاؤن لوڈ کیا جا سکتا ہے مصنوعی ذہانت