Action language
কম্পিউটার বিজ্ঞানে, একটি ক্রিয়া ভাষা হল রাষ্ট্র পরিবর্তন ব্যবস্থা নির্দিষ্ট করার জন্য একটি ভাষা, এবং সাধারণত বিশ্বের উপর ক্রিয়াগুলির প্রভাবগুলির আনুষ্ঠানিক মডেল তৈরি করতে ব্যবহৃত হয়। অ্যাকশন ভাষাগুলি সাধারণত কৃত্রিম বুদ্ধিমত্তা এবং রোবোটিক্স ডোমেনে ব্যবহৃত হয়, যেখানে তারা বর্ণনা করে যে কীভাবে ক্রিয়াগুলি সময়ের সাথে সাথে সিস্টেমের অবস্থাকে প্রভাবিত করে এবং স্বয়ংক্রিয় পরিকল্পনার জন্য ব্যবহার করা যেতে পারে। অ্যাকশন ভাষাগুলি দুটি শ্রেণীতে বিভক্তঃ অ্যাকশন বর্ণনা ভাষা এবং অ্যাকশন ক্যোয়ারি ভাষা। প্রথমটির উদাহরণগুলির মধ্যে রয়েছে স্ট্রিপস, পি. ডি. ডি. এল, ল্যাঙ্গুয়েজ এ (স্ট্রিপসের একটি সাধারণীকরণ; পেডনল্টের এ. ডি. এল-এর প্রস্তাবমূলক অংশ), ল্যাঙ্গুয়েজ বি (পরোক্ষ প্রভাব যোগ করা, স্থির এবং গতিশীল আইনগুলিকে আলাদা করা) এবং ল্যাঙ্গুয়েজ সি (যা পরোক্ষ প্রভাবও যোগ করে, এবং ধরে নেয় না যে প্রতিটি সাবলীল স্বয়ংক্রিয়ভাবে "জড়")। এছাড়াও রয়েছে অ্যাকশন প্রশ্ন ভাষা পি, কিউ এবং আর। সেট প্রোগ্রামগুলির উত্তর দেওয়ার জন্য অ্যাকশন ভাষা এবং বিশেষত অ্যাকশন ভাষা সি রূপান্তর করার জন্য বিভিন্ন অ্যালগরিদম রয়েছে। যেহেতু আধুনিক উত্তর-সেট সমাধানকারীরা খুব দ্রুত সন্তোষজনকতা নির্ধারণের জন্য বুলিয়ান স্যাট অ্যালগরিদম ব্যবহার করে, এর থেকে বোঝা যায় যে অ্যাকশন ভাষাগুলিও বুলিয়ান স্যাট সমাধানের ক্ষেত্রে অগ্রগতি উপভোগ করতে পারে। আনুষ্ঠানিক সংজ্ঞা সমস্ত ক্রিয়া ভাষাগুলি একটি স্টেট ট্রানজিশন সিস্টেমের সংজ্ঞার পরিপূরক যা সাবলীলতার একটি সেট এফ, মানগুলির একটি সেট ভি যা সাবলীলতাগুলি নিতে পারে এবং একটি ফাংশন ম্যাপিং এস × এফ থেকে ভি, যেখানে এস একটি স্টেট ট্রানজিশন সিস্টেমের অবস্থার সেট। লিনিয়ার টেম্পোরাল লজিক জিওএলওজি ফ্লুয়েন্ট ক্যালকুলাস সিচুয়েশন ক্যালকুলাস ইভেন্ট ক্যালকুলাস রেফারেন্স প্রোগ্রামিং ভাষা শ্রেণিবিন্যাস স্বয়ংক্রিয় পরিকল্পনা এবং সময়সূচী ট্রানজিশন সিস্টেম দেখুন।