Action description language
কৃত্রিম বুদ্ধিমত্তায়, অ্যাকশন বর্ণনা ভাষা (এডিএল) বিশেষত রোবটের জন্য একটি স্বয়ংক্রিয় পরিকল্পনা এবং সময়সূচী ব্যবস্থা। এটি স্ট্রিপসের একটি অগ্রগতি হিসাবে বিবেচিত হয়। এডউইন পেডনল্ট (ডেটা অ্যাবস্ট্রাকশন এবং মডেলিংয়ের ক্ষেত্রে বিশেষজ্ঞ যিনি 1996 সাল থেকে ডেটা অ্যাবস্ট্রাকশন রিসার্চ গ্রুপের আইবিএম রিসার্চ স্টাফ সদস্য) 1987 সালে এই ভাষাটি প্রস্তাব করেছিলেন। এটি একটি অ্যাকশন ভাষার উদাহরণ। অরিজিন্স পেডনল্ট পর্যবেক্ষণ করেছেন যে কোনও অপারেটরের প্রভাবগুলি শর্তাধীন হওয়ার অনুমতি দিয়ে স্ট্রিপসের অভিব্যক্তিপূর্ণ শক্তি উন্নত হওয়ার জন্য সংবেদনশীল ছিল। এটি এ. ডি. এল-এ-এর মূল ধারণা, যা মোটামুটিভাবে পেডনল্ট দ্বারা প্রস্তাবিত এ. ডি. এল-এর প্রস্তাবনামূলক অংশ, এ. ডি. এল-বি-এ-এর সম্প্রসারণ সহ। - বি সম্প্রসারণে, ক্রিয়াগুলি একটি নতুন ধরনের প্রস্তাবনা প্রবর্তনের মাধ্যমে পরোক্ষ প্রভাব সহ বর্ণনা করা যেতে পারেঃ "স্থির আইন"। এ. ডি. এল-এর তৃতীয় প্রকরণ হল এ. ডি. এল-সি যা-বি-এর অনুরূপ, এই অর্থে যে এর প্রস্তাবগুলিকে স্থির এবং গতিশীল আইনে শ্রেণীবদ্ধ করা যেতে পারে, তবে আরও কিছু বিশেষত্ব সহ। পরিকল্পনার ভাষার অর্থ হল পরিবেশে নির্দিষ্ট কিছু অবস্থার প্রতিনিধিত্ব করা এবং এগুলির উপর ভিত্তি করে স্বয়ংক্রিয়ভাবে ক্রিয়াকলাপের একটি শৃঙ্খলা তৈরি করা যা একটি কাঙ্ক্ষিত লক্ষ্যে নিয়ে যায়। একটি লক্ষ্য একটি নির্দিষ্ট আংশিকভাবে নির্দিষ্ট শর্ত। কোনও কাজ সম্পাদন করার আগে তার পূর্বশর্তগুলি অবশ্যই পূরণ করতে হবে; কার্যকর করার পরে কাজটি প্রভাব ফেলে, যার দ্বারা পরিবেশ পরিবর্তিত হয়। পরিবেশকে নির্দিষ্ট কিছু ভবিষ্যদ্বাণীর মাধ্যমে বর্ণনা করা হয়, যা হয় পূরণ হয় বা হয় না। স্ট্রিপসের বিপরীতে, উন্মুক্ত বিশ্বের নীতিটি এডিএল-এর ক্ষেত্রে প্রযোজ্য হয়ঃ পরিস্থিতিতে যা ঘটে না তা অজানা (মিথ্যা ধরে নেওয়ার পরিবর্তে)। উপরন্তু, যেখানে STRIPS-এ শুধুমাত্র ধনাত্মক আক্ষরিক এবং সংযোগের অনুমতি দেওয়া হয়, ADL নেতিবাচক আক্ষরিক এবং বিচ্ছিন্নতারও অনুমতি দেয়। এ. ডি. এল-এর বাক্যবিন্যাস একটি এ. ডি. এল স্কিমা একটি কর্মের নাম, একটি ঐচ্ছিক পরামিতি তালিকা এবং পূর্ববর্তী, যোগ, মুছে ফেলুন এবং আপডেট লেবেলযুক্ত ধারাগুলির চারটি ঐচ্ছিক গোষ্ঠী নিয়ে গঠিত। প্রাক-দ্বিতীয় গোষ্ঠী হল সূত্রগুলির একটি তালিকা যা কোনও ক্রিয়া সম্পাদনের জন্য পূর্বশর্তগুলি সংজ্ঞায়িত করে। যদি সেটটি খালি থাকে তবে "TRUE" মানটি গ্রুপে ঢোকানো হয় এবং পূর্বশর্তগুলি সর্বদা হোল্ডিং শর্ত হিসাবে মূল্যায়ন করা হয়। অ্যাড এবং ডিলিট শর্তগুলি যথাক্রমে অ্যাড এবং ডিলিট গ্রুপ দ্বারা নির্দিষ্ট করা হয়। প্রতিটি গোষ্ঠী চিত্র 1-এর বাম হাতের কলামে দেখানো ফর্মগুলির ধারাগুলির একটি সেট নিয়ে গঠিতঃ R একটি সম্পর্ক প্রতীক τ1,., τn পদগুলিকে উপস্থাপন করে si একটি সূত্রকে উপস্থাপন করে ক্রম z1,., zk হল পরিবর্তনশীল প্রতীক যা τ1,., τn পদগুলিতে প্রদর্শিত হয়, তবে অ্যাকশন স্কিমা x1,., xn-এর পরামিতি তালিকায় নয়, xn হল পরিবর্তনশীল প্রতীক যা z1,., zn-এর থেকে আলাদা এবং τ1,., τn, si, বা অ্যাকশন স্কিমার পরামিতি তালিকায় উপস্থিত হয় না। একটি আপডেট গ্রুপ চিত্র 2-এর বাম কলামে দেখানো ফর্মগুলির ধারাগুলির একটি সেট নিয়ে গঠিতঃ এডিএল-এর শব্দার্থবিদ্যা এডিএল-এর আনুষ্ঠানিক শব্দার্থিক 4 টি সীমাবদ্ধতা দ্বারা সংজ্ঞায়িত করা হয়। প্রথম সীমাবদ্ধতা হল যে ক্রিয়াগুলি বিশ্বে বিদ্যমান বস্তুর সেটকে পরিবর্তন করতে পারে না; এর অর্থ হল যে প্রতিটি ক্রিয়া α এবং প্রতিটি বর্তমান-অবস্থা/পরবর্তী-অবস্থা জোড়া (s, t) bula-এর জন্য, এটি অবশ্যই হওয়া উচিত যে t-এর ডোমেনটি s-এর ডোমেনের সমান হওয়া উচিত। দ্বিতীয় সীমাবদ্ধতা হল যে ADL-এর ক্রিয়াগুলি অবশ্যই নির্ধারণমূলক হতে হবে। যদি (গুলি, টি1) এবং (গুলি, টি2) বর্তমান-অবস্থা/পরবর্তী-অবস্থার ক্রিয়া জোড়া হয়, তাহলে অবশ্যই টি1 = টি2 হতে হবে। এ. ডি. এল-এ অন্তর্ভুক্ত তৃতীয় সীমাবদ্ধতা হল যে উপরে প্রবর্তিত ফাংশনগুলি অবশ্যই প্রথম-ক্রম সূত্র হিসাবে প্রতিনিধিত্বযোগ্য হতে হবে। প্রতিটি n-ary সম্পর্ক প্রতীক R-এর জন্য, মুক্ত চলক x2,.., xn সহ একটি সূত্র অবশ্যই থাকতে হবে যাতে f (s) দ্বারা দেওয়া হয়ঃ ফলস্বরূপ, F (n1,., xn) = y ক্রিয়াটি করার পরে সত্য হবে। = যদি এবং শুধুমাত্র যদি φaR (x1,., xn, y) আগে থেকে সত্য ছিল। লক্ষ্য করুন যে এই প্রতিনিধিত্বের প্রয়োজনীয়তা প্রথম সীমাবদ্ধতার উপর নির্ভর করে (f-এর ডোমেনটি s-এর ডোমেনের সমান হওয়া উচিত)। এ. ডি. এল-এ অন্তর্ভুক্ত চতুর্থ এবং চূড়ান্ত সীমাবদ্ধতা হল যে অবস্থার সেট যেখানে একটি ক্রিয়া কার্যকর করা যায় তা অবশ্যই একটি সূত্র হিসাবে প্রতিনিধিত্বযোগ্য হতে হবে। এ. ডি. এল-এ প্রতিনিধিত্ব করা যেতে পারে এমন প্রতিটি ক্রিয়া α-এর জন্য অবশ্যই একটি সূত্র Πa থাকতে হবে যে বৈশিষ্ট্যটি s। = Πa যদি এবং শুধুমাত্র যদি এমন কোনও অবস্থা t থাকে যার জন্য (s, t) bulα (অর্থাৎ। কর্ম α রাজ্যে কার্যকর করা যায়) পরিকল্পনার জটিলতা গণনামূলক দক্ষতার পরিপ্রেক্ষিতে, এ. ডি. এল-কে এস. টি. আর. আই. পি. এস এবং পরিস্থিতি গণনার মধ্যে অবস্থিত করা যেতে পারে। যে কোনও এডিএল সমস্যাকে স্ট্রিপস উদাহরণে অনুবাদ করা যেতে পারে-তবে, বিদ্যমান সংকলন কৌশলগুলি সবচেয়ে খারাপ-কেস এক্সপোনেনশিয়াল। এই সবচেয়ে খারাপ অবস্থার উন্নতি করা যাবে না যদি আমরা পরিকল্পনার দৈর্ঘ্য বহুপদীভাবে সংরক্ষণ করতে ইচ্ছুক থাকি এবং এইভাবে এ. ডি. এল স্ট্রিপসের তুলনায় কঠোরভাবে আরও সংক্ষিপ্ত হয়। এডিএল পরিকল্পনা এখনও একটি পি. এস. পি. এ. সি. ই-সম্পূর্ণ সমস্যা। পূর্বশর্ত এবং প্রভাবগুলি জটিল সূত্র হলেও বেশিরভাগ অ্যালগরিদম বহুপদী স্থান। ধ্রুপদী পরিকল্পনার বেশিরভাগ শীর্ষ-সম্পাদনকারী পদ্ধতি অভ্যন্তরীণভাবে প্রতিনিধিত্বের মতো একটি স্ট্রিপ ব্যবহার করে। প্রকৃতপক্ষে বেশিরভাগ পরিকল্পনাকারী (এফ. এফ, এল. পি. জি, ফাস্ট-ডাউনওয়ার্ড, এস. জি. পি. এল. এ. এন 5 এবং এল. এ. এম. এ) প্রথমে এ. ডি. এল-এর উদাহরণটিকে এমন একটিতে অনুবাদ করেন যা মূলত একটি স্ট্রিপস (শর্তসাপেক্ষ বা পরিমাণগত প্রভাব বা লক্ষ্য ছাড়াই)। স্ট্রিপস এবং এডিএল-এর মধ্যে তুলনা স্ট্রিপস ভাষা শুধুমাত্র রাজ্যগুলিতে ইতিবাচক আক্ষরিকের অনুমতি দেয়, যেখানে এডিএল ইতিবাচক এবং নেতিবাচক উভয় আক্ষরিককে সমর্থন করতে পারে। উদাহরণস্বরূপ, স্ট্রিপসের একটি বৈধ বাক্য হতে পারে রিচ বিউটিফুল। একই বাক্য ADL-এ প্রকাশ করা যেতে পারে যেমন STRIPS-এ উল্লিখিত আক্ষরিক শব্দগুলি মিথ্যা। একে বলা হয় বদ্ধ-বিশ্ব অনুমান। এ. ডি. এল-এ উল্লিখিত আক্ষরিক শব্দগুলি অজানা। এটি ওপেন ওয়ার্ল্ড অ্যাসাম্পশন নামে পরিচিত। স্ট্রিপস-এ আমরা শুধুমাত্র গোলের মধ্যে স্থল অক্ষর খুঁজে পেতে পারি। উদাহরণস্বরূপ, রিচ বিউটিফুল। এ. ডি. এল-এ আমরা লক্ষ্যে পরিমাণগত পরিবর্তনশীল খুঁজে পেতে পারি। উদাহরণস্বরূপ, এইচ. ই. এক্স অ্যাট (পি1, এক্স) অ্যাট (পি2, এক্স) হল ব্লকের উদাহরণে পি1 এবং পি2 একই জায়গায় রাখার লক্ষ্য। এ. ডি. এল-এ, লক্ষ্যগুলির মধ্যে সংমিশ্রণ এবং বিচ্ছিন্নতা জড়িত থাকতে পারে। স্ট্রিপস-এ প্রভাবগুলি সংমিশ্রণ, তবে এডিএল-এ শর্তাধীন প্রভাবগুলি অনুমোদিত হয়ঃ যখন পিঃ ই মানে ই একটি প্রভাব তখনই হয় যখন পি সন্তুষ্ট হয়। এ. ডি. এল-এ, সমতা পূর্বাভাস (x = y) অন্তর্নির্মিত। স্ট্রিপসের প্রকারের জন্য সমর্থন নেই, অন্যদিকে এডিএল-এ এটি সমর্থিত (উদাহরণস্বরূপ, পরিবর্তনশীল পিঃ ব্যক্তি)। স্ট্রিপস ভাষার অভিব্যক্তি ভাষাতে বর্ণনা করা যেতে পারে এমন সূত্রের সেটগুলিতে রূপান্তরের ধরন দ্বারা সীমাবদ্ধ। স্ট্রিপস অপারেটর ব্যবহার করে সূত্রের সেটগুলিতে রূপান্তরগুলি রূপান্তরিত করার জন্য সেট থেকে কিছু সূত্র সরিয়ে এবং নতুন অতিরিক্ত সূত্র যুক্ত করে সম্পন্ন করা হয়। একটি প্রদত্ত স্ট্রিপস অপারেটরের জন্য যোগ করা এবং মুছে ফেলার সূত্রগুলি সমস্ত সূত্রের সেট রূপান্তরিত করার জন্য স্থির করা হয়। ফলস্বরূপ, এস. টি. আর. আই. পি. এস অপারেটররা পর্যাপ্ত মডেল কর্ম করতে পারে না যার প্রভাবগুলি যে পরিস্থিতিতে সঞ্চালিত হয় তার উপর নির্ভর করে। একটি রকেটের কথা বিবেচনা করুন যা একটি নির্দিষ্ট সময়ের জন্য নিক্ষেপ করা হবে। শুধুমাত্র পোড়ার সময়কালের কারণে নয়, রকেটের বেগ, ভর এবং অভিযোজনের কারণেও গতিপথ পরিবর্তিত হতে পারে। এটি কোনও স্ট্রিপস অপারেটরের মাধ্যমে মডেল করা যায় না কারণ যে সূত্রগুলি যোগ করতে হবে এবং মুছে ফেলতে হবে তা নির্ভর করবে রূপান্তরিত হওয়ার সূত্রগুলির সেটের উপর। যদিও একটি দক্ষ যুক্তি সম্ভব যখন স্ট্রিপস ভাষা ব্যবহার করা হচ্ছে এটি সাধারণত স্বীকৃত যে স্ট্রিপসের অভিব্যক্তি অনেক বাস্তব বিশ্বের অ্যাপ্লিকেশনগুলিতে মডেলিং ক্রিয়াকলাপের জন্য উপযুক্ত নয়। এই অপ্রতুলতা এডিএল ভাষার বিকাশকে অনুপ্রাণিত করেছিল। এডিএল অভিব্যক্তি এবং জটিলতা স্ট্রিপস ভাষা এবং পরিস্থিতি গণনার মধ্যে রয়েছে। এর অভিব্যক্তিপূর্ণ শক্তি উপরে বর্ণিত রকেটের উদাহরণকে উপস্থাপন করার জন্য যথেষ্ট, একই সময়ে, এটি দক্ষ যুক্তি অ্যালগরিদমগুলি বিকাশের অনুমতি দেওয়ার জন্য যথেষ্ট সীমাবদ্ধ। ব্লক জগতের আরও জটিল সংস্করণের একটি উদাহরণ হিসাবেঃ এটি হতে পারে যে ব্লক এ ব্লক বি এবং সি এর চেয়ে দ্বিগুণ বড়, তাই এক্সমোভঅন্টো (বি, এ) ক্রিয়াটি কেবল ক্লিয়ার (এ) কে অস্বীকার করার প্রভাব ফেলতে পারে যদি অন (এ, সি) ইতিমধ্যে সত্য হয়, বা ব্লকের আকারের উপর নির্ভর করে শর্তাধীন প্রভাব তৈরি করে। শর্তসাপেক্ষ প্রভাব ছাড়া এই ধরনের শর্তসাপেক্ষ প্রভাবগুলি স্ট্রিপস নোটেশনে প্রকাশ করা কঠিন হবে। উদাহরণস্বরূপ, বিমান মাল পরিবহনের সমস্যাটি বিবেচনা করুন, যেখানে নির্দিষ্ট পণ্যগুলি অবশ্যই একটি বিমানবন্দর থেকে অন্য বিমানবন্দরে বিমানে করে পরিবহন করতে হবে এবং যেখানে বিমানগুলি লোড ও আনলোড করতে হবে। প্রয়োজনীয় ক্রিয়াকলাপগুলি হবে লোড করা, আনলোড করা এবং উড়ানো; বর্ণনাকারীগুলির উপর যে কেউ প্রকাশ করতে পারে এবং একটি মালবাহী সি একটি বিমান পি-তে রয়েছে কিনা এবং একটি বস্তু এক্স একটি বিমানবন্দর এ-তে রয়েছে কিনা। তখন ক্রিয়াগুলিকে নিম্নরূপ সংজ্ঞায়িত করা যেতে পারেঃ ক্রিয়া (ভার (সিঃ মালবাহী, পিঃ বিমান, এঃ বিমানবন্দর) পূর্বশর্তঃ এ. টি. (সি, এ) এ. টি. (পি, এ) এ. টি. (সি, পি) এ. টি. (সি, পি) এ. টি. (সিঃ মালবাহী, পিঃ বিমান, এঃ বিমানবন্দর) পূর্বশর্তঃ এ. টি. (সি, পি) এ. টি. (পি, এ) এ. টি. (সি, এ) এ. টি. (সি, এ) এ. টি. (সি, পি) এ. টি. (সি, পি) এ. টি. (সি, পি) এ. টি. (সি, পি) এ. টি. এ. টি. এ. (পিঃ বিমান, বিমানবন্দর থেকে) পূর্বশর্তঃ এ. টি. (পি, থেকে) এ. টি.