Concurrent MetateM
সমবর্তী মেটাটেম একটি বহু-এজেন্ট ভাষা যেখানে প্রতিটি এজেন্টকে আচরণের (বর্ধিত) সাময়িক যুক্তি নির্দিষ্টকরণের একটি সেট ব্যবহার করে প্রোগ্রাম করা হয় যা এটি প্রদর্শন করা উচিত। এজেন্টের আচরণ তৈরি করতে এই নির্দিষ্টকরণগুলি সরাসরি কার্যকর করা হয়। ফলস্বরূপ, পদ্ধতিগুলির মতো যুক্তিটিকে অকার্যকর করার কোনও ঝুঁকি নেই যেখানে যৌক্তিক নির্দিষ্টকরণকে প্রথমে নিম্ন-স্তরের বাস্তবায়নে অনুবাদ করতে হবে। মেটাটেম ধারণার মূল হল গ্যাবের পৃথকীকরণ উপপাদ্য; যে কোনও স্বেচ্ছাচারী সাময়িক যুক্তি সূত্রকে যৌক্তিকভাবে সমতুল্য অতীত-ভবিষ্যতের আকারে পুনর্লিখন করা যেতে পারে। একটি ইতিহাসের সঙ্গে নিয়মগুলির ক্রমাগত মিল থাকার প্রক্রিয়া এবং পূর্বসূরীরা সন্তুষ্ট হলে সেই নিয়মগুলি কার্যকর করার মাধ্যমে মৃত্যুদন্ড কার্যকর করা হয়। ভবিষ্যতের যে কোনও তাৎক্ষণিক পরিণতি প্রতিশ্রুতি হয়ে ওঠে যা পরবর্তীকালে অবশ্যই সন্তুষ্ট হতে হবে, পুনরাবৃত্তভাবে প্রোগ্রামের নিয়মগুলির সমন্বয়ে গঠিত সূত্রের জন্য একটি মডেল তৈরি করে। অস্থায়ী সংযোগগুলি সমবর্তী মেটাটেমের অস্থায়ী সংযোগগুলি দুটি বিভাগে বিভক্ত করা যেতে পারে, নিম্নরূপঃ কঠোর অতীত সময়ের সংযোগগুলিঃ 'Â' (দুর্বল শেষ), 'Â' (শক্তিশালী শেষ), 'Â' (ছিল), 'Â' (পূর্বে), এস (থেকে), এবং জেড (জিন্স, বা দুর্বল থেকে)। বর্তমান এবং ভবিষ্যতের সময় সংযোগকারীঃ '(পরবর্তী),' (কখনও কখনও), '(সর্বদা), ইউ (পর্যন্ত), এবং ডাব্লু (যদি না হয়)। সংযোগকারীগুলি হল ইউনারি; বাকিগুলি বাইনারি। কঠোর অতীত সময়ের সংযোগকারী দুর্বল শেষ ρ এখন সন্তুষ্ট হয় যদি ρ আগের সময়ে সত্য হয়। যদি সময়ের শুরুতে ρ ব্যাখ্যা করা হয়, তবে প্রকৃত পূর্ববর্তী সময় না থাকা সত্ত্বেও এটি সন্তুষ্ট হয়। তাই "দুর্বল" শেষ। শক্তিশালী শেষ ρ এখন সন্তুষ্ট হয় যদি ρ আগের সময়ে সত্য হয়। যদি সময়ের শুরুতে ρ ব্যাখ্যা করা হয়, তবে এটি সন্তুষ্ট হয় না কারণ প্রকৃত পূর্ববর্তী সময় নেই। তাই "শক্তিশালী" শেষ। যদি ρ সময়ের কোনও পূর্ববর্তী মুহুর্তে সত্য হয় তবে এখন ρ সন্তুষ্ট হয়। পূর্ববর্তী সময়ের প্রতিটি মুহুর্তে যদি ρ সত্য হয় তবে এ পর্যন্ত κρ এখন সন্তুষ্ট। যেহেতু ρSsi এখন সন্তুষ্ট হয় যদি si আগের যে কোনও মুহূর্তে সত্য হয় এবং ρ সেই মুহূর্তের পরের প্রতিটি মুহূর্তে সত্য হয়। জিন্স, বা দুর্বল যেহেতু ρZsi এখন সন্তুষ্ট হয় যদি (পূর্ববর্তী যে কোনও মুহুর্তে si সত্য হয় এবং ρ সেই মুহুর্তে পরবর্তী প্রতিটি মুহুর্তে সত্য হয়) অথবা si অতীতে ঘটেনি। বর্তমান এবং ভবিষ্যতের সময় সংযোগকারী পরবর্তী ρ এখন সন্তুষ্ট হয় যদি ρ পরবর্তী সময়ে সত্য হয়। কখনও কখনও ρ এখন সন্তুষ্ট হয় যদি ρ এখন বা ভবিষ্যতের কোনও মুহুর্তে সত্য হয়। সর্বদা ρ এখন সন্তুষ্ট হয় যদি ρ এখন এবং ভবিষ্যতের প্রতিটি মুহুর্তে সত্য হয়। যতক্ষণ না ρUsi এখন সন্তুষ্ট হয় যদি si ভবিষ্যতের যে কোনও মুহুর্তে সত্য হয় এবং ρ আগের প্রতিটি মুহুর্তে সত্য হয়। যদি না ρWsi এখন সন্তুষ্ট হয় যদি (ভবিষ্যতের যে কোনও মুহুর্তে si সত্য হয় এবং ρ পূর্বের প্রতিটি মুহুর্তে সত্য হয়) অথবা si ভবিষ্যতে ঘটে না। তথ্যসূত্র বাহ্যিক লিঙ্ক একটি মেটাটেম ইন্টারপ্রেটারের জাভা বাস্তবায়ন এখান থেকে ডাউনলোড করা যেতে পারে কৃত্রিম বুদ্ধিমত্তা