Action language
કોમ્પ્યુટર વિજ્ઞાનમાં, ક્રિયા ભાષા એ રાજ્ય સંક્રમણ પ્રણાલીઓને સ્પષ્ટ કરવા માટેની ભાષા છે, અને તેનો ઉપયોગ સામાન્ય રીતે વિશ્વ પર ક્રિયાઓની અસરોના ઔપચારિક નમૂનાઓ બનાવવા માટે થાય છે. ક્રિયા ભાષાઓનો ઉપયોગ સામાન્ય રીતે કૃત્રિમ બુદ્ધિ અને રોબોટિક્સ ક્ષેત્રોમાં થાય છે, જ્યાં તેઓ વર્ણવે છે કે ક્રિયાઓ સમય જતાં પ્રણાલીઓની સ્થિતિને કેવી રીતે અસર કરે છે, અને તેનો ઉપયોગ સ્વચાલિત આયોજન માટે થઈ શકે છે. ક્રિયા ભાષાઓ બે વર્ગોમાં આવે છેઃ ક્રિયા વર્ણન ભાષાઓ અને ક્રિયા ક્વેરી ભાષાઓ. પહેલાના ઉદાહરણોમાં STRIPS, PDDL, લેંગ્વેજ A (STRIPSનું સામાન્યીકરણ; પેડનોલ્ટના ADLનો પ્રસ્તાવાત્મક ભાગ), લેંગ્વેજ B (પરોક્ષ અસરો ઉમેરતી Aનું વિસ્તરણ, સ્થિર અને ગતિશીલ કાયદાઓને અલગ પાડતી) અને લેંગ્વેજ C (જે પરોક્ષ અસરો પણ ઉમેરે છે, અને એવું માનતી નથી કે દરેક અસ્ખલિત આપોઆપ "જડતા" છે) નો સમાવેશ થાય છે. એક્શન ક્વેરી લેંગ્વેજીઝ પી, ક્યૂ અને આર પણ છે. એક્શન લેંગ્વેજીઝને રૂપાંતરિત કરવા માટે વિવિધ અલ્ગોરિધમ્સ અસ્તિત્વમાં છે, અને ખાસ કરીને, એક્શન લેંગ્વેજ સી, સેટ પ્રોગ્રામ્સને જવાબ આપવા માટે. આધુનિક જવાબ-સમૂહ ઉકેલકો સંતોષકારકતાની ખૂબ જ ઝડપથી ખાતરી કરવા માટે બુલિયન SAT અલ્ગોરિધમનો ઉપયોગ કરે છે, આ સૂચવે છે કે ક્રિયા ભાષાઓ પણ બુલિયન SAT ઉકેલના ક્ષેત્રમાં થઈ રહેલી પ્રગતિનો આનંદ માણી શકે છે. ઔપચારિક વ્યાખ્યા બધી ક્રિયા ભાષાઓ પ્રવાહીના સમૂહ F સાથે સ્થિતિ સંક્રમણ પ્રણાલીની વ્યાખ્યાને પૂરક બનાવે છે, મૂલ્યોના સમૂહ V કે જે અસ્ખલિત લોકો લઈ શકે છે, અને કાર્ય મેપિંગ S × F થી V, જ્યાં S એ સ્થિતિ સંક્રમણ પ્રણાલીની સ્થિતિઓનો સમૂહ છે. લીનિયર ટેમ્પોરલ લોજિક GOLOG ફ્લુઅન્ટ કેલ્ક્યુલસ સિચ્યુએશન કેલ્ક્યુલસ ઇવેન્ટ કેલ્ક્યુલસ રેફરન્સ પ્રોગ્રામિંગ લેંગ્વેજ ક્લાસિફિકેશન ઓટોમેટેડ પ્લાનિંગ એન્ડ શેડ્યુલિંગ ટ્રાન્ઝિશન સિસ્ટમ્સ પણ જુઓ.