Action description language
આર્ટિફિશિયલ ઇન્ટેલિજન્સમાં, એક્શન ડિસ્ક્રિપ્શન લેંગ્વેજ (એડીએલ) એ ખાસ કરીને રોબોટ્સ માટે સ્વચાલિત આયોજન અને સમયપત્રક પ્રણાલી છે. તેને સ્ટ્રીપ્સની પ્રગતિ માનવામાં આવે છે. એડવિન પેડનોલ્ટે (ડેટા એબ્સ્ટ્રેક્શન અને મોડેલિંગના ક્ષેત્રમાં નિષ્ણાત જે 1996 થી ડેટા એબ્સ્ટ્રેક્શન રિસર્ચ ગ્રૂપમાં આઇબીએમ રિસર્ચ સ્ટાફ મેમ્બર છે) 1987 માં આ ભાષાની દરખાસ્ત કરી હતી. તે ક્રિયા ભાષાનું ઉદાહરણ છે. ઓરિજિન્સ પેડનોલ્ટે અવલોકન કર્યું હતું કે ઓપરેટરની અસરોને શરતી રાખવાની મંજૂરી આપીને STRIPSની અભિવ્યક્ત શક્તિમાં સુધારો થવાની સંભાવના છે. આ એ. ડી. એલ.-એનો મુખ્ય વિચાર છે, જે લગભગ પેડનાઉલ્ટ દ્વારા પ્રસ્તાવિત એ. ડી. એલ. નો પ્રસ્તાવાત્મક ભાગ છે, જેમાં એ. ડી. એલ.-બી એ-એ. નું વિસ્તરણ છે. - B વિસ્તરણમાં, ક્રિયાઓને પરોક્ષ અસરો સાથે નવા પ્રકારની દરખાસ્તોની રજૂઆત દ્વારા વર્ણવી શકાય છેઃ "સ્થિર નિયમો". એડીએલની ત્રીજી વિવિધતા એડીએલ-સી છે જે-બી જેવી જ છે, એ અર્થમાં કે તેની દરખાસ્તોને સ્થિર અને ગતિશીલ નિયમોમાં વર્ગીકૃત કરી શકાય છે, પરંતુ કેટલીક વધુ વિશિષ્ટતાઓ સાથે. આયોજન ભાષાનો અર્થ પર્યાવરણમાં ચોક્કસ પરિસ્થિતિઓનું પ્રતિનિધિત્વ કરવાનો છે અને તેના આધારે, આપમેળે ક્રિયાઓની સાંકળ પેદા કરે છે જે ઇચ્છિત લક્ષ્ય તરફ દોરી જાય છે. ધ્યેય એ ચોક્કસ આંશિક રીતે નિર્દિષ્ટ શરત છે. કોઈ ક્રિયા અમલમાં મૂકી શકાય તે પહેલાં તેની પૂર્વશરતોનું પાલન કરવું આવશ્યક છે; અમલ કર્યા પછી ક્રિયા અસરો આપે છે, જેના દ્વારા પર્યાવરણ બદલાય છે. પર્યાવરણને અમુક આગાહીઓ દ્વારા વર્ણવવામાં આવે છે, જે કાં તો પૂર્ણ થાય છે કે નહીં. એસ. ટી. આર. આઈ. પી. એસ. થી વિપરીત, ખુલ્લી દુનિયાનો સિદ્ધાંત એ. ડી. એલ. ને લાગુ પડે છેઃ પરિસ્થિતિઓમાં ન બનતું બધું અજ્ઞાત છે (ખોટું ધારવાને બદલે). વધુમાં, જ્યારે STRIPS માં માત્ર હકારાત્મક અક્ષરો અને સંયોજનોની મંજૂરી છે, ADL નકારાત્મક અક્ષરો અને વિચ્છેદને પણ મંજૂરી આપે છે. એ. ડી. એલ. ની વાક્યરચના એ. ડી. એલ. યોજનામાં ક્રિયાનું નામ, વૈકલ્પિક પરિમાણ સૂચિ અને પ્રીકેન્ડ, એડ, ડીલીટ અને અપડેટ લેબલવાળી કલમોના ચાર વૈકલ્પિક જૂથોનો સમાવેશ થાય છે. પ્રીકેન્ડ ગ્રૂપ એ સૂત્રોની યાદી છે જે ક્રિયાના અમલ માટેની પૂર્વશરતને વ્યાખ્યાયિત કરે છે. જો સમૂહ ખાલી હોય તો મૂલ્ય "TRUE" જૂથમાં દાખલ કરવામાં આવે છે અને પૂર્વશરતોનું હંમેશા હોલ્ડિંગ શરતો તરીકે મૂલ્યાંકન કરવામાં આવે છે. એડ અને ડીલીટ શરતો અનુક્રમે એડ અને ડીલીટ જૂથો દ્વારા સ્પષ્ટ કરવામાં આવે છે. દરેક જૂથ આકૃતિ 1 ના ડાબા હાથના સ્તંભમાં બતાવેલ સ્વરૂપોની કલમોનો સમૂહ ધરાવે છેઃ R એ સંબંધ પ્રતીક τ1,., τn એ શબ્દોને રજૂ કરે છે si એ સૂત્રને રજૂ કરે છે. ક્રમ z1,., zk એ ચલ પ્રતીકો છે જે τ1,., τn શબ્દોમાં દેખાય છે, પરંતુ ક્રિયા યોજના x1,., xn ની પરિમાણ સૂચિમાં નથી, xn એ ચલ પ્રતીકો છે જે ચલ z1,., zn થી અલગ છે અને τ1,., τn, si, અથવા ક્રિયા યોજનાની પરિમાણ સૂચિમાં દેખાતા નથી. અપડેટ જૂથમાં આકૃતિ 2 ના ડાબા સ્તંભમાં દર્શાવેલ સ્વરૂપોની કલમોનો સમૂહ હોય છેઃ ADL ના શબ્દાર્થ ADL ના ઔપચારિક શબ્દાર્થને 4 અવરોધો દ્વારા વ્યાખ્યાયિત કરવામાં આવે છે. પ્રથમ અવરોધ એ છે કે ક્રિયાઓ વિશ્વમાં અસ્તિત્વમાં રહેલા પદાર્થોના સમૂહને બદલી શકતી નથી; આનો અર્થ એ છે કે દરેક ક્રિયા α અને દરેક વર્તમાન-સ્થિતિ/આગામી-સ્થિતિ જોડી (s, t) bula માટે, તે કેસ હોવો જોઈએ કે t નું ડોમેન s ના ડોમેનની બરાબર હોવું જોઈએ. બીજી અવરોધ એ છે કે ADL માં ક્રિયાઓ નિર્ધારિત હોવી જોઈએ. જો (s, t1) અને (s, t2) ક્રિયાના વર્તમાન-સ્થિતિ/આગામી-સ્થિતિ જોડીઓ છે, તો તે કેસ હોવો જોઈએ કે t1 = t2. એ. ડી. એલ. માં સમાવિષ્ટ ત્રીજી અવરોધ એ છે કે ઉપર રજૂ કરાયેલા કાર્યો પ્રથમ ક્રમના સૂત્રો તરીકે રજૂ કરી શકાય તેવા હોવા જોઈએ. દરેક n-ary સંબંધ પ્રતીક R માટે, મુક્ત ચલ x2,.., xn સાથે એક સૂત્ર અસ્તિત્વમાં હોવું જોઈએ કે જેથી f (s) આના દ્વારા આપવામાં આવેઃ પરિણામે, ક્રિયા કર્યા પછી F (n1,., xn) = y સાચું હશે | = જો અને માત્ર ત્યારે જ જો φaR (x1,., xn, y) અગાઉથી સાચું હતું. નોંધ લો કે આ પ્રતિનિધિત્વની જરૂરિયાત પ્રથમ અવરોધ પર આધારિત છે (f નું ડોમેન s ના ડોમેનની બરાબર હોવું જોઈએ). એ. ડી. એલ. માં સમાવિષ્ટ ચોથી અને અંતિમ અવરોધ એ છે કે સ્થિતિઓનો સમૂહ જેમાં ક્રિયા ચલાવવા યોગ્ય છે તે પણ સૂત્ર તરીકે રજૂ થવી જોઈએ. એ. ડી. એલ. માં રજૂ કરી શકાય તેવી દરેક ક્રિયા α માટે, ગુણધર્મ સાથે સૂત્ર Πa અસ્તિત્વમાં હોવું જોઈએ કે s | = Πa જો અને માત્ર ત્યારે જ કોઈ સ્થિતિ t હોય જેના માટે (s, t) bulα (એટલે કે. ક્રિયા α એ રાજ્યમાં અમલ કરી શકાય તેવી છે) આયોજનની જટિલતા ગણતરીની કાર્યક્ષમતાની દ્રષ્ટિએ, ADL એ STRIPS અને સિચ્યુએશન કેલ્ક્યુલસ વચ્ચે સ્થિત થઈ શકે છે. કોઈપણ ADL સમસ્યાને STRIPS ઉદાહરણમાં અનુવાદિત કરી શકાય છે-જો કે, હાલની સંકલન તકનીકો સૌથી ખરાબ-કેસ ઘાતાંકીય છે. જો આપણે યોજનાઓની લંબાઈ બહુપદી રીતે જાળવવા માટે તૈયાર હોઈએ તો આ સૌથી ખરાબ સ્થિતિમાં સુધારો કરી શકાતો નથી, અને આમ ADL એ STRIPS કરતાં સખત રીતે વધુ સંક્ષિપ્ત છે. ADL આયોજન હજુ પણ એક PSPACE-પૂર્ણ સમસ્યા છે. પૂર્વશરત અને અસરો જટિલ સૂત્રો હોવા છતાં મોટાભાગના અલ્ગોરિધમ્સ બહુપદી અવકાશ છે. શાસ્ત્રીય આયોજન માટે ટોચનું પ્રદર્શન કરનારા મોટાભાગના અભિગમો આંતરિક રીતે પ્રતિનિધિત્વ જેવા STRIPS નો ઉપયોગ કરે છે. હકીકતમાં મોટાભાગના આયોજકો (એફ. એફ., એલ. પી. જી., ફાસ્ટ-ડાઉનવર્ડ, એસ. જી. પી. એલ. એ. એન. 5 અને એલ. એ. એમ. એ.) સૌપ્રથમ એ. ડી. એલ. ઉદાહરણને એ. એસ. ટી. આર. આઈ. પી. એસ. માં અનુવાદિત કરે છે જે અનિવાર્યપણે એક એસ. ટી. આર. આઈ. પી. એસ. છે (શરતી અથવા માત્રાત્મક અસરો અથવા લક્ષ્યો વિના). STRIPS અને ADL વચ્ચેની સરખામણી STRIPS ભાષા રાજ્યોમાં માત્ર હકારાત્મક અક્ષરોને જ મંજૂરી આપે છે, જ્યારે ADL હકારાત્મક અને નકારાત્મક બંને અક્ષરોને સમર્થન આપી શકે છે. ઉદાહરણ તરીકે, STRIPS માં માન્ય વાક્ય સમૃદ્ધ સુંદર હોઈ શકે છે. એ જ વાક્ય ADL માં વ્યક્ત કરી શકાય છે કારણ કે STRIPS માં ઉલ્લેખિત શાબ્દિક શબ્દો ખોટા છે. આને ક્લોઝ-વર્લ્ડ ધારણા કહેવામાં આવે છે. એ. ડી. એલ. માં ઉલ્લેખિત અક્ષરો અજ્ઞાત છે. આને ઓપન વર્લ્ડ ધારણા તરીકે ઓળખવામાં આવે છે. સ્ટ્રીપ્સમાં આપણે ફક્ત ગોલમાં જ ગ્રાઉન્ડ લિટરલ શોધી શકીએ છીએ. દાખલા તરીકે, રિચ બ્યુટીફુલ. એ. ડી. એલ. માં આપણે લક્ષ્યોમાં માત્રાત્મક ચલ શોધી શકીએ છીએ. ઉદાહરણ તરીકે, એચ. ઇ. એક્સ. એટ (પી1, એક્સ) એટ (પી2, એક્સ) એ બ્લોકના ઉદાહરણમાં પી1 અને પી2ને એક જ જગ્યાએ રાખવાનો ધ્યેય છે. એ. ડી. એલ. માં, લક્ષ્યાંકોમાં સંયોજન અને વિચ્છેદ (રિચ વાય (બ્યુટીફુલ વાય સ્માર્ટ)) સામેલ હોઈ શકે છે. STRIPS માં અસરો સંયોજન હોય છે, પરંતુ ADL માં શરતી અસરોને મંજૂરી આપવામાં આવે છેઃ જ્યારે P: E નો અર્થ E એ અસર માત્ર ત્યારે જ હોય છે જ્યારે P સંતુષ્ટ હોય. એ. ડી. એલ. માં, સમાનતા વિધેય (x = y) બિલ્ટ ઇન છે. STRIPS પાસે પ્રકારો માટે આધાર નથી, જ્યારે ADL માં તે સમર્થિત છે (ઉદાહરણ તરીકે, ચલ p: વ્યક્તિ). STRIPS ભાષાની અભિવ્યક્તિ ભાષામાં વર્ણવી શકાય તેવા સૂત્રોના સમૂહ પરના પરિવર્તનના પ્રકારો દ્વારા મર્યાદિત છે. STRIPS ઓપરેટર્સનો ઉપયોગ કરીને સૂત્રોના સમૂહ પર પરિવર્તન, રૂપાંતરિત કરવાના સમૂહમાંથી કેટલાક સૂત્રોને દૂર કરીને અને નવા વધારાના સૂત્રોને ઉમેરીને પૂર્ણ કરવામાં આવે છે. આપેલ STRIPS સંચાલક માટે સૂત્રોના તમામ સમૂહોને રૂપાંતરિત કરવા માટે ઉમેરવા અને કાઢી નાખવાના સૂત્રો નક્કી કરવામાં આવે છે. પરિણામે, STRIPS ઓપરેટરો પર્યાપ્ત રીતે મોડેલ ક્રિયાઓ કરી શકતા નથી, જેની અસરો તે પરિસ્થિતિઓ પર આધારિત હોય છે જેમાં તે કરવામાં આવે છે. એક રોકેટનો વિચાર કરો જે ચોક્કસ સમય માટે છોડવામાં આવશે. પ્રક્ષેપવક્ર માત્ર બર્નના સમયગાળાને કારણે જ નહીં પણ રોકેટના વેગ, દળ અને દિશાને કારણે પણ બદલાઈ શકે છે. તેને STRIPS ઓપરેટર દ્વારા મોડેલિંગ કરી શકાતું નથી કારણ કે જે સૂત્રો ઉમેરવા અને કાઢી નાખવા પડશે તે રૂપાંતરિત કરવાના સૂત્રોના સમૂહ પર આધારિત હશે. જ્યારે STRIPS ભાષાનો ઉપયોગ કરવામાં આવી રહ્યો હોય ત્યારે કાર્યક્ષમ તર્ક શક્ય છે, તેમ છતાં સામાન્ય રીતે ઓળખવામાં આવે છે કે STRIPS ની અભિવ્યક્તિ ઘણી વાસ્તવિક દુનિયાની એપ્લિકેશનોમાં મોડેલિંગ ક્રિયાઓ માટે યોગ્ય નથી. આ અપર્યાપ્તતાએ એ. ડી. એલ. ભાષાના વિકાસને પ્રેરિત કર્યો. ADL અભિવ્યક્તિ અને જટિલતા STRIPS ભાષા અને પરિસ્થિતિ ગણતરી વચ્ચે છે. તેની અભિવ્યક્ત શક્તિ ઉપર વર્ણવેલ રોકેટના ઉદાહરણને રજૂ કરવા માટે પૂરતી છે, તે જ સમયે, તે કાર્યક્ષમ તર્ક અલ્ગોરિધમ્સ વિકસાવવા માટે પૂરતી પ્રતિબંધિત છે. બ્લોક વિશ્વની વધુ જટિલ આવૃત્તિમાં એક ઉદાહરણ તરીકેઃ એવું હોઈ શકે કે બ્લોક A બ્લોક B અને C કરતા બમણો મોટો હોય, તેથી ક્રિયા xMiveOnto (B, A) માત્ર ક્લિયર (A) ને નકારવાની અસર કરી શકે છે જો ચાલુ (A, C) પહેલેથી જ સાચું હોય, અથવા બ્લોકના કદના આધારે શરતી અસર ઊભી કરે. શરતી અસરો વિના આ પ્રકારની શરતી અસરોને STRIPS સંકેતલિપીમાં વ્યક્ત કરવી મુશ્કેલ હશે. ઉદાહરણ હવાઈ માલસામાનના પરિવહનની સમસ્યાનો વિચાર કરો, જ્યાં અમુક માલસામાનને વિમાનમથકથી બીજા વિમાનમથક પર વિમાન દ્વારા પરિવહન કરવું પડે છે અને જ્યાં વિમાનોને લોડ અને ઉતારવાની જરૂર હોય છે. જરૂરી ક્રિયાઓ લોડિંગ, અનલોડિંગ અને ફ્લાઇંગ હશે; વર્ણનકર્તાઓ પર કોઈ વ્યક્ત કરી શકે છે અને શું નૂર c વિમાન p માં છે અને શું ઑબ્જેક્ટ x એરપોર્ટ A પર છે. ક્રિયાઓને પછી નીચે પ્રમાણે વ્યાખ્યાયિત કરી શકાય છેઃ ક્રિયા (ભાર (સીઃ માલવહન, પીઃ વિમાન, એઃ એરપોર્ટ) પૂર્વશરતઃ (સી, એ) પર (પી, એ) અસરઃ (સી, એ) પર (સી, પી)) ક્રિયા (અનલોડ (સીઃ માલવહન, પીઃ વિમાન, એઃ એરપોર્ટ) પૂર્વશરતઃ (સી, પી) પર (પી, એ) અસરઃ (સી, એ) પર (સી, એ) પર (સી, પી)) ક્રિયા (ફ્લાય (પીઃ વિમાન, એરપોર્ટ, થીઃ એરપોર્ટ) પૂર્વશરતઃ (પી, થી) અસરઃ (પી, થી) અસરઃ