لغة Concurrent MetateM هي لغة تعدد الوكلاء (multi-agent) حيث يتم برمجة كل وكيل باستخدام مجموعة من المواصفات المنطقية الزمنية المعززة (augmented temporal logic specifications) للسلوك الذي يجب أن يظهره. يتم تنفيذ هذه المواصفات مباشرة لتوليد سلوك الوكيل، مما يعني عدم وجود مخاطر لإبطال اللوجيك كما هو الحال في الأنظمة التي يجب فيها ترجمة المواصفات المنطقية أولاً إلى تنفيذ على مستوى أقل. جذر مفهوم MetateM هو مبرهنة الفصل لـ Gabbay؛ حيث يمكن إعادة كتابة أي صيغة منطقية زمنية تمامًا في شكل ماضٍ → مستقبل معقول منطقيًا. يتم تنفيذ التنفيذ عن طريق عملية مطابقة مستمرة للقواعد مقابل تاريخ، وتشغيل تلك القواعد عندما يتم تحقيق الشروط السابقة. أي عواقب مستقبلية موضوعة تصبح التزامات يجب أن تُرضى فيما بعد، مما يولد نموذجًا تفاعليًا للصيغة يتكون من قواعد البرنامج. تتضمن ميزات هذه اللغة إمكانية وجود تعليقات (comments) وتنسيق دلالي للتباعد (semantic indentation) وتعليقات السطر (line comments). تم تطوير هذه اللغة في جامعة Manchester Metropolitan University، ويمكن العثور على معلومات إضافية عنها في الرابط التالي: ويكيبيديا.
0
